Sciweavers

7209 search results - page 337 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
INFORMATIKTAGE
2008
15 years 2 months ago
Context-Dependent and Self-Responsible Migration of Software Agents in Heterogeneous Environments
: Software agents are often employed in distributed environments to cope with the various dynamical dimensions of such systems. Furthermore, the paradigm of agent-oriented software...
Dirk Bade
95
Voted
VAMOS
2008
Springer
15 years 2 months ago
A Multiple Views Model for Variability Management in Software Product Lines
With current trends towards moving variability from hardware to software, and given the increasing desire to postpone design decisions as much as is economically feasible, managin...
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatri...
109
Voted
AC
2005
Springer
15 years 19 days ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
135
Voted
EUROMICRO
1996
IEEE
15 years 4 months ago
Experience of Adaptive Replication in Distributed File Systems
Replication is a key strategy for improving locality, fault tolerance and availability in distributed systems. The paper focuses on distributed file systems and presents a system ...
Giacomo Cabri, Antonio Corradi, Franco Zambonelli
79
Voted
ICSE
2007
IEEE-ACM
16 years 24 days ago
POLUS: A POwerful Live Updating System
This paper presents POLUS, a software maintenance tool capable of iteratively evolving running software into newer versions. POLUS's primary goal is to increase the dependabi...
Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, Pen-Chu...