Sciweavers

2711 search results - page 500 / 543
» Stochastic Hybrid Systems: Application to Communication Netw...
Sort
View
CGI
2006
IEEE
15 years 6 months ago
Providing Full Awareness to Distributed Virtual Environments Based on Peer-to-Peer Architectures
In recent years, large scale distributed virtual environments (DVEs) have become a major trend in distributed applications, mainly due to the enormous popularity of multiplayer onl...
Pedro Morillo, W. Moncho, Juan M. Orduña, J...
P2P
2006
IEEE
15 years 6 months ago
State Aware Data Dissemination over Structured Overlays
We describe the problem of data dissemination in stream-oriented applications where the required filter is a function of the current state. We call such functions dynamic filter...
Liping Chen, Gul Agha
COORDINATION
2004
Springer
15 years 5 months ago
A Lightweight Coordination Middleware for Mobile Computing
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hack...
118
Voted
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 4 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
SCS
2001
15 years 1 months ago
High Level Failure Analysis for Integrated Modular Avionics
Integrated Modular Avionics (IMA) is the term used for a common computer network aboard an aircraft. In order to gain full benefit from this technology a strategy is required to a...
Philippa Conmy, John A. McDermid