Sciweavers

2637 search results - page 262 / 528
» Tool Supported Specification and Simulation of Distributed S...
Sort
View
WSC
2007
15 years 9 months ago
Model-based measurement of situation awareness
Decision making in complex environments in the face of uncertain and missing information is a daunting task. We describe a modeling and simulation based approach to providing plan...
W. Scott Neal Reilly, Sean L. Guarino, Bret Kellih...
ISCC
2006
IEEE
129views Communications» more  ISCC 2006»
16 years 19 days ago
A Semantic Overlay Network for P2P Schema-Based Data Integration
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
Carmela Comito, Simon Patarin, Domenico Talia
FORTE
2003
15 years 8 months ago
A Lightweight Formal Analysis of a Multicast Key Management Scheme
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
Mana Taghdiri, Daniel Jackson
MABS
1998
Springer
15 years 10 months ago
Multi-Agent Architecture Integrating Heterogeneous Models of Dynamical Processes: The Representation of Time
Multi-agent simulations aim at representing the dynamics of complex systems as resulting from multiple interactions between autonomous entities including their own perception of lo...
Edem Fianyo, Jean-Pierre Treuil, Edith Perrier, Yv...
EMSOFT
2007
Springer
16 years 24 days ago
Virtual execution of AADL models via a translation into synchronous programs
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, X...