2916 search results - page 413 / 584 » The simulation power of automod |
197
click to vote
TAPSOFT
1991
Springer
15 years 10 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
173
click to vote
WSC
2007
15 years 8 months ago
2007
Agent-based models (ABMs) are powerful in describing structured epidemiological processes involving human behavior and local interaction. The joint behavior of the agents can be v...
159
click to vote
WSC
2007
15 years 8 months ago
2007
We study an approximation for the zero-variance change of measure to estimate the probability of a rare event in a continuous-time Markov chain. The rare event occurs when the cha...
163
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
171
click to vote
ICWN
2007
15 years 8 months ago
2007
— Management of power and other resources that effect field life is an important consideration in sensor networks. This paper presents and compares alternative agent paradigms ap...