Sciweavers

1136 search results - page 196 / 228
» Case Study of Object-Oriented Software Development
Sort
View
FM
2003
Springer
115views Formal Methods» more  FM 2003»
14 years 25 days ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
AC
1994
Springer
13 years 11 months ago
Propagation Losses and Impulse Response of the Indoor Optical Channel: A Simulation Package
In this paper we present a simulation package developed to evaluate and optimize both the channel propagation losses and the multipath dispersion of the indoor optical channel. Th...
Cipriano R. A. T. Lomba, Rui T. Valadas, A. M. de ...
CODES
2004
IEEE
13 years 11 months ago
RTOS-centric hardware/software cosimulator for embedded system design
This paper presents an RTOS-centric hardwareisoftware cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is tha...
Shinya Honda, Takayuki Wakabayashi, Hiroyuki Tomiy...
CSCW
2002
ACM
13 years 7 months ago
Sharing and building digital group histories
Organizations, families, institutions evolve a shared culture and history. In this work, we describe a system to facilitate conversation and storytelling about this collective pas...
Chia Shen, Neal Lesh, Frédéric Verni...
ISSRE
2010
IEEE
13 years 6 months ago
Pinpointing the Subsystems Responsible for the Performance Deviations in a Load Test
—Large scale systems (LSS) contain multiple subsystems that interact across multiple nodes in sometimes unforeseen and complicated ways. As a result, pinpointing the subsystems t...
Haroon Malik, Bram Adams, Ahmed E. Hassan