2346 search results - page 222 / 470 » Hierarchical State Machines |
188
click to vote
FTDCS
2004
IEEE
15 years 10 months ago
2004
IEEE
Today most Internet services are pre-assigned to servers statically, hence preventing us from doing real-time sharing of a pool of servers across as group of services with dynamic...
168
click to vote
OSDI
2006
ACM
16 years 6 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...
165
click to vote
EUROCAST
2009
Springer
16 years 1 months ago
2009
Springer
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
162
click to vote
DSN
2007
IEEE
16 years 25 days ago
2007
IEEE
Testing is a difficult process that becomes more difficult with scaling. With smaller and faster devices, tolerance for errors shrinks and devices may act correctly under certain ...
191
click to vote
MODELS
2007
Springer
16 years 18 days 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...