871 search results - page 15 / 175 » Modular Design of Reactive Systems |
VL
2010
IEEE
13 years 6 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
AUSFORENSICS
2003
13 years 9 months ago
2003
This paper reports from an ongoing field study of police practice in Sweden. The field study consists of direct observations and conversational interviews. The paper discusses cur...
CASES
2004
ACM
14 years 1 months ago
2004
ACM
Lab
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...
ISER
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...