946 search results - page 108 / 190 » Process Algebra and Non-Interference |
189
click to vote
SIGMOD
2009
ACM
16 years 26 days ago
2009
ACM
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
203
Voted
SIGMOD
2009
ACM
16 years 26 days ago
2009
ACM
Keyword search in relational databases (RDBs) has been extensively studied recently. A keyword search (or a keyword query) in RDBs is specified by a set of keywords to explore the...
119
click to vote
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
106
Voted
ICDT
1995
ACM
15 years 4 months ago
1995
ACM
We investigate and compare two forms of recursion on sets for querying nested collections. The rst one is called sri and it corresponds to sequential processing of data. The second...
122
click to vote
CJ
2010
14 years 10 months ago
2010
an be used to abstract away from the physical reality by describing it as components that exist in discrete states with probabilistically invoked actions that change the state. The...