Sciweavers

4107 search results - page 201 / 822
» The Generalized Lambda Test
Sort
View
QSIC
2005
IEEE
16 years 4 days ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
AADEBUG
2005
Springer
16 years 3 days ago
Lightweight bug localization with AMPLE
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and failing runs. A difference in method call sequences, such as multiple deallocation ...
Valentin Dallmeier, Christian Lindig, Andreas Zell...
ATAL
2005
Springer
16 years 3 days ago
Agent-oriented context-aware platforms supporting communities of practice in health care
This paper presents and discusses the use of an agent-oriented context-aware platform to support communities of practice (CoPs) in the health care domain. Our work is based on a s...
Luiz Olavo Bonino da Silva Santos, Renata S. S. Gu...
CALCO
2005
Springer
98views Mathematics» more  CALCO 2005»
16 years 3 days ago
The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...
Bartek Klin
GECCO
2005
Springer
152views Optimization» more  GECCO 2005»
16 years 2 days ago
Multi-level genetic algorithm (MLGA) for the construction of clock binary tree
The clock signal and clock skew become more and more important for the circuit performance. Since there are salient shortcomings in the conventional topology construction algorith...
Guofang Nan, Minqiang Li, Jisong Kou