Sciweavers

139 search results - page 7 / 28
» Object-Oriented System Development: Will the New Approach So...
Sort
View
FLAIRS
2004
13 years 9 months ago
Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems
The distributed constraint satisfaction problem (CSP) is a general formalization used to represent problems in distributed multi-agent systems. To deal with realistic problems, mu...
Lingzhong Zhou, John Thornton, Abdul Sattar
GAMEON
2001
13 years 9 months ago
Stratego Expert System Shell
The field of multi-agent systems is an active area of research. One of the possible applications of a multi-agent system is the use of distributed techniques for problem solving. ...
Caspar Treijtel, Léon J. M. Rothkrantz
LPAR
2004
Springer
14 years 1 months ago
The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
Jürgen Giesl, René Thiemann, Peter Sch...
KBSE
2002
IEEE
14 years 1 months ago
Adapting Applications on the Fly
Traditionally, an application has to be stopped to be adapted. This approach is not suitable for critical systems that have to be non-stop and highly available like bank, internet...
Abdelmadjid Ketfi, Noureddine Belkhatir, Pierre-Yv...
EDOC
2008
IEEE
14 years 2 months ago
EA4UP: An Enterprise Architecture-Assisted Telecom Service Development Method
The cost of a telecom service development is correlated to the discontinuity and the complexity of the process. To solve this problem, we propose a method dedicated to telecom ser...
Jacques Simonin, Francis Alizon, Jean-Pierre Desch...