1965 search results - page 124 / 393 » On the analysis of interacting pushdown systems |
CODES
2007
IEEE
14 years 3 months ago
2007
IEEE
Round-Robin scheduling is the most popular time triggered scheduling policy, and has been widely used in communication networks for the last decades. It is an efficient schedulin...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— In this paper we introduce an analysis of dependability of an elementary yet critical component of robotic systems designed to operate in environments shared with human...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
ESANN
2007
13 years 10 months ago
2007
Since perceptual and motor processes in the brain are the result of interactions between neurons, layers and areas, a lot of attention has been directed towards the development of...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
EnCompass®1 , a web-enabled system for organizational process visualization, analysis, synthesis, and management, provides an interactive vehicle for understanding the influence ...