819 search results - page 132 / 164 » Using Assumptions to Distribute CTL Model Checking |
96
Voted
ECOOPW
1998
Springer
15 years 2 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...
98
Voted
CONCUR
2006
Springer
15 years 2 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...
105
Voted
ICIP
2005
IEEE
15 years 12 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...
93
Voted
FUIN
2008
14 years 10 months 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...
106
Voted
ECLIPSE
2005
ACM
15 years 5 days 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...