417 search results - page 82 / 84 » Product Configurations - An Application for Prototype Object... |
STOC
2010
ACM
14 years 22 days ago
2010
ACM
We propose a new framework for discussing computational complexity of problems involving uncountably many objects, such as real numbers, sets and functions, that can be represente...
SOSP
2009
ACM
14 years 4 months ago
2009
ACM
Bug reproduction is critically important for diagnosing a production-run failure. Unfortunately, reproducing a concurrency bug on multi-processors (e.g., multi-core) is challengin...
VIROLOGY
2010
13 years 6 months ago
2010
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—We propose a pervasive usage of the sensor network infrastructure as a cyber-physical system for navigating internal users in locations of potential danger. Our proposed applica...
ICLP
2011
Springer
12 years 11 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...