40 search results - page 1 / 8 » ipc 2007 |
IPC
2007
IEEE
13 years 10 months ago
2007
IEEE
IPC
2007
IEEE
13 years 10 months ago
2007
IEEE
IPC
2007
IEEE
13 years 10 months ago
2007
IEEE
MASCOTS
2003
13 years 5 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
APAL
2006
13 years 4 months ago
2006
By a well-known result of Cook and Reckhow [4, 12], all Frege systems for the Classical Propositional Calculus (CPC) are polynomially equivalent. Mints and Kojevnikov [11] have re...