6800 search results - page 760 / 1360 » Testing with Functions as Specifications |
196
click to vote
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Identification of homologous chromosomal regions is important for understanding evolutionary processes that shape genome evolution, such as genome rearrangements and larg...
228
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
194
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
211
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...
214
click to vote
SCIA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Solutions to non-linear least squares problems play an essential role in structure and motion problems in computer vision. The predominant approach for solving these prob...