2940 search results - page 169 / 588 » Behavioral Constraints for Services |
170
Voted
SRDS
1998
IEEE
15 years 10 months ago
1998
IEEE
The primary-backup replication model is one of the commonly adopted approaches to providing fault tolerant data services. Its extension to the real-time environment, however, impo...
160
click to vote
TSE
2010
15 years 4 months ago
2010
—This paper proposes a self-healing approach to handle exceptions in service-based processes and to repair the faulty activities with a model-based approach. In particular, a set...
135
click to vote
IFM
2009
Springer
16 years 19 days ago
2009
Springer
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...
153
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
138
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we study phase transition behavior emerging from the interactions among multiple agents in the presence of noise. We propose a simple discrete-time model in which a...