7311 search results - page 368 / 1463 » Time in State Machines |
198
click to vote
FORTE
2000
15 years 9 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
211
click to vote
ASE
1999
15 years 7 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
219
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...
292
click to vote
DLS
2009
15 years 5 months ago
2009
JavaScript programmers make extensive use of event-driven programming to help build responsive web applications. However, standard approaches to sequencing events are messy, and o...
205
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose a new self-stabilizing anonymous leader election algorithm in a tree graph. We show the correctness of the protocol and show that the protocol terminates in O(n4 ) time...