5353 search results - page 938 / 1071 » Modelling Contexts in the Or-BAC Model |
189
click to vote
EUROCRYPT
2003
Springer
15 years 11 months ago
2003
Springer
Perfectly secret message transmission can be realized with only partially secret and weakly correlated information shared by the parties as soon as this information allows for the ...
179
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
178
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—We present a new technique for statistical static timing analysis (SSTA) based on Markov chain Monte Carlo (MCMC), that allows fast and accurate estimation of the right-hand tai...
195
click to vote
SSDBM
2010
IEEE
15 years 11 months ago
2010
IEEE
Similarity search and data mining often rely on distance or similarity functions in order to provide meaningful results and semantically meaningful patterns. However, standard dist...
193
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...