Sciweavers

10182 search results - page 1513 / 2037
» Case Studies
Sort
View
ICTAC
2009
Springer
15 years 5 months ago
Automatic Conflict Detection on Contracts
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
ICWS
2009
IEEE
15 years 5 months ago
A MapReduce-Enabled Scientific Workflow Composition Framework
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
Xubo Fei, Shiyong Lu, Cui Lin
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 5 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
CGA
2010
15 years 4 months ago
Newdle: Interactive Visual Exploration of Large Online News Collections
In this paper, we present a novel visual analytics system named Newdle with a focus on exploring large online news collections when the semantics of the individual news articles ha...
Jing Yang, Dongning Luo, Yujie Liu
CLEIEJ
2010
15 years 4 months ago
Typing Textual Entities and M2T/T2M Transformations in a Model Management Environment
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...
Andrés Vignaga
« Prev « First page 1513 / 2037 Last » Next »