Sciweavers

4805 search results - page 143 / 961
» On the Analysis of Indexing Schemes
Sort
View
POPL
1996
ACM
14 years 12 days ago
A Practical and Flexible Flow Analysis for Higher-Order Languages
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
J. Michael Ashley
IJNSEC
2007
131views more  IJNSEC 2007»
13 years 8 months ago
On the Security of Huang-Chang Multi-signature Schemes
Recently, based on RSA and discrete logarithm with composite modulus, Huang and Chang proposed two multisignature schemes with distinguished signing authority and claimed that the...
Jianhong Zhang, Wei Zou
CSFW
1994
IEEE
14 years 11 days ago
One-Representative Safety Analysis in the Non-Monotonic Transform Model
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...
Ravi S. Sandhu, Paul Ammann
LREC
2010
111views Education» more  LREC 2010»
13 years 9 months ago
Two-level Annotation of Utterance-units in Japanese Dialogs: An Empirically Emerged Scheme
In this paper, we propose a scheme for annotating utterance-level units in Japanese dialogs, which emerged from an analysis of the interrelationship among four schemes, i) inter-p...
Yasuharu Den, Hanae Koiso, Takehiko Maruyama, Kiku...
EDBT
2006
ACM
124views Database» more  EDBT 2006»
14 years 8 months ago
Supporting Temporal Slicing in XML Databases
Nowadays XML is universally accepted as the standard for structural data representation; XML databases, providing structural querying support, are thus becoming more and more popul...
Federica Mandreoli, Riccardo Martoglia, Enrico Ron...