2131 search results - page 14 / 427 » Stochastic Process Creation |
QEST
2007
IEEE
14 years 5 months ago
2007
IEEE
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, ...
ADBIS
2006
Springer
14 years 4 months ago
2006
Springer
In existing systems, user transactions get blocked during materialized view creation and non-trivial database schema transformations. Blocking user transactions is not an option in...
CONCUR
2000
Springer
14 years 3 months ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
: The final goal of Information Retrieval (IR) is knowledge production. However, it has been argued that knowledge production is not an individual effort but a collaborative effort...
EXTREME
2004
ACM
14 years 4 months ago
2004
ACM
Large volumes of XML document instances are created by conversion systems that rely on heuristic-based tagging. Quality assurance is typically conducted on individual document ins...