Sciweavers

7452 search results - page 1309 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
INEX
2009
Springer
15 years 11 months ago
Overview of the INEX 2009 Ad Hoc Track
This paper gives an overview of the INEX 2009 Ad Hoc Track. The main goals of the Ad Hoc Track were three-fold. The first goal was to investigate the impact of the collection scal...
Shlomo Geva, Jaap Kamps, Miro Lehtonen, Ralf Schen...
SIGMOD
2000
ACM
159views Database» more  SIGMOD 2000»
15 years 11 months ago
DLFM: A Transactional Resource Manager
The DataLinks technology developed at IBM Almaden Research Center and now available in DB2 UDB 5.2 introduces a new data type called DATALINK for a database to reference and manag...
Hui-I Hsiao, Inderpal Narang
FP
1992
135views Formal Methods» more  FP 1992»
15 years 10 months ago
High Level Specification of I/O in Functional Languages
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
Peter Achten, John H. G. van Groningen, Marinus J....
CANS
2006
Springer
136views Cryptology» more  CANS 2006»
15 years 10 months ago
Watermarking Essential Data Structures for Copyright Protection
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
Qutaiba Albluwi, Ibrahim Kamel
CCS
2006
ACM
15 years 10 months ago
RoleMiner: mining roles using subset enumeration
Role engineering, the task of defining roles and associating permissions to them, is essential to realize the full benefits of the role-based access control paradigm. Essentially,...
Jaideep Vaidya, Vijayalakshmi Atluri, Janice Warne...
« Prev « First page 1309 / 1491 Last » Next »