7103 search results - page 698 / 1421 » Program Generation and Components |
191
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
227
click to vote
ESOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
257
click to vote
KRDB
1997
15 years 8 months ago
1997
A data warehouse is a redundant collection of data replicated from several possibly distributed and loosely coupled source databases, organized to answer OLAP queries. Relational ...
203
click to vote
AAAI
1996
15 years 8 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
196
click to vote
SIGMOD
2011
ACM
14 years 10 months ago
2011
ACM
The widespread adoption of the Resource Description Framework (RDF) for the representation of both open web and enterprise data is the driving force behind the increasing research...