575 search results - page 82 / 115 » A model for evaluating IT security investments |
136
click to vote
IFM
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
150
click to vote
TSE
2008
15 years 1 months ago
2008
Software defect prediction strives to improve software quality and testing efficiency by constructing predictive classification models from code attributes to enable a timely ident...
121
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
We address the learning of trust based on past observations and context information. We argue that from the truster's point of view trust is best expressed as one of several ...
107
click to vote
VIS
2007
IEEE
2007
IEEE
Contextualized Videos: Combining Videos with Environment Models to Support Situational Understanding
16 years 3 months ago
Multiple spatially-related videos are increasingly used in security, communication, and other applications. Since it can be difficult to understand the spatial relationships betwee...
119
click to vote
FMSD
2010
15 years 14 days ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...