15792 search results - page 25 / 3159 » Computational Abstraction Steps |
EVOW
2006
Springer
13 years 11 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...
ICDE
2010
IEEE
13 years 8 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...
GBRPR
2009
Springer
13 years 5 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...
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
AI
2005
Springer
14 years 1 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...