82 search results - page 12 / 17 » Operational Semantics for Model Checking Circus |
142
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
181
click to vote
SIGSOFT
2006
ACM
15 years 11 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
161
click to vote
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
143
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
143
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...