Sciweavers

1116 search results - page 184 / 224
» An Eclipse-based tool framework for software model managemen...
Sort
View
134
Voted
FTCS
1998
79views more  FTCS 1998»
15 years 6 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
CORR
2008
Springer
144views Education» more  CORR 2008»
15 years 4 months ago
Modular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
Annie Ressouche, Daniel Gaffé, Valér...
130
Voted
MTSR
2007
Springer
15 years 10 months ago
Towards a Definition of Digital Information Preservation Object
In this paper, we discuss long-term digital preservation from an information perspective, rather than the predominant approaches; the Archival and the Technocratic Approach. Inform...
Hugo Quisbert, Margarita Korenkova, Ann Häger...
WSC
2008
15 years 6 months ago
Empowering decision support with simulation technology - Scenario Navigator
The commercial simulation environments that are available today focus primarily on the development of simulation models. They are designed for a single user. They provide animatio...
Edwin Valentin, Renk A. Bijlsma, Vincent de Gast
AVI
2008
15 years 7 months ago
End-user visualizations
Computer visualization has advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached the point where...
Alexander Repenning, Andri Ioannidou