Sciweavers

432 search results - page 60 / 87
» A Formal Reuse-Based Approach for Interactively Designing Or...
Sort
View
DALT
2009
Springer
14 years 2 months ago
Correctness Properties for Multiagent Systems
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...
Munindar P. Singh, Amit K. Chopra
ICAC
2008
IEEE
14 years 2 months ago
Digital Evolution of Behavioral Models for Autonomic Systems
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
Heather Goldsby, Betty H. C. Cheng, Philip K. McKi...
PR
2007
142views more  PR 2007»
13 years 7 months ago
Visual guided navigation for image retrieval
In this work, we are interested in technologies that will allow users to actively browse and navigate large image databases and to retrieve images through interactive fast browsin...
Guoping Qiu, Jeremy Morris, Xunli Fan
DAGSTUHL
2006
13 years 9 months ago
AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects
Abstract. AMFIBIA is a meta-model that formalizes the essential aspects and concepts of business process modelling. Though AMFIBIA is not the first approach to formalizing the aspe...
Ekkart Kindler, Björn Axenath, Vladimir Rubin
CCGRID
2004
IEEE
13 years 11 months ago
QoS support for high-performance scientific Grid applications
The Grid approach provides the ability to access and use distributed resources as part of virtual organizations. The emerging Grid infrastructure gives rise to a class of scientif...
Rashid J. Al-Ali, Gregor von Laszewski, Kaizar Ami...