Sciweavers

3676 search results - page 420 / 736
» Scalable component abstractions
Sort
View
BPM
2009
Springer
116views Business» more  BPM 2009»
16 years 1 months ago
Discovering Reference Models by Mining Process Variants Using a Heuristic Approach
Abstract. Recently, a new generation of adaptive Process-Aware Information Systems (PAISs) has emerged, which enables structural process changes during runtime. Such flexibility, ...
Chen Li, Manfred Reichert, Andreas Wombacher
FM
2009
Springer
157views Formal Methods» more  FM 2009»
16 years 1 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
IPOM
2009
Springer
16 years 1 months ago
A Feasibility Evaluation on Name-Based Routing
Abstract. The IPv4 addressing scheme has been the standard for Internet communication since it was established in the 1960s. However, the enormous increase in Internet traffic usag...
Haesung Hwang, Shingo Ata, Masayuki Murata
SEMWEB
2009
Springer
16 years 1 months ago
MapPSO Results for OAEI 2009
Abstract. This paper presents and discusses the results of the latest developments of the MapPSO system, which is an ontology alignment approach that is based on discrete particle ...
Jürgen Bock, Peng Liu 0002, Jan Hettenhausen
SSD
2009
Springer
142views Database» more  SSD 2009»
16 years 1 months ago
Monitoring Orientation of Moving Objects around Focal Points
Abstract. We consider a setting with numerous location-aware moving objects that communicate with a central server. Assuming a set of focal points of interest, we aim at continuous...
Kostas Patroumpas, Timos K. Sellis