Sciweavers

6650 search results - page 362 / 1330
» models 2009
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...
SIGCSE
2009
ACM
144views Education» more  SIGCSE 2009»
16 years 7 months ago
A model academic ethics and integrity policy for computer science departments
For decades, US universities and colleges have had policies pertaining to the conduct of their students at the institutional level. These policies are referred to as Academic Inte...
Charles Riedesel, Eric D. Manley, Susan Poser, Jit...
IUI
2009
ACM
16 years 3 months ago
An interface for targeted collection of common sense knowledge using a mixture model
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
Robert Speer, Jayant Krishnamurthy, Catherine Hava...
ACSAC
2009
IEEE
16 years 1 months ago
Modeling Modern Network Attacks and Countermeasures Using Attack Graphs
Abstract—By accurately measuring risk for enterprise networks, attack graphs allow network defenders to understand the most critical threats and select the most effective counter...
Kyle Ingols, Matthew Chu, Richard Lippmann, Seth E...
HICSS
2009
IEEE
101views Biometrics» more  HICSS 2009»
16 years 1 months ago
A Cost-Based Model for Improving Customer Waiting Times
The effective management of a service organization requires measuring system performance on many attributes. Customer waiting time is inherent to nearly all service operations and...
Alfred L. Guiffrida, Michael J. Messina