Sciweavers

345 search results - page 33 / 69
» A process logic for distributed system synthesis
Sort
View
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 4 months ago
Control of impulsive renewal systems: Application to direct design in networked control
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
Duarte Antunes, João Pedro Hespanha, Carlos...
ICIAP
2003
ACM
15 years 12 months ago
Olympus: an ambient intelligence architecture on the verge of reality
This paper presents Olympus, a modular processing architecture for a distributed ambient intelligence. The system is aimed at detailed reporting of people wandering and gesturing ...
F. Bertamini, Roberto Brunelli, Oswald Lanz, A. Ro...
UML
2001
Springer
15 years 4 months ago
Representing Embedded System Sequence Diagrams as a Formal Language
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require...
Elizabeth Latronico, Philip Koopman
PADS
1997
ACM
15 years 4 months ago
Distributed Simulation of Spatially Explicit Ecological Models
Large-scale ecological simulations are natural candidates for distributed discrete event simulation. In optimistic simulation of spatially explicit models, a difficult problem ar...
Kevin Glass, Marilynn Livingston, John S. Conery
AINA
2008
IEEE
15 years 6 months ago
Multi-Token Distributed Mutual Exclusion Algorithm
This paper is a contribution to the inception of multiple tokens in solving distributed mutual exclusion problem. The proposed algorithm is based on the token ring approach and al...
Md. Abdur Razzaque, Choong Seon Hong