391 search results - page 78 / 79 » Simulation Experiment for Improving Construction Processes |
QEST
2007
IEEE
13 years 12 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
RTCSA
2007
IEEE
13 years 11 months ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
SIGCOMM
2004
ACM
13 years 11 months ago
2004
ACM
Per-flow congestion control helps endpoints fairly and efficiently share network resources. Better utilization of network resources can be achieved, however, if congestion manag...
ICSNW
2004
Springer
13 years 11 months ago
2004
Springer
Peer-to-Peer systems have proven to be an effective way of sharing data. Modern protocols are able to efficiently route a message to a given peer. However, determining the destin...
ETRA
2010
ACM
13 years 11 months ago
2010
ACM
There has been increased interest in reliable, non-intrusive methods of biometric identification due to the growing emphasis on security and increasing prevalence of identity thef...