Sciweavers

2226 search results - page 173 / 446
» Pdk: The System and Its Language
Sort
View
CIDR
2007
163views Algorithms» more  CIDR 2007»
15 years 8 months ago
Demaq: A Foundation for Declarative XML Message Processing
This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of it...
Alexander Böhm 0002, Carl-Christian Kanne, Gu...
DATESO
2004
80views Database» more  DATESO 2004»
15 years 7 months ago
Storing XML Data In a Native Repository
This paper is concerned with storing XML data in a native repository suitable for querying with modern languages such as XPath or XQuery. It contains a description of the experimen...
Kamil Toman
SOSYM
2002
123views more  SOSYM 2002»
15 years 6 months ago
A structured operational semantics for UML-statecharts
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
Michael von der Beeck
SAC
2008
ACM
15 years 6 months ago
A framework for performance evaluation and functional verification in stochastic process algebras
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...
IWRT
2010
161views Communications» more  IWRT 2010»
15 years 4 months ago
RFID-assisted Product Delivery in Sustainable Supply Chains: A Knowledge-based Approach
The paper proposes an integrated framework which uses knowledge representation theory and languages to annotate relevant product information in a semantically rich and unambiguous ...
Michele Ruta, Floriano Scioscia, Eugenio Di Sciasc...