𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions

✍ Scribed by Rodriguez-Navas, G.; Proenza, J.

Book ID
121664200
Publisher
IEEE
Year
2013
Tongue
English
Weight
887 KB
Volume
39
Category
Article
ISSN
0098-5589

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Studies in Computational Intelligence]
[Studies in Computational Intelligence] Contemporary Challenges and Solutions in Applied Artificial Intelligence Volume 489 || Using Agents for Dynamic Components Redeployment and Replication in Distributed Systems
✍ Ali, Moonis; Bosse, Tibor; Hindriks, Koen V.; Hoogendoorn, Mark; Jonker, Catholi πŸ“‚ Article πŸ“… 2013 πŸ› Springer International Publishing 🌐 English βš– 984 KB

Since its origination in the mid-twentieth century, the area of Artificial Intelligence (AI) has undergone a number of developments. While the early interest in AI was mainly triggered by the desire to develop artifacts that show the same intelligent behavior as humans, nowadays scientists have real

[IEEE 2011 IEEE 9th International Sympos
[IEEE 2011 IEEE 9th International Symposium on Parallel and Distributed Processing with Applications (ISPA) - Busan, Korea (South) (2011.05.26-2011.05.28)] 2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications - Schedulability Analysis for Distributed Systems Using Network of Action Automata and Environment Automata
✍ Gui, Shenglin; Luo, Lei; Yu, Miao; Xu, Jianhua; Li, Yun πŸ“‚ Article πŸ“… 2011 πŸ› IEEE βš– 370 KB