1
Published 2005
Table of Contents: ... Contract Layered Architecture for Regulating Cross-Organisational Business Processes -- An Effective...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ...-agent System Based on Policies and Contracts -- Case-Based Student Modeling in Multi-agent Learning...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... in Real Scenes -- Comparing Sphere-Tree Generators and Hierarchy Updates for Deformable Objects Collision...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...
View full text
Electronic eBook