436 search results - page 81 / 88 » Temporal Preprocessor: Towards Temporal Applications Develop... |
169
click to vote
SPIN
2005
Springer
16 years 5 days 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...
198
click to vote
ECOOP
2004
Springer
16 years 3 days 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...
236
click to vote
ACSC
2003
IEEE
16 years 6 hour 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...
195
Voted
EATIS
2007
ACM
15 years 10 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...
197
click to vote
WSCG
2004
15 years 8 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...