Sciweavers

1711 search results - page 18 / 343
» Consistency management in Deno
Sort
View
IEEEARES
2008
IEEE
14 years 2 months ago
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACL management suffer some problems that need to be addressed in order to...
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Marti...
IPPS
2007
IEEE
14 years 2 months ago
Availability/Consistency Balancing Replication Model
Replication combined with explicit management of data integrity constraints can be used to enhance availability of object-oriented, data-centric distributed systems when node and ...
Johannes Osrael, Lorenz Froihofer, Karl M. Gö...
IPPS
2000
IEEE
14 years 3 days ago
Controlling Distributed Shared Memory Consistency from High Level Programming Languages
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
Yvon Jégou
FOIKS
2006
Springer
13 years 11 months ago
Consistency Checking Algorithms for Restricted UML Class Diagrams
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
Ken Kaneiwa, Ken Satoh
IROS
2006
IEEE
116views Robotics» more  IROS 2006»
14 years 1 months ago
Consistency of the EKF-SLAM Algorithm
— This paper presents an analysis of the extended Kalman filter formulation of simultaneous localisation and mapping (EKF-SLAM). We show that the algorithm produces very optimis...
Tim Bailey, Juan Nieto, José E. Guivant, Mi...