2661 search results - page 354 / 533 » Model Checking Performability Properties |
176
click to vote
SIGMOD
2011
ACM
14 years 9 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 ...
160
click to vote
CISC
2009
Springer
15 years 4 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...
234
click to vote
TON
2010
15 years 1 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...
173
click to vote
ICANN
2007
Springer
15 years 10 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 ...
192
click to vote
MODELS
2007
Springer
16 years 19 days 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...