1791 search results - page 105 / 359 » Behavioral Operations |
127
click to vote
FATES
2004
Springer
15 years 8 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
142
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
Java provides a program-level exception handling mechanism in response to error conditions (that are translated into exceptions by Java VM). However, exception handling code is of...
120
click to vote
AMAST
2000
Springer
15 years 7 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
110
click to vote
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
136
click to vote
SOSP
2005
ACM
15 years 12 months ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...