370 search results - page 17 / 74 » How to Control Emergence of Behaviours in a |
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
IJNM
2008
13 years 7 months ago
2008
Routing protocols for mobile ad hoc networks (MANETs) have been an active area of research for the last decade, with many very interesting potential as well as actual applications...
ACSC
2008
IEEE
14 years 2 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
ATAL
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. A self-organising system functions without central control, and through contextual local interactions. Components achieve a simple task individually, but a complex collec...
CDC
2009
IEEE
14 years 9 days ago
2009
IEEE
— In this paper we use bilevel programming to find the maximum difference between a reference controller and a low-complexity controller in terms of the infinitynorm difference...