7109 search results - page 1122 / 1422 » Process Algebra with Combinators |
161
click to vote
SEMWEB
2004
Springer
16 years 2 days ago
2004
Springer
Abstract— Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, ...
159
click to vote
UML
2004
Springer
16 years 2 days ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
163
click to vote
VLDB
2004
ACM
16 years 2 days ago
2004
ACM
We introduce an auditing framework for determining whether a database system is adhering to its data disclosure policies. Users formulate audit expressions to specify the (sensiti...
179
click to vote
VLDB
2004
ACM
16 years 2 days ago
2004
ACM
This paper studies Data Stream Management Systems that combine real-time data streams with historical data, and hence access incoming streams and archived data simultaneously. A s...
174
click to vote
WEBDB
2004
Springer
16 years 2 days ago
2004
Springer
Rooted in electronic publishing, XML is now widely used for modelling and storing structured text documents. Especially in the WWW, retrieval of XML documents is most useful in co...