 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 |
| [7-27]Real Reward Testing for Probabilistic Processes
|
2010-07-23 |
| [6-30]Unbalanced Graph Partitioning
|
2010-06-24 |
| [5-27]Contracts for Mobile Processes
|
2010-05-25 |
| [5-27]Reasoning about Optimistic Concurrency using a Program Logic for History
|
2010-05-21 |
