1636 search results - page 312 / 328 » Type-Theoretic Functional Semantics |
157
click to vote
INFOCOM
2008
IEEE
16 years 9 days ago
2008
IEEE
—A firewall is a security guard placed between a private network and the outside Internet that monitors all incoming and outgoing packets. The function of a firewall is to exam...
223
click to vote
OOPSLA
2007
Springer
16 years 23 hour ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
159
click to vote
PEPM
2007
ACM
16 years 13 hour ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
186
click to vote
VLDB
2007
ACM
16 years 5 hour ago
2007
ACM
This paper describes Continuous Queries (CQ) in Oracle RDBMS, a feature that incorporates stream and complex event processing into an RDBMS, the first such attempt in commercial d...
178
click to vote
ASPLOS
2006
ACM
15 years 12 months ago
2006
ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...