Sciweavers

1548 search results - page 180 / 310
» Semantics and Extensions of WS-Agreement
Sort
View
IANDC
2000
64views more  IANDC 2000»
13 years 10 months ago
Bisimilarity of Open Terms
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...
Arend Rensink
ENTCS
2002
78views more  ENTCS 2002»
13 years 10 months ago
Towards ANSI C Program Slicing using XML
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...
Katsuhiko Gondow, Hayato Kawashima
SCP
2002
112views more  SCP 2002»
13 years 10 months ago
Formal agent-oriented modeling with UML and graph transformation
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...
PVLDB
2008
77views more  PVLDB 2008»
13 years 10 months ago
Towards a streaming SQL standard
This paper describes a unification of two different SQL extensions for streams and its associated semantics. We use the data models from Oracle and StreamBase as our examples. Ora...
Namit Jain, Shailendra Mishra, Anand Srinivasan, J...
JAPLL
2010
179views more  JAPLL 2010»
13 years 8 months ago
Tractable query answering and rewriting under description logic constraints
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
Héctor Pérez-Urbina, Boris Motik, Ia...