4037 search results - page 407 / 808 » Routing without ordering |
102
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
146
Voted
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
Data exchange between embedded systems and other small or large computing devices increases. Since data in different data sources may refer to the same real world objects, data ca...
129
Voted
ECML
2004
Springer
15 years 7 months ago
2004
Springer
Maintaining compact and competent case bases has become a main topic of Case Based Reasoning (CBR) research. The main goal is to obtain a compact case base (with a reduced number o...
131
Voted
COLT
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The present paper introduces a new model for teaching randomized learners. Our new model, though based on the classical teaching dimension model, allows to study the infl...
131
Voted
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
We propose a logic for specifying security policies at a very el of abstraction. The logic accommodates the subjective nature of affirmations for authorization and knowledge withou...