now163
- Modeling and Design of Embedded Systems2007-09-17
- An Introduction to Core-sets and Discrete Frechet Distance2007-08-20
- Controller Synthesis for Real-Time Systems2007-08-15
- On the limitations of finite state models as sources of tests for access control and authentication2007-07-26
- Compositional Verification of Timed Systems2007-06-27
- Modelling and Refinement of Component-based Software Systems: A Coalgebraic Perspective2007-06-26
- CTL/ACTL Model Update: The Model Explosion Problem and Counterexample Guided Update2007-06-12
- A process calculus for Specifying Service Level Agreements and Resource Allocation2007-06-04
- Latent Tree Models and Statistical Foundation for Traditional Chinese Medicine2007-05-30
- Implementation of Distributed Loop Scheduling Schemes on the TeraGrid2007-05-21
- Building Certified System Software: Are We Close?2007-04-26
- Semantics of BPEL4WS-like Fault and Compensation Handling2007-03-22
- Abductive Reasoning with Logic Programs with Negation2007-03-20