5525 search results - page 184 / 1105 » Verification of Model Transformations |
107
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
We consider secrecy problems for cryptographic protocols modeled using Horn clauses and present general classes of Horn clauses which can be efficiently decided. Besides simplifyin...
131
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
137
Voted
RC
2002
15 years 3 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
130
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we describe recent progress in i-vector based speaker verification. The use of universal background models (UBM) with full-covariance matrices is suggested and tho...
122
Voted
CONTEXT
2001
Springer
15 years 8 months ago
2001
Springer
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...