4520 search results - page 637 / 904 » Algebraic Techniques for Timed Systems |
197
click to vote
WCRE
2006
IEEE
16 years 21 days ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
157
click to vote
STORAGESS
2005
ACM
16 years 8 days ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...
172
click to vote
WAOA
2005
Springer
16 years 5 days ago
2005
Springer
Cellular telephony systems, where locations of mobile users are unknown at some times, are becoming more common. In such systems, mobile users are roaming in a zone and a user repo...
208
click to vote
ASPLOS
2004
ACM
16 years 4 days ago
2004
ACM
Maintenance is the dominant source of downtime at high availability sites. Unfortunately, the dominant mechanism for reducing this downtime, cluster rolling upgrade, has two short...
196
click to vote
ISSTA
2004
ACM
16 years 4 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...