Sciweavers

1035 search results - page 130 / 207
» Patterns Approach to Building Software Systems
Sort
View
HASE
2008
IEEE
14 years 3 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
FTCS
1998
79views more  FTCS 1998»
13 years 10 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
GPCE
2003
Springer
14 years 2 months ago
A Case for Test-Code Generation in Model-Driven Systems
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
Matthew J. Rutherford, Alexander L. Wolf
TEI
2010
ACM
108views Hardware» more  TEI 2010»
14 years 4 months ago
Cartouche: conventions for tangibles bridging diverse interactive systems
We describe an approach for a class of tangible interaction elements that are applicable across a broad variety of interactive systems. These tangibles share certain physical, vis...
Brygg Ullmer, Zachary Dever, Rajesh Sankaran, Corn...
EUROSYS
2006
ACM
14 years 6 months ago
Automated known problem diagnosis with event traces
Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the proce...
Chun Yuan, Ni Lao, Ji-Rong Wen, Jiwei Li, Zheng Zh...