819 search results - page 132 / 164 » Using Assumptions to Distribute CTL Model Checking |
123
Voted
ECOOPW
1998
Springer
15 years 4 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
119
click to vote
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
123
Voted
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
Spread spectrum (SS) or known-host-statistics technique has shown the best performance in terms of both rate of reliable communications and bit error probability at the low waterm...
118
Voted
FUIN
2008
15 years 19 days ago
2008
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...
129
Voted
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...