Sciweavers

118 search results - page 14 / 24
» From Theory to Practice in Multiagent System Design: The Cas...
Sort
View
ATAL
2006
Springer
14 years 11 days ago
Integrating agent-oriented methodologies with UML-AT
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
EMSOFT
2004
Springer
14 years 2 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ECIS
2000
13 years 10 months ago
Challenging the Installed Base: Deploying a Large-Scale IS in a Global Organization
: Economic theory and business strategists have pointed at the phenomenon of positive externalities and the related enabling and constraining aspects of an installed base. For inst...
Knut H. Rolland
3DPVT
2006
IEEE
197views Visualization» more  3DPVT 2006»
13 years 10 months ago
Structured Light Based Reconstruction under Local Spatial Coherence Assumption
3D scanning techniques based on structured light usually achieve robustness against outliers by performing multiple projections to simplify correspondence. However, for cases such...
Hao Li, Raphael Straub, Hartmut Prautzsch
AGTIVE
2003
Springer
14 years 1 months ago
Specifying Pointer Structures by Graph Reduction
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
Adam Bakewell, Detlef Plump, Colin Runciman