1249 search results - page 227 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
ROBOCUP
2009
Springer
14 years 2 months ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
Website capacity determination is crucial to measurement-based access control, because it determines when to turn away excessive client requests to guarantee consistent service qu...
ICNP
2007
IEEE
14 years 2 months ago
2007
IEEE
— We treat the problem of large-scale TCP poisoning: an attacker, who is able to monitor TCP packet headers in the network, can deny service to all flows traversing the monitori...
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
NCA
2007
IEEE
14 years 1 months ago
2007
IEEE
Open distributed systems are typically composed by an unknown number of processes running in heterogeneous hosts. Their communication often requires tolerance to temporary disconn...