Sciweavers

38 search results - page 3 / 8
» Reflections on aspects and configurable protocols
Sort
View
UML
2001
Springer
13 years 10 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France
DEXAW
1998
IEEE
92views Database» more  DEXAW 1998»
13 years 9 months ago
Self-Configuring Components for Client-/Server-Applications
A mechanistic view of software component assembly implies exact matching and fitting of the particular components. We argue that components for large-scale software construction s...
Wolfgang Pree, Egbert Althammer, Hermann Sikora
COMCOM
2006
96views more  COMCOM 2006»
13 years 5 months ago
Design and implementation of a dynamic protocol framework
-- Future distributed applications are expected to be deployed in an environment that is more dynamic and heterogeneous than ever before. The environment features are difficult to ...
Liming An, Hung Keng Pung, Lifeng Zhou
CCR
2004
151views more  CCR 2004»
13 years 5 months ago
Practical verification techniques for wide-area routing
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
Nick Feamster
AAMAS
2005
Springer
13 years 5 months ago
Modular Representation of Agent Interaction Rules through Argumentation
Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics of the indi...
Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis