2468 search results - page 91 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
147
click to vote
CSCWD
2001
Springer
15 years 8 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
144
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
122
click to vote
ICDE
2006
IEEE
15 years 9 months ago
2006
IEEE
Several randomized techniques have been proposed for privacy preserving data mining of continuous data. These approaches generally attempt to hide the sensitive data by randomly m...
142
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
158
click to vote
AICT
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper presents the simplified method of random test suite based on the frequency (block) test. The test is used to check the first property of random numbers which is to have ...