1681 search results - page 161 / 337 » Formal Design of Distributed Control Systems with Lustre |
FLAIRS
2001
14 years 11 months ago
2001
This paper describes the implementationof a decision support systemthat helps non-technicalfront-line reception staff handle complex enquiries on a wide range of local government ...
TISSEC
2002
14 years 9 months ago
2002
Language runtime systems are increasingly being embedded in systems to support runtime extensibility via mobile code. Such systems raise a number of concerns when the code running...
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
JNCA
2007
14 years 10 months ago
2007
Cooperation and autonomy are two antagonistic core variables of agent-based systems, and a key challenge in designing such systems is to balance these variables appropriately. Thi...