1356 search results - page 131 / 272 » A variable-free dynamic semantics |
146
click to vote
JUCS
2007
15 years 3 months ago
2007
: Ontologies have been recognized as a fundamental infrastructure for advanced approaches to Knowledge Management (KM) automation in SOA. Building services communicate with each ot...
163
Voted
IFM
2004
Springer
15 years 9 months ago
2004
Springer
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...
134
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
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...
141
click to vote
ISPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
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...
120
Voted
DIAGRAMS
2006
Springer
15 years 7 months ago
2006
Springer
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...