1222 search results - page 230 / 245 » A Bayesian Approach to Model Checking Biological Systems |
104
click to vote
ENTCS
2008
15 years 1 months ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
146
Voted
ICOODB
2009
14 years 11 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
104
click to vote
PASTE
2005
ACM
15 years 7 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
120
Voted
DLOG
2007
15 years 4 months ago
2007
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
107
Voted
IJCAI
2007
15 years 3 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...