Sciweavers

4835 search results - page 558 / 967
» Intelligent Selection Tools
Sort
View
INFSOF
2007
148views more  INFSOF 2007»
15 years 6 months ago
Mutating database queries
A set of mutation operators for SQL queries that retrieve information from a database is developed and tested against a set of queries drawn from the NIST SQL Conformance Test Sui...
Javier Tuya, María José Suáre...
JUCS
2007
74views more  JUCS 2007»
15 years 6 months ago
A WebQuest Framework to Improve the Study of Deadlock and Process Synchronization
: The impact of the Internet on Society also affects learning at University. Students use not only printed books and their own notes, but also the information available on the Net...
Luis Panizo, Ramón-Ángel Ferná...
CG
2002
Springer
15 years 6 months ago
A Small Go Board Study of Metric and Dimensional Evaluation Functions
The difficulty to write successful 19x19 go programs lies not only in the combinatorial complexity of go but also in the complexity of designing a good evaluation function containi...
Bruno Bouzy
ENTCS
2002
115views more  ENTCS 2002»
15 years 6 months ago
Component-Based Applications: A Dynamic Reconfiguration Approach with Fault Tolerance Support
This paper presents a mechanism for dynamic reconfiguration of component-based applications and its fault tolerance strategy. The mechanism, named generic connector, allows compos...
Thaís Vasconcelos Batista, Milano Gadelha C...
ENTCS
2007
123views more  ENTCS 2007»
15 years 6 months ago
Proving Termination of Context-Sensitive Rewriting with MU-TERM
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
Beatriz Alarcón, Raúl Gutiérr...