Sciweavers

859 search results - page 55 / 172
» Behaviour Analysis of Distributed Systems Using the Tracta A...
Sort
View
FORMATS
2007
Springer
14 years 2 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
ICIW
2007
IEEE
14 years 4 months ago
Towards Semantically-Enhanced Distributed Service Discovery
—In this paper, we present a new approach for service discovery combining semantic web and peer-to-peer techniques. A reference ontology is used to describe and discover services...
Raphael Romeikat, Bernhard Bauer
ECWEB
2004
Springer
177views ECommerce» more  ECWEB 2004»
14 years 3 months ago
Analysis of Mobile Business Processes for the Design of Mobile Information Systems
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
André Köhler, Volker Gruhn
ECOOPW
1999
Springer
14 years 2 months ago
Tool Support for Refactoring Duplicated OO Code
Code duplication is an important problem in application maintenance. Tools exist that support code duplication detection. However, few of them propose a solution for the problem, ...
Matthias Rieger, Stéphane Ducasse, Georges ...
AOSE
2001
Springer
14 years 2 months ago
Towards an ADL for Designing Agent-Based Systems
In this paper, we describe the Architecture Description Language (ADL) that we are defining for the design of agentbased systems. This aims at filing the gap between the analysis ...
Marie-Pierre Gervais, Florin Muscutariu