Sciweavers

11168 search results - page 253 / 2234
» Abstract State Processes
Sort
View
JAMDS
2000
61views more  JAMDS 2000»
15 years 6 months ago
A coupling technique for stochastic comparison of functions of Markov Processes
The aim of this work is to obtain explicit conditions (i.e., conditions on the transition rates) for the stochastic comparison of Markov Processes. A general coupling technique is ...
M. Doisy
IPPS
2006
IEEE
16 years 22 days ago
Performance analysis of stochastic process algebra models using stochastic simulation
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thoma...
WETICE
2003
IEEE
15 years 12 months ago
Knowledge Management for Distributed Agile Processes: Models, Techniques, and Infrastructure
This report summarizes presentations and discussions of the IEEE WETICE 2003 Workshop on Knowledge Management for Distributed Agile Processes. The main goals of the workshop were ...
Harald Holz, Grigori Melnik, Martin Schaaf
233
Voted
CONCUR
2008
Springer
15 years 8 months ago
A Context-Free Process as a Pushdown Automaton
A well-known theorem in automata theory states that every context-free language is accepted by a pushdown automaton. We investigate this theorem in the setting of processes, using ...
Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. ...
170
Voted
NLDB
2007
Springer
16 years 25 days ago
Electronic Dictionaries and Transducers for Automatic Processing of the Albanian Language
We intend on developing electronic dictionaries and Finite State Transducers for the automatic processing of the Albanian Language. We describe some peculiarities of this language ...
Odile Piton, Klara Lagji, Remzi Përnaska