10907 search results - page 2039 / 2182 » Constraint Based Strategies |
CAV
2007
Springer
15 years 4 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
CIKM
2007
Springer
15 years 4 months ago
2007
Springer
Queries issued by casual users or specialists exploring a data set often point us to important subsets of the data, be it clusters, outliers or other features of particular import...
CIKM
2007
Springer
15 years 4 months ago
2007
Springer
Recently, due to its wide applications, subgraph search has attracted a lot of attention from database and data mining community. Sub-graph search is defined as follows: given a ...
IWDW
2007
Springer
15 years 4 months ago
2007
Springer
Aiming at detecting secret information hidden in a given image using steganographic tools, steganalysis has been of interest since the end of 1990’s. In particular, universal ste...
113
click to vote
MIDDLEWARE
2007
Springer
15 years 4 months ago
2007
Springer
Research in context-aware computing has produced a number of application prototypes, frameworks, middlewares and models for describing context. However, development of ubiquitous ...