3809 search results - page 571 / 762 » Associative language descriptions |
176
click to vote
IWMM
2004
Springer
16 years 14 days ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
198
click to vote
TSD
2004
Springer
16 years 13 days ago
2004
Springer
In this paper we report on the acquisition and content of a new database intended for developing audio-visual speech recognition systems. This database supports a speaker dependen...
156
click to vote
APSEC
2003
IEEE
16 years 12 days ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
215
click to vote
CSFW
2003
IEEE
16 years 12 days ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
237
click to vote
NDSS
2003
IEEE
16 years 11 days ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...