 [1-13]A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems
|
2011-01-10 |
| [1-10]Trends in One-sided Communication Models
|
2011-01-08 |
| [1-6]Incremental Component-based Construction and Verification
|
2011-01-05 |
| [2011-1-6]Seeking practical scientific creativity in Human Computer Interaction
|
2011-01-05 |
| Call for Submission and Participation Symposium in Honor of Prof. Barry W. Boehm
|
2011-01-04 |
| [12-16]Research on Spatial database and on data quality
|
2010-12-13 |
| [11-26]Reasoning Techniques for Higher-Order Concurrent Languages
|
2010-11-22 |
| [11-22]Verification of multi-agent systems
|
2010-11-18 |
| [11-12]Automated Verification via Separation Logic
|
2010-11-09 |
| [11-1]Towards Business Value Driven Management of Business Processes and Service-Oriented Architectures
|
2010-10-21 |
| [9-27]UCSD Distributed Cognition and Human-Computer Interaction Lab Research
|
2010-09-21 |
| [9-15]An introduction to the model verifier 'verds'
|
2010-09-10 |
| [9-14]Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs
|
2010-09-08 |
| [9-14]Emergence and adaptability in complex systems
|
2010-09-08 |
| [8-19]Tools for CSP
|
2010-08-18 |
