8083 search results - page 284 / 1617 » A Formalization of Software Architecture |
187
click to vote
AIME
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
180
click to vote
VIROLOGY
2008
15 years 6 months ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
193
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
180
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Enterprise Architecture (EA) has undergone many changes since the IT has found its way into enterprises. At the moment the Service-Oriented Architecture (SOA) is being hyped but ha...
144
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Traceability helps stakeholders to understand the relationships that exist between software artifacts created during a software development project. For example, the evolution of ...