4353 search results - page 261 / 871 » Expressiveness of Process Algebras |
161
click to vote
RULEML
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Access control is an important aspect of regulatory compliance. Therefore, access control specifications must be process-aware in that they can refer to an underlying bu...
174
click to vote
DBPL
2003
Springer
15 years 12 months ago
2003
Springer
We introduce the new notion of XML Stream Attribute Grammars (XSAGs). XSAGs are the first scalable query language for XML streams (running strictly in linear time with bounded mem...
149
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. It has been well recognized that online analytical processing (OLAP) can provide important insights into huge archives of data. While the conventional OLAP model is capab...
204
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
187
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We present an empirical study aimed at analysing the use of viewpoints in an industrial Concurrent Engineering context. Our focus is on the viewpoints expressed in the argumentativ...