Sciweavers

2530 search results - page 208 / 506
» Dynamic topological logic
Sort
View
ECBS
2008
IEEE
86views Hardware» more  ECBS 2008»
15 years 10 months ago
A Formal Model for Network-Wide Security Analysis
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
Petr Matousek, Jaroslav Ráb, Ondrej Rysavy,...
HYBRID
2010
Springer
15 years 9 months ago
Distributed Kalman Filter algorithms for self-localization of mobile devices
This paper addresses the problem of self localization of mobile devices. In particular, each device combines noisy measurements of its absolute position with distance measurements...
Anne-Kathrin Hess, Anders Rantzer
149
Voted
VMV
2004
118views Visualization» more  VMV 2004»
15 years 5 months ago
Contact Handling for Deformable Point-Based Objects
This paper presents an approach to collision detection and response for dynamically deforming pointbased objects. Both the volume of an object and its surface are represented by p...
Richard Keiser, Matthias Müller, Bruno Heidel...
143
Voted
EUROSYS
2007
ACM
15 years 8 months ago
Dynamic updates: another middleware service?
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
Susanne Cech Previtali
AAAI
2000
15 years 5 months ago
Dynamic Ontologies on the Web
We discuss the problems associated with managing ontologies in distributed environments such as the Web. The Web poses unique problems for the use of ontologies because of the rap...
Jeff Heflin, James A. Hendler