Sciweavers

2171 search results - page 85 / 435
» A Generic Process Algebra
Sort
View
FUIN
2008
124views more  FUIN 2008»
15 years 26 days ago
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
210
Voted
SIGMOD
2007
ACM
225views Database» more  SIGMOD 2007»
16 years 28 days ago
From complete to incomplete information and back
Incomplete information arises naturally in numerous data management applications. Recently, several researchers have studied query processing in the context of incomplete informat...
Lyublena Antova, Christoph Koch, Dan Olteanu
117
Voted
SMA
2008
ACM
149views Solid Modeling» more  SMA 2008»
15 years 21 days ago
Exact arrangements on tori and Dupin cyclides
An algorithm and implementation is presented to compute the exact arrangement induced by arbitrary algebraic surfaces on a parametrized ring Dupin cyclide. The family of Dupin cyc...
Eric Berberich, Michael Kerber
93
Voted
CLA
2004
15 years 2 months ago
Emulating a Cooperative Behavior in a Generic Association Rule Visualization Tool
Traditional framework for mining association rules has pointed out the derivation of many redundant rules. In order to be reliable in a decision making process, such discovered rul...
I. Nsir, Sadok Ben Yahia, Engelbert Mephu Nguifo
96
Voted
QEST
2007
IEEE
15 years 7 months ago
The PEPA Plug-in Project
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
Mirco Tribastone