2610 search results - page 446 / 522 » codes 2007 |
127
Voted
OTM
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we introduce Web Objects in XML (WOX) as a web protocol for distributed objects, which uses HTTP as its transport protocol and XML as its format representation. It al...
130
Voted
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
114
Voted
PPAM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present an out-of-core sparse direct solver for unsymmetric linear systems. The solver factors the coefficient matrix A into A = PLU using Gaussian elimination with pa...
138
Voted
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
139
Voted
RAID
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...