2468 search results - page 278 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
131
click to vote
CSB
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a new statistical method for constructing a genetic network from microarray gene expression data by using a Bayesian network. An essential point of Bayesian network con...
107
click to vote
EMINDS
2007
15 years 4 months ago
2007
Abstract We introduce our human-centered approach for designing a ubiquitous computing system which aims at providing a better experience for shoppers at a supermarket. We investig...
122
click to vote
SMA
1993
ACM
15 years 8 months ago
1993
ACM
: Parametric design is an important modeling paradigm in computer aided design. Relationships (constraints) between the degrees of freedom (DOFs) of the model, instead of the DOFs ...
155
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...
141
click to vote
DSN
2000
IEEE
15 years 7 months ago
2000
IEEE
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...