Sciweavers

1227 search results - page 46 / 246
» A Programming Model for Time-Synchronized Distributed Real-T...
Sort
View
140
Voted
RTAS
2008
IEEE
15 years 8 months ago
Schedulability Analysis of MSC-based System Models
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty
CONCUR
2012
Springer
13 years 4 months ago
Avoiding Shared Clocks in Networks of Timed Automata
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
Sandie Balaguer, Thomas Chatain
96
Voted
ACRI
2006
Springer
15 years 8 months ago
Interactive Terrain Simulation and Force Distribution Models in Sand Piles
This paper presents an application of Cellular Automata in the field of dry Granular Systems modelling. While the study of granular systems is not a recent field, no efficient mo...
Marta Pla-Castells, Ignacio García-Fern&aac...
PERCOM
2003
ACM
16 years 1 months ago
Evaluation of Kalman Filtering for Network Time Keeping
Time information is critical for a variety of applications in distributed environments that facilitate pervasive computing and communication. This work describes and evaluates a no...
Aggelos Bletsas
CONCUR
2008
Springer
15 years 4 months ago
Modeling Computational Security in Long-Lived Systems
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...