6014 search results - page 945 / 1203 » Structural Testing with Use Cases |
208
click to vote
DAC
2001
ACM
16 years 8 months ago
2001
ACM
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
186
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present the design, implementation, and evaluation of iPlane, a scalable service providing accurate predictions of Internet path performance for emerging overlay...
321
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
A common problem in many types of databases is retrieving the most similar matches to a query object. Finding those matches in a large database can be too slow to be practical, es...
195
click to vote
SI3D
2009
ACM
16 years 2 months ago
2009
ACM
Physically plausible illumination at real-time framerates is often achieved using approximations. One popular example is ambient occlusion (AO), for which very simple and efficie...
169
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
A corporate portal supports a community of users on cohesively managing a shared set of resources. Such management should also include social tagging, i.e. the practice of collabor...