3104 search results - page 105 / 621 » Using quantitative analysis to implement autonomic IT system... |
117
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
137
click to vote
NCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
128
click to vote
IMR
2005
Springer
15 years 9 months ago
2005
Springer
Today, finite element technologies allow engineers to analyze complex assemblies and subsystems. With CPU power constantly increasing, it is not unreasonable to state that the eng...
124
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
– The Mars Exploration Rover (MER) Descent Image Motion Estimation System (DIMES) is the first autonomous machine vision system used to safely land a robotics payload on another ...
142
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...