95
Voted
APN
2015
Springer
9 years 11 months ago
2015
Springer
The language-based theory of regions, stemming from the area of Petri net synthesis, forms a fundamental basis for Integer Linear Programming (ILP)-based process discovery. Based o...
87
Voted
APN
2015
Springer
9 years 11 months ago
2015
Springer
Including duplicate tasks in the mining process is a challenge that hinders the process discovery as algorithms need an extra effort to find out which events of the log belong to...
97
Voted
APN
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. How to flexibly manage complex applications over heterogeneous clouds is one of the emerging problems in the cloud era. The OASIS Topology and Orchestration Specificati...
95
Voted
APN
2015
Springer
9 years 11 months ago
2015
Springer
We consider trophic networks, a kind of networks used in ecology to represent feeding interactions (what-eats-what) in an ecosystem. We observe that trophic networks can be natural...
APN
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Specifying the correctness of complex concurrent and realtime systems is a crucial problem. Many property languages have been proposed to do so; however, these techniques...