✦ LIBER ✦

A timed calculus for wireless systems

✍ Scribed by Massimo Merro; Francesco Ballardin; Eleonora Sibilio

Book ID: 113927493
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 430 KB
Volume: 412
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.07.016

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 28th IEEE International Real-Time

[IEEE 28th IEEE International Real-Time Systems Symposium (RTSS 2007) - Tucson, AZ, USA (2007.12.3-2007.12.6)] 28th IEEE International Real-Time Systems Symposium (RTSS 2007) - A Comprehensive Worst-Case Calculus for Wireless Sensor Networks with In-Network Processing

✍ Schmitt, Jens B.; Zdarsky, Frank A.; Thiele, Lothar 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 438 KB

Extending Timed Automata for Composition

Extending Timed Automata for Compositional Modeling Healthy Timed Systems

✍ Víctor Braberman; Alfredo Olivero 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 382 KB

We introduce the notion of Timed I/O Components as Timed Automata "à la" Alur \& Dill where an "admissible" I/O interface is declared. That notion has, what we consider, a key modeling property: non-zeno preservation under syntacticallycheckable "I/O compatibility" among interacting components. Also

Towards a denotational semantics of time

Towards a denotational semantics of timed RSL using duration calculus

✍ Li Li 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 721 KB

A Residue Calculus for Root Systems

✍ E. P. van den Ban; H. Schlichtkrull 📂 Article 📅 2000 🏛 Cambridge University Press 🌐 English ⚖ 336 KB

A Phenomenological Calculus for Anisotro

A Phenomenological Calculus for Anisotropic Systems

✍ A. H. Louie; I. W. Richardson 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 378 KB

A phenomenological calculus for complex

A phenomenological calculus for complex systems

✍ I.W. Richardson; A.H. Louie; S. Swaminathan 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 848 KB