Sciweavers

1098 search results - page 55 / 220
» System safety as an emergent property in composite systems
Sort
View
CORR
2010
Springer
173views Education» more  CORR 2010»
13 years 7 months ago
A framework for proving the self-organization of dynamic systems
Abstract. This paper aims at providing a rigorous definition of selforganization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networ...
Emmanuelle Anceaume, Xavier Défago, Maria P...
WWW
2005
ACM
14 years 9 months ago
Composite event queries for reactivity on the web
Reactivity on the Web is an emerging issue. The capability to automatically react to events (such as updates to Web resources) is essential for both Web services and Semantic Web ...
François Bry, James Bailey, Paula-Lavinia P...
ICRA
2007
IEEE
128views Robotics» more  ICRA 2007»
14 years 3 months ago
Mixed Initiative Control of Autonomous Vehicles
— In this paper we propose a systematic way of incorporating human inputs in navigation plans. The proposed controller is based on a new class of navigation function based contro...
Savvas G. Loizou, Vijay Kumar
EDOC
2007
IEEE
14 years 3 months ago
Providing Support for Model Composition in Metamodels
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
Robert B. France, Franck Fleurey, Raghu Reddy, Ben...
FSEN
2007
Springer
14 years 3 months ago
A Behavioural Congruence for Web Services
Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for ...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...