1636 search results - page 312 / 328 » Type-Theoretic Functional Semantics |
INFOCOM
2008
IEEE
15 years 4 months 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...
113
click to vote
OOPSLA
2007
Springer
15 years 4 months 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...
PEPM
2007
ACM
15 years 3 months 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...
VLDB
2007
ACM
15 years 3 months 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...
ASPLOS
2006
ACM
15 years 3 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...