709 search results - page 115 / 142 » Type Checking in XOBE |
DSN
2006
IEEE
14 years 3 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
IDEAS
2006
IEEE
14 years 3 months ago
2006
IEEE
Updating XML documents submitted to schema constraints requires incremental validation, i.e. checking the parts of the document concerned by the updates. We propose to correct sub...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
KES
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Invertibility attack is a hostile measure to breach watermarking systems. In this paper, a novel watermarking protocol using a one-way hash function and a check of random...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...