82 search results - page 12 / 17 » Operational Semantics for Model Checking Circus |
177
Voted
EDOC
2006
IEEE
16 years 22 days 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...
226
click to vote
SIGSOFT
2006
ACM
16 years 18 days 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...
202
click to vote
TASE
2008
IEEE
16 years 1 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...
184
click to vote
ICLP
2007
Springer
16 years 24 days 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)...
184
Voted
FSEN
2007
Springer
16 years 25 days 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...