326 search results - page 65 / 66 » Products of Capacities Derived from Additive Measures |
CCS
2003
ACM
14 years 18 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
HUC
2009
Springer
13 years 12 months ago
2009
Springer
In this work we investigate eye movement analysis as a new modality for recognising human activity. We devise 90 different features based on the main eye movement characteristics:...
ARITH
1993
IEEE
13 years 11 months ago
1993
IEEE
We detail and analyse the critical techniques which may be combined in the design of fast hardware for RSA cryptography: chinese remainders, star chains, Hensel's odd divisio...
BMCBI
2005
13 years 7 months ago
2005
Background: The application of high throughput approaches to the identification of protein interactions has offered for the first time a glimpse of the global interactome of some ...
MCS
2007
Springer
13 years 6 months ago
2007
Springer
In this project, nonlinear characteristics on the rolling interface of a linear guide were studied by the finite element analysis and experimental verification. Contact of the b...