10038 search results - page 1964 / 2008 » Model Checking for Managers |
EUROCRYPT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
MIDDLEWARE
2004
Springer
14 years 3 months ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
SPW
2004
Springer
14 years 3 months ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
BIBE
2003
IEEE
14 years 3 months ago
2003
IEEE
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...
DISCEX
2003
IEEE
14 years 3 months ago
2003
IEEE
We introduce a technique for detecting anomalous patterns in a categorical feature (one that takes values from a finite alphabet). It differs from most anomaly detection methods u...