Search Sciweavers | Sciweavers

2171 search results - page 25 / 435

» A Generic Process Algebra

click to vote

COORDINATION
2006
Springer

107views Distributed And Parallel Com...» more COORDINATION 2006»

Synthesizing Concurrency Control Components from Process Algebraic Specifications

14 years 7 days ago

Download www.sti.uniurb.it

Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...

Edoardo Bontà, Marco Bernardo, Jeff Magee, ...

claim paper

Read More »

click to vote

MPC
2010
Springer

181views Mathematics» more MPC 2010»

Process Algebras for Collective Dynamics

14 years 1 months ago

Download mpc-amast2010.fsg.ulaval.ca

d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...

Jane Hillston

claim paper

Read More »

click to vote

ICDE
2005
IEEE

121views Database» more ICDE 2005»

Full-fledged Algebraic XPath Processing in Natix

14 years 10 months ago

Download pi3.informatik.uni-mannheim.de

We present the first complete translation of XPath into an algebra, paving the way for a comprehensive, state-of-theart XPath (and later on, XQuery) compiler based on algebraic op...

Matthias Brantner, Sven Helmer, Carl-Christian Kan...

claim paper

Read More »

click to vote

MUC
1993

73views Natural Language Processing» more MUC 1993»

The generic information extraction system

14 years 17 days ago