239 search results - page 2 / 48 » Data Abstraction and Constraint Solving for Conformance Test... |
95
Voted
RECOMB
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Protein conformational changes play a critical role in biological functions such as ligand-protein and protein-protein interactions. Due to the noise in structural data, ...
111
click to vote
DAGSTUHL
2004
15 years 1 months ago
2004
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
ERSHOV
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
111
Voted
KES
2008
Springer
15 years 9 days ago
2008
Springer
Software testing is an integral part of software engineering. Lack of testing often leads to disastrous consequences including loss of data, fortunes, and even lives. In order to e...
106
click to vote
AIPS
2006
15 years 1 months ago
2006
We present a new algorithm for conformant probabilistic planning, which for a given horizon produces a plan that maximizes the probability of success under quantified uncertainty ...