5409 search results - page 4 / 1082 » Basic Observables for Processes |
BPM
2006
Springer
13 years 11 months ago
2006
Springer
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...
IPL
2008
13 years 7 months ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
INEX
2004
Springer
14 years 26 days ago
2004
Springer
Exploiting the structure of a document allows for more powerful information retrieval techniques. In this article a basic approach is discussed for the retrieval of XML document f...
ISORC
2003
IEEE
14 years 23 days ago
2003
IEEE
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...
CGI
2003
IEEE
14 years 24 days ago
2003
IEEE
Usually, paintings are more appealing than photographic images. This is because paintings have styles. This style can be distinguished by looking at elements such as motif, color,...