Sciweavers

4998 search results - page 766 / 1000
» The case for intentional networking
Sort
View
AGILE
2008
Springer
162views GIS» more  AGILE 2008»
14 years 3 months ago
Grouping of Optimized Pedestrian Routes for Multi-Modal Route Planning: A Comparison of Two Cities
The purpose of multi-modal route planners is to provide the user with the optimal route between trip start and destination, where the route may utilize several transportation modes...
Hartwig H. Hochmair
CSFW
2007
IEEE
14 years 3 months ago
Reasoning about Concurrency for Security Tunnels
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
Alwyn Goodloe, Carl A. Gunter
DSN
2007
IEEE
14 years 3 months ago
Multiprocessors May Reduce System Dependability under File-Based Race Condition Attacks
Attacks exploiting race conditions have been considered rare and “low risk”. However, the increasing popularity of multiprocessors has changed this situation: instead of waiti...
Jinpeng Wei, Calton Pu
DSN
2007
IEEE
14 years 3 months ago
Architecture-Level Soft Error Analysis: Examining the Limits of Common Assumptions
This paper concerns the validity of a widely used method for estimating the architecture-level mean time to failure (MTTF) due to soft errors. The method first calculates the fai...
Xiaodong Li, Sarita V. Adve, Pradip Bose, Jude A. ...
ICAC
2007
IEEE
14 years 3 months ago
Autonomic Reactive Systems via Online Learning
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
Sanjit A. Seshia