Sciweavers

15644 search results - page 2642 / 3129
» Brittle System Analysis
Sort
View
ESORICS
2009
Springer
16 years 7 months ago
Model-Checking DoS Amplification for VoIP Session Initiation
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
Carl A. Gunter, José Meseguer, Musab AlTurk...
ESORICS
2009
Springer
16 years 7 months ago
ReFormat: Automatic Reverse Engineering of Encrypted Messages
Automatic protocol reverse engineering has recently received significant attention due to its importance to many security applications. However, previous methods are all limited in...
Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang,...
CHI
2009
ACM
16 years 7 months ago
Comparing usage of a large high-resolution display to single or dual desktop displays for daily work
With the ever increasing amount of digital information, users desire more screen real estate to process their daily computing work, and might well benefit from using a wallsize la...
Xiaojun Bi, Ravin Balakrishnan
CHI
2009
ACM
16 years 7 months ago
A vehicle for research: using street sweepers to explore the landscape of environmental community action
Researchers are developing mobile sensing platforms to facilitate public awareness of environmental conditions. However, turning such awareness into practical community action and...
Paul M. Aoki, R. J. Honicky, Alan M. Mainwaring, C...
CHI
2009
ACM
16 years 7 months ago
City browser: developing a conversational automotive HMI
This paper introduces City Browser, a prototype multimodal, conversational, spoken language interface for automotive navigational aid and information access. A study designed to e...
Alexander Gruenstein, Bruce Mehler, Bryan Reimer, ...
« Prev « First page 2642 / 3129 Last » Next »