2467 search results - page 370 / 494 » Finite State Machines |
91
Voted
PADL
1999
Springer
15 years 5 months ago
1999
Springer
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
123
click to vote
PODC
1994
ACM
15 years 4 months ago
1994
ACM
Workstation clusters are becoming an interesting alternative to dedicated multiprocessors. In this environment, the probability of a failure, during an application's executio...
131
click to vote
MOBISYS
2008
ACM
15 years 3 months ago
2008
ACM
As computing capabilities of embedded devices increase, services such as Internet and multimedia are comportably supported by such devices. Users may demand for migrating services...
138
click to vote
ASM
2008
ASM
15 years 2 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
113
click to vote
FORTE
2010
15 years 2 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...