 [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 |
| [5-26]2010 Algorithm and Information Day
|
2010-05-24 |
| [5-25]Typed iterators for XML
|
2010-05-24 |
| [5-12]Improving Software Quality with Parfait
|
2010-05-11 |
| [5-11]Grammar Inference Technology Applications in Software Engineering
|
2010-04-30 |
| [5-5]Tags Meet Ratings: Improving Collaborative Filtering with Tag-Based Neighborhood Method
|
2010-04-30 |
| [4-28]Community Structures in Large Networks
|
2010-04-27 |
| [4-22]Seminar on internet-based control systems design and application
|
2010-04-07 |
| [4-21]Connection between Logical Approach and Algebraical Approach to Concurrent Systems
|
2010-04-02 |
| [4-20]An Abuse-Free Fair Contract Signing Protocol Based on the RSA Signature
|
2010-04-13 |
| [4-19]Challenges, Approaches and Benefits of Standardisation for Safety in Railway
|
2010-04-19 |
| [4-14]Asymptotically Optimal Strategy-Proof Mechanisms for Two-Facility Games
|
2010-04-02 |
