748 search results - page 24 / 150 » Time and Probability in Process Algebra |
WSC
2000
14 years 5 days ago
2000
Simulation models are often not used to their full potential in the decision-making process. The default simulation strategy of simple serial replication of fixed length runs mean...
ENTCS
2006
13 years 11 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
GLVLSI
2008
IEEE
14 years 5 months ago
2008
IEEE
Statistical static timing analysis (SSTA) plays a key role in determining performance of the VLSI circuits implemented in state-of-the-art CMOS technology. A pre-requisite for emp...
SSS
2007
Springer
14 years 5 months ago
2007
Springer
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...
TOMACS
2002
13 years 10 months ago
2002
Consider the problem of estimating the small probability that the maximum of a random walk exceeds a large threshold, when the process has a negative drift and the underlying rand...