Sciweavers

1098 search results - page 18 / 220
» System safety as an emergent property in composite systems
Sort
View
IAT
2003
IEEE
14 years 25 days ago
Discovery of Emergent Natural Laws by Hierarchical Multi-Agent Systems
This paper defines an approach to simulation of natural systems, inspired by complex systems theory. A complex natural system is modeled as a multi-agent simulation system, agents...
Henk Stolk, Kevin Gates, Jim Hanan
IPCCC
2007
IEEE
14 years 1 months ago
LoST: A Protocol for Mapping Geographic Locations to Public Safety Answering Points
Abstract— Public Safety Answering Points (PSAPs) serve limited geographic areas, so emergency callers must be directed to the most appropriate PSAP. As part of the overall Intern...
Henning Schulzrinne, Hannes Tschofenig, Andrew New...
WETICE
2000
IEEE
13 years 12 months ago
Secure Self-Certified COTS
With the advent and the rising popularity of networks, Internet, intranets and distributed systems, security is becoming one of the major concerns in IT research. An increasing nu...
Mourad Debbabi, E. Giasson, Béchir Ktari, F...
CAV
2004
Springer
93views Hardware» more  CAV 2004»
14 years 28 days ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
MEMOCODE
2008
IEEE
14 years 1 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...