942 search results - page 134 / 189 » Process Algebraic Non-product-forms |
109
click to vote
CALCO
2005
Springer
15 years 5 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
101
click to vote
CSFW
1995
IEEE
15 years 3 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
181
click to vote
SIGMOD
2009
ACM
16 years 3 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...
194
click to vote
SIGMOD
2009
ACM
16 years 3 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...
112
click to vote
RTSS
2008
IEEE
15 years 6 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 ...