Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines

Semantics in Data and Knowledge Bases - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36008-4_2 ◽

2013 ◽

pp. 18-49 ◽

Author(s):

Károly Bósa

Keyword(s):

Mobile Computing ◽

Formal Modeling ◽

State Machines ◽

Abstract State Machines ◽

Computing Systems

Download Full-text

Model Checking Abstract State Machines and Beyond

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_18 ◽

2000 ◽

pp. 323-340 ◽

Author(s):

Marc Spielmann

Keyword(s):

Model Checking ◽

State Machines ◽

Abstract State Machines

Download Full-text

Distributed snapshots for mobile computing systems

Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the ◽

10.1109/percom.2004.1276856 ◽

2004 ◽

Author(s):

A. Agbaria ◽

W.H. Sanders

Keyword(s):

Mobile Computing ◽

Computing Systems

Download Full-text

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_7 ◽

2019 ◽

pp. 89-103

Author(s):

Andrea Bombarda ◽

Silvia Bonfanti ◽

Angelo Gargantini

Keyword(s):

Embedded Systems ◽

Medical Devices ◽

State Machines ◽

Abstract State Machines

Download Full-text

Model-Based Simulation at Runtime with Abstract State Machines

Communications in Computer and Information Science - Software Architecture ◽

10.1007/978-3-030-59155-7_29 ◽

2020 ◽

pp. 395-410

Author(s):

Elvinia Riccobene ◽

Patrizia Scandurra

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Download Full-text

WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic

Lecture Notes in Computer Science - The Semantic Web: Research and Applications ◽

10.1007/978-3-540-68234-9_48 ◽

2008 ◽

pp. 659-673 ◽

Author(s):

Dumitru Roman ◽

Michael Kifer ◽

Dieter Fensel

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Concurrent Transaction ◽

Transaction Logic

Download Full-text

The Hidden Computation Steps of Turbo Abstract State Machines

Abstract State Machines 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-36498-6_14 ◽

2003 ◽

pp. 244-262 ◽

Author(s):

Nicu G. Fruja ◽

Robert F. Stärk

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text

Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-319-70848-5_3 ◽

2017 ◽

pp. 15-32 ◽

Author(s):

Farah Al-Shareefi ◽

Alexei Lisitsa ◽

Clare Dixon

Keyword(s):

Process Analysis ◽

State Machines ◽

Critical Systems ◽

Abstract State Machines ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Log Based Recovery with Low Overhead for Mobile Computing Systems

Computer Networks and Information Technologies - Communications in Computer and Information Science ◽

10.1007/978-3-642-19542-6_125 ◽

2011 ◽

pp. 637-642

Author(s):

Awadhesh Kumar Singh ◽

Parmeet Kaur

Keyword(s):

Mobile Computing ◽

Computing Systems

Download Full-text

Guest Editorial Special Issue on Multimedia Services Provision Over Future Mobile Computing Systems

IEEE Systems Journal ◽

10.1109/jsyst.2017.2783463 ◽

2018 ◽

Vol 12 (1) ◽

pp. 12-15 ◽

Author(s):

George Mastorakis ◽

Evangelos Pallis ◽

Constandinos X. Mavromoustakis ◽

Lei Shu ◽

Joel J. P. C. Rodrigues

Keyword(s):

Mobile Computing ◽

Guest Editorial ◽

Special Issue ◽

Multimedia Services ◽

Computing Systems ◽

Editorial Special Issue

Download Full-text

Quantum Computing and Abstract State Machines

Abstract State Machines 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-36498-6_18 ◽

2003 ◽

pp. 309-323 ◽

Author(s):

Erich Grädel ◽

Antje Nowack

Keyword(s):

Quantum Computing ◽

State Machines ◽

Abstract State Machines

Download Full-text