Sciweavers

511 search results - page 81 / 103
» Finite System Composition and Interaction
Sort
View
BIRTHDAY
2005
Springer
15 years 9 months ago
Main Concepts of Networks of Transformation Units with Interlinking Semantics
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz R...
119
Voted
DSVIS
2005
Springer
15 years 9 months ago
Goal-Oriented Design of Domain Control Panels
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
Christophe Ponsard, Nadiya Balych, Philippe Masson...
SG
2005
Springer
15 years 8 months ago
Negotiating Gestalt: Artistic Expression by Coalition Formation Between Agents
We present a system using semi-autonomous agents to help artists express ideas. Agents control their representation on a canvas via interactions in agent space. They are given a se...
Kaye Mason, Jörg Denzinger, M. Sheelagh T. Ca...
118
Voted
GI
2009
Springer
15 years 8 months ago
A Game-Theoretic Model for Distributed Programming by Contract
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
Anders Starcke Henriksen, Tom Hvitved, Andrzej Fil...
ECOOP
1999
Springer
15 years 7 months ago
Type-Safe Delegation for Run-Time Component Adaptation
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
Günter Kniesel