1024 search results - page 41 / 205 » Compositional Methods for Probabilistic Systems |
106
click to vote
ISDA
2009
IEEE
15 years 8 months ago
2009
IEEE
—Web Services are interfaces that describe a collection of operations that are network-accessible through standardized web protocols. When a required operation is not found, seve...
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
The topic of this communication is shape-similarity search for 3D-mesh models. We present and evaluate a composite 3D-shape feature vector (DESIRE), which is formed using depth bu...
103
click to vote
SMARTNET
2000
15 years 2 months ago
2000
: Due to the deregulation of the telecom network and the Internet, users will have access to an increasing number of heterogeneous communication services and will need to adapt the...
113
click to vote
ECRTS
2004
IEEE
15 years 5 months ago
2004
IEEE
Most previous research done in probabilistic schedulability analysis assumes a known distribution of execution times for each task of a real-time application. This is however not ...
137
click to vote
AVBPA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The verification performance of biometric systems is normally evaluated using the receiver operating characteristic (ROC) or detection error trade-off (DET) curve. We p...