2470 search results - page 187 / 494 » Liveness-Preserving Simulation Relations |
160
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
The Border Gateway Protocol (BGP) is the de facto interdomain routing protocol on the Internet. While the serious vulnerabilities of BGP are well known, no security solution has b...
136
click to vote
ECCV
2006
Springer
15 years 8 months ago
2006
Springer
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...
146
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
122
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
In this study, we investigate self-organizing social hierarchies in multi-agent systems. Agents occupy the nodes of a smallworld network and interact exclusively with other agents...
166
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
The purpose of this paper is to provide a broad overview of the WITAS Unmanned Aerial Vehicle Project. The WITAS UAV project is an ambitious, long-term basic research project with ...