1097 search results - page 149 / 220 » Revision Programming = Logic Programming Integrity Constra... |
132
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
132
click to vote
NETWORKING
2004
15 years 4 months ago
2004
We consider a system with multiple interconnected video servers storing TV programs that are received through satellite antennas. Users, equipped with set-top boxes, submit request...
138
click to vote
POPL
1997
ACM
15 years 7 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
119
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
125
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...