82 search results - page 12 / 17 » Operational Semantics for Model Checking Circus |
166
Voted
EDOC
2006
IEEE
16 years 12 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...
209
Voted
SIGSOFT
2006
ACM
16 years 9 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...
192
Voted
TASE
2008
IEEE
16 years 22 days 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...
173
Voted
ICLP
2007
Springer
16 years 15 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)...
173
Voted
FSEN
2007
Springer
16 years 16 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...