Sciweavers

2594 search results - page 249 / 519
» Stabilization of Systems with Changing Dynamics
Sort
View
WAC
2004
Springer
150views Communications» more  WAC 2004»
15 years 12 months ago
A Systems Architecture for Sensor Networks Based On Hardware/Software Co-design
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
Andy Nisbet, Simon Dobson
COMPSAC
2002
IEEE
15 years 11 months ago
Using RAIC for Dependable On-line Upgrading of Distributed Systems
Redundant Arrays of Independent Components (RAIC) is a technology that uses groups of similar or identical distributed components to provide dependable services [1,2,3]. RAIC allo...
Chang Liu, Debra J. Richardson
IPPS
2000
IEEE
15 years 11 months ago
A Framework for Embedded Real-Time System Design
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
Jin-Young Choi, Hee-Hwan Kwak, Insup Lee
ICMCS
1999
IEEE
158views Multimedia» more  ICMCS 1999»
15 years 11 months ago
DVS: A System for Distribution and Management of Global Video on Demand Services
The Distributed Video Server (DVS) system provides a comprehensive solution for the management and distribution of a major future electronic commodity service, Video on Demand (VO...
Alexey Roytman, Israel Ben-Shaul, Israel Cidon
ECAI
1994
Springer
15 years 10 months ago
Belief Revision in Multi-Agent Systems
The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distribute...
Benedita Malheiro, Nicholas R. Jennings, Eugenio O...