Sciweavers

2704 search results - page 127 / 541
» Constraint Management in Engineering of Complex Information ...
Sort
View
POPL
2010
ACM
16 years 3 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
COR
2011
15 years 1 months ago
A Lagrangian heuristic for satellite range scheduling with resource constraints
The task of scheduling communications between satellites and ground control stations is getting more and more critical since an increasing number of satellites must be controlled ...
Fabrizio Marinelli, Salvatore Nocella, Fabrizio Ro...
IJCAI
1989
15 years 7 months ago
Reconstructive Explanation: Explanation as Complex Problem Solving
Existing explanation facilities are typically far more appropriate for knowledge engineers engaged in system maintenance than for endusers of the system. This is because the expla...
Michael R. Wick, William B. Thompson
HICSS
1998
IEEE
89views Biometrics» more  HICSS 1998»
15 years 10 months ago
Managing Cognitive Overload in the Flora of North America Project
The Flora of North America (FNA) is a large-scale collaboration involving over eight hundred scientists working together to create a 30-volume compendium of all naturally occurrin...
J. Alfredo Sánchez, John L. Schnase, Kay L....
SIGMOD
2010
ACM
250views Database» more  SIGMOD 2010»
15 years 11 months ago
Spreadsheet as a relational database engine
Spreadsheets are among the most commonly used applications for data management and analysis. Perhaps they are even among the most widely used computer applications of all kinds. H...
Jerzy Tyszkiewicz