9405 search results - page 6 / 1881 » Computing a Model of Set Theory |
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
— We present a probabilistic fault model that allows any number of gates in an integrated circuit to fail probabilistically. Tests for this fault model, determined using the theo...
SIMULATION
1998
14 years 9 months ago
1998
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...
EURONGI
2006
Springer
15 years 1 months ago
2006
Springer
This is a framework for resource allocation in a heterogeneous system composed of various access networks, for instance Third Generation wireless networks (3G) and WLAN, in the pre...
ER
2009
Springer
15 years 4 months ago
2009
Springer