Sciweavers

5085 search results - page 443 / 1017
» Multidimensional Design by Examples
Sort
View
ESORICS
2004
Springer
16 years 29 days ago
Redundancy and Diversity in Security
Redundancy and diversity are commonly applied principles for fault tolerance against accidental faults. Their use in security, which is attracting increasing interest, is less gene...
Bev Littlewood, Lorenzo Strigini
PARA
2004
Springer
16 years 28 days ago
An OGSA-Based Bank Service for Grid Accounting Systems
This contribution presents the design and implementation of a bank service, constituting a key component in a recently developed Grid accounting system solution. The Grid accountin...
Erik Elmroth, Peter Gardfjäll, Olle Mulmo, Th...
SAFECOMP
2004
Springer
16 years 28 days ago
How Explicit Are the Barriers to Failure in Safety Arguments?
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
Shamus P. Smith, Michael D. Harrison, Bastiaan A. ...
DATE
2003
IEEE
82views Hardware» more  DATE 2003»
16 years 26 days ago
A Circuit SAT Solver With Signal Correlation Guided Learning
— Boolean Satistifiability has attracted tremendous research effort in recent years, resulting in the developments of various efficient SAT solver packages. Based upon their de...
Feng Lu, Li-C. Wang, Kwang-Ting Cheng, Ric C.-Y. H...
EDOC
2003
IEEE
16 years 26 days ago
An Approach to Relate Viewpoints and Modeling Languages
The architectural design of distributed enterprise applications from the viewpoints of different stakeholders has been proposed for some time, for example, as part of RM-ODP and I...
Remco M. Dijkman, Dick A. C. Quartel, Luís ...