443 search results - page 25 / 89 » Compensation-Aware Runtime Monitoring |
109
click to vote
ENTCS
2006
15 years 23 days ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
109
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
116
click to vote
ECOWS
2009
Springer
15 years 7 months ago
2009
Springer
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...
208
click to vote
CASCON
2010
14 years 9 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
ICSOC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Dynamo advocates that pre-deployment validation and testing are intrinsically inadequate for tackling the ephemeral and rapidly changing context in which service oriented...