2661 search results - page 354 / 533 » Model Checking Performability Properties |
98
Voted
SIGMOD
2011
ACM
14 years 3 months ago
2011
ACM
Considering a broad definition for service contracts (beyond web services and software, e.g. airline tickets and insurance policies), we tackle the challenges of building a high ...
84
Voted
CISC
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Direct anonymous attestation (DAA) is a special digital signature primitive, which provides a balance between signer authentication and privacy. One of the most interesti...
144
Voted
TON
2010
14 years 7 months ago
2010
TCP throughput prediction is an important capability in wide area overlay and multi-homed networks where multiple paths may exist between data sources and receivers. In this paper...
103
Voted
ICANN
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a novel system that performs text-independent speaker authentication using new spiking neural network (SNN) architectures. Each speaker is represented by a set ...
110
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...