Sciweavers

6581 search results - page 78 / 1317
» Formalizing Design Patterns
Sort
View
133
Voted
CIA
2000
Springer
15 years 7 months ago
Design of Collaborative Information Agents
Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at differe...
Catholijn M. Jonker, Matthias Klusch, Jan Treur
ISOLA
2004
Springer
15 years 8 months ago
Model Checker Aided Design of a Controller for a Wafer Scanner
Martijn Hendriks, Barend van den Nieuwelaar, Frits...
QSIC
2007
IEEE
15 years 9 months ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
115
Voted
DFT
2009
IEEE
189views VLSI» more  DFT 2009»
15 years 9 months ago
Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
Meng Zhang, Anita Lungu, Daniel J. Sorin
180
Voted
EHCI
2004
15 years 4 months ago
Bringing Usability Concerns to the Design of Software Architecture
Software architects have techniques to deal with many quality attributes such as performance, reliability, and maintainability. Usability, however, has traditionally been concerned...
Bonnie E. John, Len Bass, Maria Isabel Sánc...