Sciweavers

1929 search results - page 135 / 386
» A Problem Space Approach to Expert System Specification
Sort
View
RECOMB
2000
Springer
15 years 7 months ago
Universal DNA tag systems: a combinatorial design scheme
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
Amir Ben-Dor, Richard M. Karp, Benno Schwikowski, ...
ICFEM
2009
Springer
15 years 10 months ago
Scalable Multi-core Model Checking Fairness Enhanced Systems
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
SNPD
2008
15 years 5 months ago
An Approach to Modeling Software Safety
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
M. Ben Swarup, P. Seetha Ramaiah
SIGOPSE
2004
ACM
15 years 9 months ago
Lessons and challenges in automating data dependability
Abstract: Designing and managing dependable systems is a difficult endeavor. In this paper, we describe challenges in this vast problem space, including provisioning and allocatin...
Kimberly Keeton, Dirk Beyer 0002, Jeffrey S. Chase...
WOWMOM
2005
ACM
98views Multimedia» more  WOWMOM 2005»
15 years 9 months ago
Intuitive Human Governance of Autonomic Pervasive Computing Environments
This paper proposes an intuitive configuration tool for autonomic pervasive computing systems. Specifically the paper presents a system for the inference of user task intentions f...
Tony O'Donnell, David Lewis, Vincent Wade