Sciweavers

3045 search results - page 74 / 609
» Formal Approaches to Software Architecture
Sort
View
ISCC
2005
IEEE
119views Communications» more  ISCC 2005»
15 years 4 months ago
A Systematic Approach to Building High Performance Software-Based CRC Generators
—A framework for designing a family of novel fast CRC generation algorithms is presented. Our algorithms can ideally read arbitrarily large amounts of data at a time, while optim...
Michael E. Kounavis, Frank L. Berry
78
Voted
EUROPLOP
2006
15 years 9 days ago
Supporting the Selection of Design Patterns by Formal Definition and Considering Semantics
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
Klaus Meffert
92
Voted
EDOC
2007
IEEE
15 years 5 months ago
Structuring Software Cities A Multidimensional Approach
IT application landscapes alias software cities of large enterprises comprise tens or even hundreds of IT applications. Structuring software cities into domains is an important tas...
Andreas Hess, Bernhard Humm, Markus Voß, Gre...
ATAL
2003
Springer
15 years 4 months ago
A formal compositional model of multiagent interaction
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
Sea Ling, Seng Wai Loke
ICCBSS
2005
Springer
15 years 4 months ago
Resolving Architectural Mismatches of COTS Through Architectural Reconciliation
Abstract. The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through comp...
Paris Avgeriou, Nicolas Guelfi