Sciweavers

762 search results - page 91 / 153
» How to realize
Sort
View
COMPSAC
2002
IEEE
15 years 9 months ago
Control-Driven Coordination Based Assembling of Components
The coordination paradigm has been used extensively as a mechanism for software composition and integration. Consequently, a number of associated models and languages have been pr...
Avraam Chimaris, George A. Papadopoulos
CISIS
2009
IEEE
15 years 8 months ago
P2P-Based Avatar Interaction in Massive Multiuser Virtual Environments
The idea of the 3D Web as a global scale Distributed Virtual Environment (DVE) currently is very popular and a lot of research work is done in this field. In the course of the Hy...
Markus Esch, Jean Botev, Hermann Schloss, Ingo Sch...
E4MAS
2006
Springer
15 years 7 months ago
Establishing Global Properties of Multi-Agent Systems Via Local Laws
Abstract. This paper is part of a long term research program on multiagent systems (MASs), based on the proposition that the interactions among the members of a large and heterogen...
Wenxuan Zhang, Constantin Serban, Naftaly H. Minsk...
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
15 years 10 months ago
Game Theoretical Analysis of Cooperative Sourcing Scenarios
As an emerging trend in outsourcing, cooperative sourcing is the merging of similar processes of several firms when, for example, several banks merge their payments processing and...
Daniel Beimborn, Hermann-Josef Lamberti, Tim Weitz...
TSE
2010
125views more  TSE 2010»
15 years 2 months ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin