826 search results - page 27 / 166 » Resolving Concurrent Interactions |
110
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
130
click to vote
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
109
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
107
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
92
Voted
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...