Sciweavers

8768 search results - page 26 / 1754
» Generalizing the notion of support
Sort
View
VLDB
2004
ACM
99views Database» more  VLDB 2004»
15 years 7 months ago
Query Languages and Data Models for Database Sequences and Data Streams
We study the fundamental limitations of relational algebra (RA) and SQL in supporting sequence and stream queries, and present effective query language and data model enrichments ...
Yan-Nei Law, Haixun Wang, Carlo Zaniolo
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 5 months ago
A general architecture for reliable decentralized supervisory control of discrete event systems
In this paper, we study the reliable decentralized supervisory control of discrete event systems (DESs) under the general architecture, in which the decision for controllable event...
Fuchun Liu, Hai Lin
SACMAT
2005
ACM
15 years 7 months ago
Generalized XML security views
We investigate a generalization of the notion of XML security view introduced by Stoica and Farkas [17] and later refined by Fan et al. [8]. The model consists of access control ...
Gabriel M. Kuper, Fabio Massacci, Nataliya Rassadk...
ESOP
2007
Springer
15 years 5 months ago
Type Reconstruction for General Refinement Types
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
Kenneth W. Knowles, Cormac Flanagan
AI
2005
Springer
15 years 1 months ago
SCC-recursiveness: a general schema for argumentation semantics
entation theory, Dung's abstract framework provides a unifying view of several alternative semantics based on the notion of extension. In this context, we propose a general r...
Pietro Baroni, Massimiliano Giacomin, Giovanni Gui...