27692 search results - page 5411 / 5539 » Where is ... |
118
Voted
SENSYS
2010
ACM
15 years 15 days ago
2010
ACM
We present AutoWitness, a system to deter, detect, and track personal property theft, improve historically dismal stolen property recovery rates, and disrupt stolen property distr...
148
click to vote
SOCA
2010
IEEE
15 years 14 days ago
2010
IEEE
The triangular operational model with the three roles of service-registry, -provider, and -consumer has been the traditional operational model in Service-oriented Architectures (SO...
116
click to vote
SOCIALCOM
2010
15 years 14 days ago
2010
In recent years, several researchers have proposed techniques for providing users with assistance in understanding and overcoming authorization denials. The incorporation of envir...
169
Voted
SOFTVIS
2010
ACM
15 years 14 days ago
2010
ACM
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...
148
click to vote
TACAS
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...