2661 search results - page 280 / 533 » Model Checking Performability Properties |
104
Voted
CHI
2001
ACM
16 years 1 months ago
2001
ACM
Unistrokes are a viable form of text input in pen-based user interfaces. However, they are a very heterogeneous group of gestures the only common feature being that all are drawn ...
108
Voted
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
CODES
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper, we present thread-based optimistic distributed timed cosimulation methods which reduce the overhead of optimistic simulation. First, we present thread simulation mo...
98
Voted
SIGIR
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we propose a new application of Bayesian language model based on Pitman-Yor process for information retrieval. This model is a generalization of the Dirichlet distr...
98
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...