584 search results - page 62 / 117 » The Light Control Case Study: Problem Description |
FORTEST
2008
13 years 9 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
WICSA
2004
13 years 9 months ago
2004
Authentic descriptions of a software architecture are required as a reliable foundation for any but trivial changes to a system. Far too often, architecture descriptions of existi...
ETFA
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper addresses questions of using wireless mesh networks (WMNs) in heterogeneous industrial infrastructures. This implies several problems like global addressing, handling o...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper studies the global synchronization problem of networked systems with bidirectional connections. We introduce a virtual node to produce the reference trajectory which wil...
FGCS
2000
13 years 7 months ago
2000
Ant colonies, and more generally social insect societies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organiz...