290 search results - page 18 / 58 » entcs 2006 |
132
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Key words: Java, multi-threading, exce...
134
click to vote
ENTCS
2006
15 years 4 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
127
click to vote
ENTCS
2006
15 years 4 months ago
2006
Data integration systems provide a uniform query interface (UQI) to multiple, autonomous data sources [4]. This paper presents the universal data model (UDM) that captures the sem...
130
click to vote
ENTCS
2006
15 years 4 months ago
2006
A process is extensionally deterministic if, after any trace s and given any event a, it is either certain to accept or certain to refuse a (stably) after s. We show how several p...
112
click to vote
ENTCS
2006
15 years 4 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...