Sciweavers

5220 search results - page 718 / 1044
» Changing Persistent Applications
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...
165
Voted
CHI
2009
ACM
16 years 7 months ago
Wetpaint: scraping through multi-layered images
We introduce a technique for exploring multi-layered images by scraping arbitrary areas to determine meaningful relationships. Our system, called Wetpaint, uses perceptual depth c...
Hiroshi Ishii, Jürgen P. Schulze, Leonardo Bo...
CHI
2009
ACM
16 years 7 months ago
WattBot: a residential electricity monitoring and feedback system
Electricity production emits carbon dioxide and other gases into the atmosphere, adversely influences global climate change, depletes limited natural resources, and negatively imp...
Dane Petersen, Jay Steele, Joe Wilkerson
SIGCSE
2009
ACM
130views Education» more  SIGCSE 2009»
16 years 7 months ago
Introducing PyLighter: dynamic code highlighter
Like a screenplay, a program is both a static artifact and instructions for a dynamic performance. This duality can keep laypeople from appreciating the complexity of software sys...
Michael G. Boland, Curtis C. Cliburn
KDD
2009
ACM
166views Data Mining» more  KDD 2009»
16 years 7 months ago
Measuring the effects of preprocessing decisions and network forces in dynamic network analysis
Social networks have become a major focus of research in recent years, initially directed towards static networks but increasingly, towards dynamic ones. In this paper, we investi...
Jerry Scripps, Pang-Ning Tan, Abdol-Hossein Esfaha...