597 search results - page 111 / 120 » E-Process Design and Assurance Using Model Checking |
101
click to vote
IEEEPACT
2006
IEEE
15 years 4 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
160
click to vote
ICDE
2008
IEEE
15 years 11 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
15 years 10 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 ...
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
108
Voted
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...