37 search results - page 7 / 8 » sofsem 2009 |
93
Voted
SOFSEM
2009
Springer
15 years 11 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...
104
Voted
SOFSEM
2009
Springer
15 years 6 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...
120
Voted
SOFSEM
2009
Springer
15 years 11 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...
96
Voted
SOFSEM
2009
Springer
15 years 6 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...
92
Voted
SOFSEM
2009
Springer
15 years 11 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...