2610 search results - page 446 / 522 » codes 2007 |
166
click to vote
OTM
2007
Springer
16 years 12 days 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...
159
click to vote
PEPM
2007
ACM
16 years 12 days 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...
154
click to vote
PPAM
2007
Springer
16 years 12 days 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...
176
click to vote
PPDP
2007
Springer
16 years 12 days 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...
182
click to vote
RAID
2007
Springer
16 years 12 days 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...