Sciweavers

1894 search results - page 202 / 379
» A service-oriented approach for integrating multiagent syste...
Sort
View
QSIC
2005
IEEE
16 years 4 days ago
Systematic Incremental Development of Agent Systems, using Prometheus
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
Mikhail Perepletchikov, Lin Padgham
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
16 years 1 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...
FORMATS
2007
Springer
15 years 10 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
BTW
1997
Springer
112views Database» more  BTW 1997»
15 years 10 months ago
Database Application Programming with Versioned Complex Objects
Database systems as basis for CAD frameworks have to provide data management as well as transaction management facilities meeting the requirements of design applications. One of t...
Udo Nink, Norbert Ritter
IASTEDSE
2004
15 years 8 months ago
Towards a model-based and incremental development process for service-based systems
In this paper we introduce the concept of service-based modeling and integrate the modeling techniques into existing development processes. We focus on services in the different p...
Martin Deubler, Johannes Grünbauer, Chris Sal...