Sciweavers

70 search results - page 4 / 14
» Associative Algebras Related to Conformal Algebras
Sort
View
SIGSOFT
2004
ACM
15 years 3 months ago
A type system for object models
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
Jonathan Edwards, Daniel Jackson, Emina Torlak
AMAI
2006
Springer
14 years 10 months ago
An algebraic framework for temporal attribute characteristics
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...
Michael H. Böhlen, Johann Gamper, Christian S...
TDM
2004
174views Database» more  TDM 2004»
14 years 11 months ago
Relational Approach to Logical Query Optimization of XPath
To be able to handle the ever growing volumes of XML documents, effective and efficient data management solutions are needed. Managing XML data in a relational DBMS has great pote...
Maurice van Keulen
FUIN
2007
108views more  FUIN 2007»
14 years 10 months ago
An Axiomatization of the Token Game Based on Petri Algebras
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
Eric Badouel, Jules Chenou, Goulven Guillou
ICSOC
2005
Springer
15 years 3 months ago
Choreography and Orchestration: A Synergic Approach for System Design
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...