Sciweavers

5477 search results - page 681 / 1096
» Contexts, Domains, and Software
Sort
View
FSEN
2007
Springer
16 years 1 months ago
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
Mahdi Niamanesh, Rasool Jalili
MTSR
2007
Springer
16 years 1 months ago
Towards a Definition of Digital Information Preservation Object
In this paper, we discuss long-term digital preservation from an information perspective, rather than the predominant approaches; the Archival and the Technocratic Approach. Inform...
Hugo Quisbert, Margarita Korenkova, Ann Häger...
SOCO
2007
Springer
16 years 1 months ago
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
Mario Bravetti, Gianluigi Zavattaro
191
Voted
CCECE
2006
IEEE
16 years 1 months ago
Security Design Patterns: Survey and Evaluation
Security design patterns have been proposed recently as a tool for the improvement of software security during the architecture and design phases. Since the apperance of this rese...
Marc-André Laverdière, Azzam Mourad,...
ECBS
2006
IEEE
115views Hardware» more  ECBS 2006»
16 years 1 months ago
Supporting Design Patterns with Annotations
Design patterns are an established means for building evolvable and maintainable object-oriented software. However, using them requires the developer’s extensive experience. A w...
Klaus Meffert