37 search results - page 7 / 8 » sofsem 2009 |
SOFSEM
2009
Springer
14 years 2 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
SOFSEM
2009
Springer
13 years 9 months ago
2009
Springer
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...
SOFSEM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
SOFSEM
2009
Springer
13 years 9 months ago
2009
Springer
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...
SOFSEM
2009
Springer
14 years 2 months ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...