Sciweavers

5599 search results - page 106 / 1120
» Abstract State Services
Sort
View
120
Voted
INFOCOM
2000
IEEE
15 years 8 months ago
On the Aggregatability of Multicast Forwarding State
Abstract— It has been claimed that multicast state cannot be aggregated. In this paper, we will debunk this myth and present a simple technique that can be used to aggregate mult...
David Thaler, Mark Handley
121
Voted
ICRA
2010
IEEE
122views Robotics» more  ICRA 2010»
15 years 2 months ago
Probabilistic collision state checker for crowded environments
Abstract— For path planning algorithms of robots it is important that the robot does not reach a state of inevitable collision. In crowded environments with many humans or robots...
Daniel Althoff, Matthias Althoff, Dirk Wollherr, M...
126
Voted
CSMR
2010
IEEE
14 years 10 months ago
Under and Over Approximation of State Models Recovered for Ajax Applications
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
136
Voted
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
15 years 9 months ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
127
Voted
ACNS
2006
Springer
90views Cryptology» more  ACNS 2006»
15 years 9 months ago
Stateful Subset Cover
Abstract. This paper describes a method to convert stateless key revocation schemes based on the subset cover principle into stateful schemes. The main motivation is to reduce the ...
Mattias Johansson, Gunnar Kreitz, Fredrik Lindholm