436 search results - page 81 / 88 » Temporal Preprocessor: Towards Temporal Applications Develop... |
113
Voted
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
126
Voted
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Software systems obey the 80/20 rule: aggressively optimizing a vital few execution paths yields large speedups. However, finding the vital few paths can be difficult, e...
172
Voted
ACSC
2003
IEEE
15 years 8 months ago
2003
IEEE
The relative difference between two data values is of interest in a number of application domains including temporal and spatial applications, schema versioning, data warehousing...
135
Voted
EATIS
2007
ACM
15 years 6 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...
138
Voted
WSCG
2004
15 years 4 months ago
2004
Even after more than two decades of input devices development, many people still find the interaction with computers an uncomfortable experience. Efforts should be made to adapt c...