Sciweavers

2142 search results - page 209 / 429
» Representing Time in Multimedia Systems
Sort
View
ICSE
2004
IEEE-ACM
16 years 7 months ago
Efficient Decentralized Monitoring of Safety in Distributed Systems
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
EDCC
2005
Springer
16 years 17 days ago
Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
Christophe Honvault, Marc Le Roy, Pascal Gula, Jea...
HICSS
2003
IEEE
200views Biometrics» more  HICSS 2003»
16 years 10 days ago
A Dynamic Assignment Problem in a Mobile System with Limited Bandwidth
The assignment problem originally arising from parallel and distributed computing has been investigated intensively since the 70’s when Harold Stone proposed a method to solve i...
Yang Wang 0006, Thomas Kunz
IEEEAMS
2003
IEEE
16 years 10 days ago
Programming Systems for Autonomy
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
Alexander V. Konstantinou, Yechiam Yemini
WMTE
2002
IEEE
15 years 12 months ago
KLeOS: A Personal, Mobile, Knowledge and Learning Organisation System
The design of a personal, mobile Knowledge and Learning Organisation System (KLeOS) is described. Studies of adult learning practice showed [1] that learning activity is mobile be...
Giasemi N. Vavoula, Mike Sharples