254 search results - page 25 / 51 » Extended Process Rewrite Systems: Expressiveness and Reachab... |
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
105
click to vote
VLDB
1992
ACM
15 years 3 months ago
1992
ACM
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
135
click to vote
ICDE
2012
IEEE
13 years 2 months ago
2012
IEEE
—Many companies now routinely run massive data analysis jobs – expressed in some scripting language – on large clusters of low-end servers. Many analysis scripts are complex ...
108
click to vote
IJCNLP
2005
Springer
15 years 5 months ago
2005
Springer
This paper proposes a variation of synchronous grammar based on the formalism of context-free grammar by generalizing the first component of productions that models the source text...