6014 search results - page 329 / 1203 » Structural Testing with Use Cases |
130
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
154
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
This work presents a best-first anytime algorithm for computing optimal coalition structures. The approach is novel in that it generates coalition structures based on coalition va...
136
click to vote
ISCAPDCS
2003
15 years 6 months ago
2003
This paper discusses the use of “relative debugging” as a technique for locating errors in a program that has been ported or developed using evolutionary software engineering ...
144
click to vote
ISMAR
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we present the evaluation of a virtual mirror used as a navigational tool within a medical augmented reality (AR) system for laparoscopy. 12 surgeons of our clinical...
102
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Governments are increasingly using collaborative, cross-boundary strategies to face complex social problems. Many of these cross-boundary initiatives have at their core the use, a...