621 search results - page 19 / 125 » Functional and structural properties in the Model-Driven Eng... |
KBSE
2002
IEEE
14 years 1 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
SEFM
2006
IEEE
14 years 2 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
EDOC
2008
IEEE
14 years 2 months ago
2008
IEEE
The cost of a telecom service development is correlated to the discontinuity and the complexity of the process. To solve this problem, we propose a method dedicated to telecom ser...
BMCBI
2008
13 years 8 months ago
2008
Background: The Structural Descriptor Database (SDDB) is a web-based tool that predicts the function of proteins and functional site positions based on the structural properties o...
BMCBI
2006
13 years 8 months ago
2006
Background: Existing biological databases support a variety of queries such as keyword or definition search. However, they do not provide any measure of relevance for the instance...