Sciweavers

11374 search results - page 140 / 2275
» A System Demonstration of ST-TCP
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
Stakeholder Value Driven Threat Modeling for Off the Shelf Based Systems
er abstract summarizes the Threat Modeling method based on Attacking Path Analysis (T-MAP) which quantifies and prioritizes security threats by calculating the total severity weig...
Yue Chen
PERCOM
2006
ACM
16 years 6 months ago
SmartContacts: A Large Scale Social Context Service Discovery System
The proliferation of cell phones has led to an ever increasing number of inappropriate interruptions. SmartContacts provides a solution to this problem by empowering the caller to...
Yong Liu, Kay Connelly
SOSP
2005
ACM
16 years 3 months ago
Labels and event processes in the Asbestos operating system
ormation flow. A new event process abstraction defines lightweight, isolated contexts within a single process, allowing one process to act on behalf of multiple users while preve...
Petros Efstathopoulos, Maxwell N. Krohn, Steve Van...
SOFSEM
2009
Springer
16 years 3 months ago
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
Min Wan, Gianfranco Ciardo
ICPR
2010
IEEE
16 years 1 months ago
Integrating Object Detection with 3D Tracking towards a Better Driver Assistance System
Driver assistance helps save lives. Accurate 3D pose is required to establish if a traffic sign is relevant to the driver. We propose a real-time system that integrates single vi...
Victor Adrian Prisacariu, Radu Timofte, Karel Zimm...