10870 search results - page 385 / 2174 » Model Checking Programs |
201
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
206
click to vote
ACMICEC
2005
ACM
16 years 12 days ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
167
click to vote
PASTE
2005
ACM
16 years 12 days 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...
195
click to vote
ILP
2003
Springer
16 years 1 days ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
157
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...