1895 search results - page 338 / 379 » Using ATL for Checking Models |
97
Voted
SIGMOD
2011
ACM
14 years 3 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 ...
186
Voted
ICDE
2008
IEEE
16 years 1 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...
83
Voted
SIGSOFT
2006
ACM
16 years 1 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 ...
101
Voted
COORDINATION
2009
Springer
16 years 1 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...
107
Voted
OSDI
2008
ACM
16 years 25 days 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-...