Sciweavers

474 search results - page 57 / 95
» Assurance Based Development of Critical Systems
Sort
View
HICSS
2009
IEEE
155views Biometrics» more  HICSS 2009»
15 years 11 months ago
Explaining the Continuous Use of Social Virtual Worlds: An Applied Theory of Planned Behavior Approach
Social virtual worlds (SVWs) have become increasingly popular spaces for social interaction. To be attractive to engage with, maintaining a sufficient base of active users is a si...
Jani Merikivi, Matti Mäntymäki
SCFBM
2008
112views more  SCFBM 2008»
15 years 4 months ago
The Multiscale Systems Immunology project: software for cell-based immunological simulation
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...
Faheem Mitha, Timothy A. Lucas, Feng Feng, Thomas ...
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 9 months 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
VLSID
2005
IEEE
285views VLSI» more  VLSID 2005»
16 years 4 months ago
Power Monitors: A Framework for System-Level Power Estimation Using Heterogeneous Power Models
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...
Nikhil Bansal, Kanishka Lahiri, Anand Raghunathan,...
ICALT
2008
IEEE
15 years 11 months ago
Deriving E-Assessment from a Competency Model
Self-assessment is a crucial component of learning. Creating effective questions is time-consuming, however, because it may require considerable resources and the skill of critica...
Onjira Sitthisak, Lester Gilbert, Hugh C. Davis