1398 search results - page 164 / 280 » Ensuring Properties of Interaction Systems |
170
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
152
click to vote
LADC
2007
Springer
16 years 16 days ago
2007
Springer
A distributed dynamic system is a fully distributed system subject to a continual arrival/departure of the entities defining the system. Another characterizing dimension of these ...
161
click to vote
EMSOFT
2009
Springer
16 years 29 days ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
190
click to vote
OPODIS
2004
15 years 7 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
217
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
In this paper we introduce the idea of organizing systems. Through a number of examples from an ongoing ethnographic study of family life, we suggest that organizing systems come ...