395 search results - page 60 / 79 » Program abstractions for behaviour validation |
210
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
125
click to vote
ADAEUROPE
2008
Springer
15 years 9 months ago
2008
Springer
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
131
Voted
LCPC
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. Loop fusion is a program transformation that merges multiple loops into one. It is e ective for reducing the synchronization overhead of parallel loops and for improving ...
126
Voted
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
Composing web services using current web service composition languages (such as BPEL) requires a large amount of in-depth knowledge. This paper introduces a service creation envir...
114
click to vote
WOA
2001
15 years 4 months ago
2001
This paper proposes a coordination model, for both nd mobile agents, based on abstract structures called Communicators, entities which handle agent dialogue performed through ACL ...