1753 search results - page 131 / 351 » State Machines |
137
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
There are currently two approaches to providing Byzantine-fault-tolerant state machine replication: a replica-based approach, e.g., BFT, that uses communication between replicas t...
153
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
151
click to vote
ASM
2005
ASM
15 years 10 months ago
2005
ASM
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
129
click to vote
SPIESR
2003
15 years 5 months ago
2003
In this paper, we present an approach to extract scenes in video. The approach is top-down and uses video editing rules and audio cues to extract simple dialog and action scenes. ...
102
click to vote
JSS
2006
15 years 4 months ago
2006
This article introduces the entity-life modeling (ELM) design approach for multithread software. The article focuses on problems that can be described by state machines with assoc...