Sciweavers

3193 search results - page 159 / 639
» A Security Risk Analysis Model for Information Systems
Sort
View
DAGM
2009
Springer
15 years 4 months ago
Shadow Detection in Dynamic Scenes Using Dense Stereo Information and an Outdoor Illumination Model
Abstract. We present a system for detecting shadows in dynamic outdoor scenes. The technique is based on fusing background subtraction operations performed on both color and dispar...
Claus B. Madsen, Thomas B. Moeslund, Amit Pal, Sha...
202
Voted
SOSP
2009
ACM
16 years 3 months ago
Fabric: a platform for secure distributed computation and storage
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
Jed Liu, Michael D. George, K. Vikram, Xin Qi, Luc...
227
Voted
IEEEARES
2007
IEEE
16 years 1 months ago
Event-Based Monitoring of Open Source Software Projects
Project management traditionally has a strong focus on human reporting that fits well a tightly coupled form of organization to ensure the quality of project reporting. For loosel...
Dindin Wahyudin, A. Min Tjoa
ICDCS
2005
IEEE
16 years 19 days ago
Equational Approach to Formal Analysis of TLS
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
Kazuhiro Ogata, Kokichi Futatsugi
ISTAR
2008
15 years 8 months ago
Improving the Syntax and Semantics of Goal Modelling Languages
One major obstacle to requirements engineering (RE) is the growing complexity of today's systems. Such a complexity can only be fficiently by powerful abstraction mechanisms a...
Raimundas Matulevicius