2468 search results - page 266 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
123
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
107
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
We propose a personal knowledge publishing system called Semblog is realized with integration of Semantic Web techniques and Weblog tools. Semblog suite provides an integrated envi...
136
click to vote
WSC
1997
15 years 5 months ago
1997
The paper summarizes some important results at the intersection of the fields of Bayesian statistics and stochastic simulation. Two statistical analysis issues for stochastic sim...
145
click to vote
CLUSTER
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper describes the application of various search techniques to the problem of automatic empirical code optimization. The search process is a critical aspect of auto-tuning...
175
click to vote
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...