Sciweavers

3852 search results - page 483 / 771
» Construction of Codes for Network Coding
Sort
View
VLDB
1992
ACM
100views Database» more  VLDB 1992»
15 years 10 months ago
Principles of Transaction-Based On-Line Reorganization
For very large databases such as those used by banks and airlines, cost considerations may forbid shutting down the service for a long period of time and reorganizing off-line. Si...
Betty Salzberg, Allyn Dimock
POS
1990
Springer
15 years 10 months ago
Semantic Clustering
Appropriate clustering of objects into pages in secondary memory is crucial to achieving good performance in a persistent object store. We present a new approach, termed semantic ...
Karen Shannon, Richard T. Snodgrass
172
Voted
APLAS
2006
ACM
15 years 10 months ago
Type and Effect System for Multi-staged Exceptions
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi
CSFW
2004
IEEE
15 years 10 months ago
From Stack Inspection to Access Control: A Security Analysis for Libraries
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
Frédéric Besson, Tomasz Blanc, C&eac...
CAISE
2006
Springer
15 years 10 months ago
Experiences with Modeling and Verification of Regulations
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
Jan Vanthienen, Christophe Mues, Stijn Goedertier