12 search results - page 1 / 3 » Simulating norm formation: an operational approach |
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
TPDS
2010
13 years 3 months ago
2010
—In an n-way broadcast application, each one of n overlay nodes wants to push its own distinct large data file to all other n À 1 destinations as well as download their respecti...
SPIN
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
SIGCSE
2000
ACM
13 years 9 months ago
2000
ACM
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...