1753 search results - page 216 / 351 » State Machines |
174
click to vote
SCESM
2006
ACM
15 years 11 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
136
click to vote
WECWIS
2003
IEEE
15 years 10 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
138
click to vote
ASPDAC
2000
ACM
15 years 9 months ago
2000
ACM
Abstract— Clock-gating techniques are very effective in the reduction of the switching activity in sequential logic circuits. In particular, recent work has shown that significa...
129
Voted
ICECCS
1998
IEEE
15 years 9 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...
184
click to vote
ASM
2008
ASM
15 years 7 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...