40 search results - page 1 / 8 » ipc 2007 |
IPC
2007
IEEE
14 years 1 days ago
2007
IEEE
IPC
2007
IEEE
14 years 1 days ago
2007
IEEE
IPC
2007
IEEE
14 years 1 days ago
2007
IEEE
MASCOTS
2003
13 years 7 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 5 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...