2106 search results - page 176 / 422 » Operational Semantics for MSC'96 |
144
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
147
click to vote
SAIG
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
163
click to vote
ESWS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
161
click to vote
ICIP
1999
IEEE
16 years 7 months ago
1999
IEEE
A new general-purpose color image segmentation editor (CISE) for the purpose of extracting a semantic object is designed, implemented and tested on a number of various natural sce...
247
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
In this paper, we present an adaptive load diffusion operator to enable scalable processing of Multiway Windowed Stream Joins (MWSJs) using a cluster system. The load diffusion is...