329
click to vote
COSIT
2011
Springer
14 years 7 months ago
2011
Springer
With the increasing success and commercial integration of Volunteered Geographic Information (VGI), the focus shifts away from coverage to data quality and homogeneity. Within the ...
263
click to vote
CONTEXT
2011
Springer
14 years 7 months ago
2011
Springer
Pervasive computing envisions implicit interaction between people and their intelligent environments instead of individual devices, inevitably leading to groups of individuals inte...
239
click to vote
CONCUR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
231
click to vote
CONCUR
2011
Springer
14 years 7 months ago
2011
Springer
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...