Sciweavers

2218 search results - page 242 / 444
» Testing Expressibility Is Hard
Sort
View
139
Voted
FQAS
2004
Springer
122views Database» more  FQAS 2004»
15 years 6 months ago
Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
Davide Martinenghi
122
Voted
AICCSA
2001
IEEE
131views Hardware» more  AICCSA 2001»
15 years 6 months ago
Constraint-Based Timetabling-A Case Study
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
Abdulwahed M. Abbas, Edward P. K. Tsang
123
Voted
IDMS
2000
Springer
139views Multimedia» more  IDMS 2000»
15 years 6 months ago
Design and Implementation of a Framework for Monitoring Distributed Component Interactions
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
Nikolay K. Diakov, Harold J. Batteram, Hans Zandbe...
116
Voted
HICSS
1995
IEEE
93views Biometrics» more  HICSS 1995»
15 years 6 months ago
Generating optimization-based decision support systems
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
Arthur Geoffrion, Sergio Maturana
128
Voted
CEC
2008
IEEE
15 years 4 months ago
Automated solution selection in multi-objective optimisation
This paper proposes an approach to the solution of multi-objective optimisation problems that delivers a single, preferred solution. A conventional, population-based, multiobjectiv...
Andrew Lewis, David Ireland