1221 search results - page 46 / 245 » A Comparison of Two Programming Models for Pervasive Computi... |
108
click to vote
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
146
click to vote
ECSQARU
2005
Springer
15 years 7 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
113
click to vote
TVCG
2011
14 years 9 months ago
2011
—Metro maps are schematic diagrams of public transport networks that serve as visual aids for route planning and navigation tasks. It is a challenging problem in network visualiz...
105
click to vote
VLSID
2004
IEEE
16 years 2 months ago
2004
IEEE
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
100
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In concrete environments, where uncertainty and dynamism are pervasive and time and resources are limited, reasoning and decision-making processes raise important problem...