 [9-17]Belief Revision in Description Logics and Its Application to the Semantic Web
|
2008-09-15 |
| [9-3]A Revival of Data Dependencies for Improving Data Quality
|
2008-09-03 |
| [8-26]From clear specifications to efficient implementations
|
2008-08-26 |
| [8-26]Efficient Policy Analysis for Administrative Role Based Access Control
|
2008-08-26 |
| [8-7]Physics-based Modeling, Dynamic Simulation, and Applications
|
2008-08-03 |
| [8-1]Taming the Uncertainty in Supporting Distributed Sensor Applications
|
2008-07-31 |
| [7-18]Cryptographic logical relations
|
2008-07-15 |
| [7-24]Fault Tolerance for PetaScale Systems: Current Knowledge, Challenges and Opportunities
|
2008-07-15 |
| [7-24]A Bridge Between Desktop Grids and Service Grids
|
2008-07-15 |
| [7-8]Imperative Programs on Numbers: Mechanization of Loop Invariant Generation and Loop Termination
|
2008-07-07 |
| [7-8]On Distributed Resource Sharing
|
2008-07-03 |
| [6-27]On Authorization under Qualification and Security Constraints
|
2008-06-18 |
| [6-26]Specification and Enforcement of Flexible Security Policy for Active Cooperation
|
2008-06-18 |
| [6-23]the mini course on temporal logic
|
2008-06-18 |
| [6-21]Lecture on Computer Science and Technology(ICT)
|
2008-06-19 |
