6581 search results - page 173 / 1317 » Formalizing Design Patterns |
139
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
127
click to vote
WETICE
2005
IEEE
15 years 9 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
118
click to vote
FOSAD
2005
Springer
15 years 9 months ago
2005
Springer
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
117
click to vote
DNA
2004
Springer
15 years 8 months ago
2004
Springer
The problem of negative design of DNA languages is addressed, that is, properties and construction methods of large sets of words that prevent undesired bonds when used in DNA com...
113
Voted
CCS
2003
ACM
15 years 8 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...