437 search results - page 41 / 88 » A Complete Temporal and Spatial Logic for Distributed System... |
133
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
135
Voted
DAIS
1997
15 years 4 months ago
1997
An increasing number of distributed applications are being constructed by composing them out of existing applications. The resulting applications can be very complex in structure,...
142
Voted
EATIS
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents a new fault injection tool called Exhaustif (Exhaustive Workbench for Systems Reliability). Exhaustif is a SWIFI fault injection tool for fault tolerance verif...
129
Voted
PODS
2007
ACM
16 years 3 months ago
2007
ACM
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...
127
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this manuscript we develop a conceptual understanding of how key risk factors associated with Information Technology development projects are magnified or multiplied when deali...