2255 search results - page 275 / 451 » High Assurance Software Systems |
181
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
When trying to track down bugs using cyclic debugging, the ability to correctly reproduce executions is imperative. In sequential, deterministic, non-real-time software, this repr...
159
click to vote
ADBIS
2006
Springer
16 years 15 days ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
159
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
195
click to vote
VVS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes architecture and implementation of the ULTRAVIS system, a pure software solution for versatile and fast volume rendering. It provides perspective raycasting, ...
145
click to vote
USENIX
2007
15 years 8 months ago
2007
This paper presents SafeStore, a distributed storage system designed to maintain long-term data durability despite conventional hardware and software faults, environmental disrupt...