Sciweavers

1830 search results - page 174 / 366
» Centering in Dynamic Semantics
Sort
View
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 5 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
SEMWEB
2004
Springer
15 years 5 months ago
Enhancing Web Services Description and Discovery to Facilitate Composition
Web services are in the midst of making the transition from being a promising technology to being widely used in the industry. However, most efforts to use Web services have been m...
Preeda Rajasekaran, John A. Miller, Kunal Verma, A...
ISPDC
2003
IEEE
15 years 5 months ago
Role Activity Diagrams as Finite State Processes
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
Costin Badica, Amelia Badica, Valentin Litoiu
DIAGRAMS
2006
Springer
15 years 3 months ago
Topological Relations of Arrow Symbols in Complex Diagrams
Illustrating a dynamic process with an arrow-containing diagram is a widespread convention in people's daily communications. In order to build a basis for capturing the struct...
Yohei Kurata, Max J. Egenhofer
COMAD
2008
15 years 1 months ago
Kshitij: A Search and Page Recommendation System for Wikipedia
Semantic information helps in identifying the context of a document. It will be interesting to find out how effectively this information can be used in recommending related docume...
Phanikumar Bhamidipati, Kamalakar Karlapalem