3742 search results - page 629 / 749 » On the Use of Formal Techniques for Validation |
207
click to vote
PVLDB
2010
15 years 4 months ago
2010
Supporting legacy applications when the database schema evolves represents a long-standing challenge of practical and theoretical importance. Recent work has produced algorithms a...
157
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Many applications, including provenance and some analyses of social networks, require path-based queries over graphstructured data. When these graphs contain sensitive information...
206
click to vote
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
346
click to vote
ICDE
2008
IEEE
17 years 6 months ago
2008
IEEE
The Web has the potential to become the world’s
largest knowledge base. In order to unleash this potential,
the wealth of information available on the Web needs to be
extracte...
157
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper we present a method for the tracking of fluid flows velocity fields. The technique we propose is formalized within sequential Bayesian filter framework. The filter w...