1895 search results - page 338 / 379 » Using ATL for Checking Models |
113
click to vote
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
Considering a broad definition for service contracts (beyond web services and software, e.g. airline tickets and insurance policies), we tackle the challenges of building a high ...
204
Voted
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
SIGSOFT
2006
ACM
16 years 3 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
114
click to vote
COORDINATION
2009
Springer
16 years 2 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
130
click to vote
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...