3547 search results - page 323 / 710 » Pseudo-Exhaustive Testing for Software |
217
click to vote
SOCO
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
201
click to vote
BELL
2000
15 years 7 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
224
click to vote
WWW
2003
ACM
16 years 8 months ago
2003
ACM
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
186
click to vote
ICDE
2010
IEEE
16 years 7 months ago
2010
IEEE
Testing and debugging database software is often challenging and time consuming. A very arduous task for DB testers is finding a min-repro ? the "simplest possible setup"...
211
click to vote
PERCOM
2006
ACM
16 years 7 months ago
2006
ACM
This paper presents Cantag, an open source software toolkit for building Marker-based Vision (MBV) systems that can identify and accurately locate printed markers in three dimensi...