Sciweavers

3045 search results - page 267 / 609
» Formal Approaches to Software Architecture
Sort
View
COMPSAC
2002
IEEE
15 years 11 months ago
An Approach to Identify Duplicated Web Pages
A relevant consequence of the unceasing expansion of the Web and e-commerce is the growth of the demand of new Web sites and Web applications. The software industry is facing the ...
Giuseppe A. Di Lucca, Massimiliano Di Penta, Anna ...
PEPM
2010
ACM
15 years 8 months ago
A3PAT, an approach for certified automated termination proofs
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
Evelyne Contejean, Andrey Paskevich, Xavier Urbain...
CBSE
2004
Springer
16 years 1 days ago
Strategies for a Component-Based Self-adaptability Model in Peer-to-Peer Architectures
Abstract. Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of soph...
Sascha Alda, Armin B. Cremers
MKWI
2008
171views Business» more  MKWI 2008»
15 years 8 months ago
Documenting Service-Oriented Architectures with Ontobrowse Semantic Wiki
: Documenting and maintaining an enterprise-wide service-oriented architecture (SOA) causes a substantial management effort which should be addressed by intelligent, scalable solut...
Hans-Jörg Happel, Stefan Seedorf
160
Voted
KBSE
2008
IEEE
16 years 1 months ago
Composition of Qualitative Adaptation Policies
In a highly dynamic environment, software systems requires a capacity of self-adaptation to fit the environment and the user needs evolution, which increases the software archite...
Franck Chauvel, Olivier Barais, Isabelle Borne, Je...