467 search results - page 45 / 94 » An integration framework for heterogeneous automatic softwar... |
127
click to vote
SCP
2010
14 years 11 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
125
click to vote
ISMB
1998
15 years 2 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
133
click to vote
SPIN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
TRIDENTCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents an experimental framework for implementation of an IMS/NGN reference service scenario by means of open source software. Multiple service enablers are deployed t...
117
click to vote
ENTCS
2006
15 years 1 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...