Sciweavers

1395 search results - page 137 / 279
» Incremental Construction Approach for Distributed System Spe...
Sort
View
AAAI
2010
14 years 11 months ago
Coalition Structure Generation based on Distributed Constraint Optimization
Forming effective coalitions is a major research challenge in AI and multi-agent systems (MAS). Coalition Structure Generation (CSG) involves partitioning a set of agents into coa...
Suguru Ueda, Atsushi Iwasaki, Makoto Yokoo, Marius...
HICSS
2005
IEEE
164views Biometrics» more  HICSS 2005»
15 years 3 months ago
Knowledge Creation and Integration: Creative Space and Creative Environments
This paper presents first a review of recent advancements in the theory of knowledge creation, starting with Shinayakana Systems Approach of Sawaragi and Nakamori and The Knowledg...
Andrzej P. Wierzbicki, Yoshiteru Nakamori
WAC
2005
Springer
135views Communications» more  WAC 2005»
15 years 3 months ago
Context-Driven Self-configuration of Mobile Ad Hoc Networks
We present the design and implementation of a working prototype system that enables self-configuration in mobile ad hoc networks (MANETs) by exploiting context awareness and cross-...
Apostolos Malatras, George Pavlou
DAIS
2008
14 years 11 months ago
A Comprehensive Context Modeling Framework for Pervasive Computing Systems
Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, o...
Roland Reichle, Michael Wagner, Mohammad Ullah Kha...
UML
2005
Springer
15 years 3 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...