1222 search results - page 181 / 245 » A Bayesian Approach to Model Checking Biological Systems |
164
click to vote
LPNMR
1997
Springer
15 years 8 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
126
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
136
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
129
click to vote
CGF
1999
15 years 3 months ago
1999
We describe an approach for interactive collision detection and proximity computations on massive models composed of millions of geometric primitives. We address issues related to...
116
click to vote
ICES
2003
Springer
15 years 9 months ago
2003
Springer
In this article, we introduce the approach to the realization of ontogenetic development and fault tolerance that will be implemented in the POEtic tissue, a novel reconfigurable ...