12551 search results - page 2102 / 2511 » Reuse in Systems Engineering |
219
click to vote
EDBT
2004
ACM
16 years 7 months ago
2004
ACM
XML suffers from the major limitation of high redundancy. Even if compression can be beneficial for XML data, however, once compressed, the data can be seldom browsed and queried i...
184
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
242
click to vote
ESOP
2010
Springer
16 years 5 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
194
click to vote
EUROSYS
2009
ACM
16 years 4 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
223
click to vote
EUROSYS
2007
ACM
16 years 4 months ago
2007
ACM
Sprint is a middleware infrastructure for high performance and high availability data management. It extends the functionality of a standalone in-memory database (IMDB) server to ...