Sciweavers

1098 search results - page 48 / 220
» System safety as an emergent property in composite systems
Sort
View
DALT
2009
Springer
14 years 21 days ago
The Refinement of Choreographed Multi-Agent Systems
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi D...
CSFW
2000
IEEE
14 years 1 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek
AI
2002
Springer
13 years 8 months ago
Emergence of social conventions in complex networks
The emergence of social conventions in multi-agent systems has been analyzed mainly in settings where every agent may interact either with every other agent or with nearest neighb...
Jordi Delgado
TC
1998
13 years 8 months ago
A Prioritized Petri Net Model and Its Application in Distributed Multimedia Systems
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
Sheng Uei Guan, Hsiao-Yeh Yu, Jen-Shun Yang
TCAD
2002
92views more  TCAD 2002»
13 years 8 months ago
Design of reconfigurable composite microsystems based on hardware/software codesign principles
Abstract--Composite microsystems that integrate mechanical and fluidic components with electronics are emerging as the next generation of system-on-a-chip. Custom microsystems are ...
Tianhao Zhang, Krishnendu Chakrabarty, Richard B. ...