3742 search results - page 388 / 749 » On the Use of Formal Techniques for Validation |
294
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
We study the problem of efficiently computing diverse query results in online shopping applications, where users specify queries through a form interface that allows a mix of stru...
160
click to vote
VAMOS
2007
Springer
16 years 27 days ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
183
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
178
click to vote
CIKM
2007
Springer
16 years 29 days ago
2007
Springer
The rapid growth of available data arises the need for more sophisticated techniques for semantic access to information. It has been proved that using conceptual model or ontology...
171
click to vote
SEMWEB
2007
Springer
16 years 27 days ago
2007
Springer
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear spe...