1221 search results - page 24 / 245 » A Comparison of Two Programming Models for Pervasive Computi... |
110
click to vote
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
180
click to vote
SCVMA
2004
Springer
15 years 7 months ago
2004
Springer
3D-model-based tracking offers one possibility to explicate the manner in which spatial coherence can be exploited for the analysis of image sequences. Two seemingly different ap...
118
click to vote
AVI
2006
15 years 3 months ago
2006
Since several years, ubiquitous computing and pervasive computing has emerged and, in particular, context-aware computing. Using mobile devices, the context is perpetually evolvin...
IAT
2008
IEEE
15 years 8 months ago
2008
IEEE
Within Criminology, the process of crime displacement is usually explained by referring to the interaction of three types of agents: criminals, passersby, and guardians. Most exis...
133
click to vote
SPIN
2010
Springer
15 years 8 days ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...