14331 search results - page 2582 / 2867 » On the modeling and analysis of obligations |
206
click to vote
ICECCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
186
click to vote
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, a fast and robust multi-view lip localization algorithm in video is proposed. We consider lip localization as a binary classification problem, where a classifier is...
210
Voted
ACSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
We map intrusion events to known exploits in the network attack graph, and correlate the events through the corresponding attack graph distances. From this, we construct attack sc...
154
click to vote
ACSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
201
click to vote
ACSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Wireless networking technologies based on the IEEE 802.11 series of standards fail to authenticate management frames and network card addresses and suffer from serious vulnerabili...