Sciweavers

4008 search results - page 266 / 802
» An expressive language of signatures
Sort
View
PEPM
1993
ACM
15 years 10 months ago
Binding-Time Analysis and the Taming of C Pointers
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
Lars Ole Andersen
EDBT
2009
ACM
170views Database» more  EDBT 2009»
15 years 10 months ago
Efficient constraint evaluation in categorical sequential pattern mining for trajectory databases
The classic Generalized Sequential Patterns (GSP) algorithm returns all frequent sequences present in a database. However, usually a few ones are interesting from a user's po...
Leticia I. Gómez, Alejandro A. Vaisman
CSFW
2004
IEEE
15 years 10 months ago
Cassandra: Flexible Trust Management, Applied to Electronic Health Records
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
Moritz Y. Becker, Peter Sewell
WWW
2003
ACM
16 years 7 months ago
Character Repertoire Validation for XML Documents
XML documents may contain a large diversity of characters. The Character Repertoire Validation for XML (CRVX) language is a simple schema language for specifying character reperto...
Erik Wilde
PODS
2004
ACM
117views Database» more  PODS 2004»
16 years 6 months ago
Conditional XPath, the First Order Complete XPath Dialect
XPath is the W3C?standard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at presen...
Maarten Marx