17505 search results - page 3194 / 3501 » Use Cases as Workflows |
185
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
Fault tolerance is a very important concern for critical high performance applications using the MPI library. Several protocols provide automatic and transparent fault detection a...
187
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
192
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
As a result of improvements in process technology, more and more components are being integrated into a single System-on-Chip (SoC) design. Communication between these components ...
168
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
When modeling business processes, we often implicity think of internal business policies and external regulations. Yet to date, little attention is paid to avoid hard-coding polici...
200
click to vote
DIAL
2004
IEEE
15 years 10 months ago
2004
IEEE
Large collections of scanned documents (books and journals) are now available in Digital Libraries. The most common method for retrieving relevant information from these collectio...