15792 search results - page 25 / 3159 » Computational Abstraction Steps |
126
click to vote
EVOW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Nature inspired routing protocols for fixed and mobile networks are becoming an active area of research. However, analyzing their security threats and countering them hav...
111
click to vote
ICDE
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Two major forms of information integration, federation and materialization, continue to dominate the market, embedded in separate products, each with their strengths and...
139
Voted
GBRPR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Combinatorial maps define a general framework which allows to encode any subdivision of an nD orientable quasi-manifold with or without boundaries. Combinatorial pyramids...
107
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
131
Voted
AI
2005
Springer
15 years 9 months ago
2005
Springer
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...