1701 search results - page 85 / 341 » Computer Science and State Machines |
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
ASM
2003
ASM
15 years 3 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
JUCS
2002
14 years 9 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
ASM
2005
ASM
14 years 12 months ago
2005
ASM
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...