Sciweavers

623 search results - page 12 / 125
» An Algebraic Approach for Managing Inconsistencies in Softwa...
Sort
View
IJAOSE
2008
120views more  IJAOSE 2008»
13 years 7 months ago
An architecture for exception management in multiagent systems
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
DKE
2008
158views more  DKE 2008»
13 years 7 months ago
Integration and verification of semantic constraints in adaptive process management systems
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
Linh Thao Ly, Stefanie Rinderle, Peter Dadam
ISPW
2011
IEEE
12 years 11 months ago
Analyzing software process models with AVISPA
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
Julio Ariel Hurtado Alegria, María Cecilia ...
WWW
2005
ACM
14 years 8 months ago
A framework for handling dependencies among web services transactions
This paper proposes an effective Web services (WS) transaction management framework to automatically manage inconsistencies occurred by relaxing isolation of WS transactions. Cate...
Seunglak Choi, Jungsook Kim, Hyukjae Jang, Su Myeo...
ROBOCUP
2005
Springer
85views Robotics» more  ROBOCUP 2005»
14 years 26 days ago
Lightweight Management - Taming the RoboCup Development Process
RoboCup projects can face a lack of progress and continuity. The teams change continuously and knowledge gets lost. The approach used in previous years is no longer valid due to ru...
Tijn van der Zant, Paul-Gerhard Plöger