1195 search results - page 100 / 239 » Modeling an Algebraic Stepper |
208
click to vote
BDA
2004
15 years 7 months ago
2004
XQuery is the emerging standard for querying XML data sources. XLive is a light XML/XQuery mediator developed at University of Versailles whose engine processes an XML algebra der...
167
click to vote
ISPDC
2003
IEEE
15 years 11 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
181
click to vote
MASCOTS
2003
15 years 7 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
168
click to vote
JCS
2010
15 years 4 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
177
click to vote
ICCS
2009
Springer
16 years 29 days ago
2009
Springer
We are interested in the simulation and optimization of gas transport in networks. Different regions of the network may be modelled by different equations. There are three models...