2042 search results - page 407 / 409 » The Design and Implementation of a Semantic Service Mediatio... |
FLOPS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
SIGMOD
2007
ACM
14 years 10 months ago
2007
ACM
The wide popularity of free-and-easy keyword based searches over World Wide Web has fueled the demand for incorporating keyword-based search over structured databases. However, mo...
NOMS
2008
IEEE
14 years 4 months ago
2008
IEEE
— Wireless networks have become a ubiquitous reality and ever more surround our everyday activities. They form and disappear around us spontaneously and have become new means for...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
In this paper, we define and explore proofs of retrievability (PORs). A POR scheme enables an archive or back-up service (prover) to produce a concise proof that a user (verifier...
IEEEPACT
2006
IEEE
14 years 3 months ago
2006
IEEE
The role of the operating system (OS) in managing shared resources such as CPU time, memory, peripherals, and even energy is well motivated and understood [23]. Unfortunately, one...