2346 search results - page 321 / 470 » Hierarchical State Machines |
151
click to vote
ICECCS
1998
IEEE
15 years 10 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
163
click to vote
PADL
1999
Springer
15 years 10 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 ...
193
click to vote
PODC
1994
ACM
15 years 10 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...
207
click to vote
MOBISYS
2008
ACM
15 years 8 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...
214
click to vote
ASM
2008
ASM
15 years 8 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...