12453 search results - page 2119 / 2491 » Concurrent Data Structures |
202
Voted
BPM
2009
Springer
16 years 2 months ago
2009
Springer
The goal of process mining is to discover process models from event logs. However, for processes that are not well structured and have a lot of diverse behavior, existing process m...
231
Voted
WABI
2009
Springer
16 years 2 months ago
2009
Springer
Comparative analysis of biomolecular networks constructed using measurements from different conditions, tissues, and organisms offer a powerful approach to understanding the stru...
198
click to vote
WEBI
2009
Springer
16 years 2 months ago
2009
Springer
—In this paper, we investigate the problem of supporting keyword-based searching for the discovery of software resources that are installed on the nodes of largescale, federated ...
205
click to vote
CSL
2009
Springer
16 years 2 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
204
Voted
ECOWS
2009
Springer
16 years 2 months ago
2009
Springer
—The Web Service Description Language defines a service as a procedure whose inputs and outputs are structured XML data values, sometimes called documents. In this paper we argu...