4595 search results - page 674 / 919 » Reasoning about Plans |
ASUNAM
2009
IEEE
13 years 8 months ago
2009
IEEE
With hundreds of millions of users already today, virtual worlds will become an important factor in tomorrow's media landscape. In a virtual world, users are represented by s...
ACSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
We present a quantitative lower bound on the number of vulnerable embedded device on a global scale. Over the past year, we have systematically scanned large portions of the inter...
EDBT
2011
ACM
13 years 1 months ago
2011
ACM
A question that database administrators (DBAs) routinely need to answer is how long a batch query workload will take to complete. This question arises, for example, while planning...
IHI
2012
12 years 6 months ago
2012
Translational bioinformatics increasingly involves the discovery of associations between molecular and phenotype information, with the goal of transforming those discoveries into ...
SIGSOFT
2012
ACM
12 years 6 months ago
2012
ACM
The RESER workshop provides a venue in which empirical software engineering researchers can discuss the theoretical foundations and methods of replication, as well as present the ...