Sciweavers

8496 search results - page 1355 / 1700
» Problem Solving and Complex Systems
Sort
View
SERVICES
2008
77views more  SERVICES 2008»
15 years 8 months ago
Dynamic Service Substitution in Service-Oriented Architectures
The problem we deal with in this paper is the dynamic substitution of stateful services that become unavailable during the execution of service orchestrations. Previous research e...
Manel Fredj, Nikolaos Georgantas, Valérie I...
DEBU
2006
166views more  DEBU 2006»
15 years 6 months ago
Oracle's Self-Tuning Architecture and Solutions
Performance tuning in modern database systems requires a lot of expertise, is very time consuming and often misdirected. Tuning attempts often lack a methodology that has a holist...
Benoît Dageville, Karl Dias
ENTCS
2006
113views more  ENTCS 2006»
15 years 6 months ago
Mining Propositional Simplification Proofs for Small Validating Clauses
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
Ian Wehrman, Aaron Stump
AIEDU
2005
89views more  AIEDU 2005»
15 years 6 months ago
An Evaluation of a Hybrid Language Understanding Approach for Robust Selection of Tutoring Goals
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
Carolyn Penstein Rosé, Kurt VanLehn
CONCURRENCY
2004
77views more  CONCURRENCY 2004»
15 years 6 months ago
Grids of agents for computer and telecommunication network management
The centralized system approach for computer and telecommunication network management has been presenting scalability problems along with the growth in the number and diversity of...
Marcos Dias de Assunção, Fernando Lu...
« Prev « First page 1355 / 1700 Last » Next »