2813 search results - page 90 / 563 » Formalizing Architectural Connection |
123
click to vote
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
114
Voted
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
94
Voted
LREC
2008
15 years 4 months ago
2008
This paper introduces Saxon, a rule based document annotator that is capable of processing and annotating several document formats and media, both within and across documents. Fur...
133
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
137
Voted
E4MAS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A reference architecture integrates a set of architectural patterns that have proven their value for a family of applications. Such family of applications is characterize...