1499 search results - page 259 / 300 » A Software Architectural Approach to Security by Design |
147
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
147
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— As the geometries of the transistors reach the physical limits of operation, one of the main design challenges of Systems-on-Chips (SoCs) will be to provide dynamic (run-time) ...
181
click to vote
ICECCS
2009
IEEE
16 years 25 days ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
141
click to vote
UIST
2005
ACM
15 years 11 months ago
2005
ACM
Twenty years after the general adoption of overlapping windows and the desktop metaphor, modern window systems differ mainly in minor details such as window decorations or mouse a...
139
click to vote
EUMAS
2006
15 years 7 months ago
2006
Fault tolerance is an important property of large-scale multiagent systems as the failure rate grows with both the number of the hosts and deployed agents, and the duration of com...