Sciweavers

2752 search results - page 179 / 551
» Rounding to an Integral Program
Sort
View
PODS
1997
ACM
149views Database» more  PODS 1997»
14 years 2 months ago
Answering Recursive Queries Using Views
We consider the problem of answering datalog queries using materialized views. The ability to answer queries using views is crucial in the context of information integration. Prev...
Oliver M. Duschka, Michael R. Genesereth
ITS
1992
Springer
124views Multimedia» more  ITS 1992»
14 years 2 months ago
Knowledge Base Compilation and the Language Design Game
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...
Warren Sack
WSC
2008
14 years 15 days ago
PLCStudio: Simulation based PLC code verification
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jonggeu...
CCS
2009
ACM
14 years 5 months ago
Ripley: automatically securing web 2.0 applications through replicated execution
Rich Internet applications are becoming increasingly distributed, as demonstrated by the popularity of AJAX or Web 2.0 applications such as Facebook, Google Maps, Hotmail and many...
K. Vikram, Abhishek Prateek, V. Benjamin Livshits
HIKM
2006
ACM
14 years 4 months ago
A flexible approach for electronic medical records exchange
Many methodologies have been proposed in the last decade for integration and exchange of medical data. However, little progress has occurred due to the following reasons. First, p...
Vagelis Hristidis, Peter J. Clarke, Nagarajan Prab...