Sciweavers

6836 search results - page 431 / 1368
» Modelling Web-Oriented Architectures
Sort
View
IJCAI
1993
15 years 8 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
CORR
2007
Springer
142views Education» more  CORR 2007»
15 years 6 months ago
Resource and Application Models for Advanced Grid Schedulers
: As Grid computing is becoming an inevitable future, managing, scheduling and monitoring dynamic, heterogeneous resources will present new challenges. Solutions will have to be ag...
Aleksandar Lazarevic, Lionel Sacks
KBS
2006
68views more  KBS 2006»
15 years 6 months ago
Role of acquaintance models in agent's private and semi-private knowledge disclosure
The organizational architecture of the multi-agent systems and the structure of social knowledge that the members of the community administer are critical factors for assuring suc...
Michal Pechoucek, Vladimír Marík, Ja...
LCTRTS
2010
Springer
16 years 1 months ago
Versatile system-level memory-aware platform description approach for embedded MPSoCs
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
Robert Pyka, Felipe Klein, Peter Marwedel, Stylian...
GI
2005
Springer
16 years 11 days ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl