585 search results - page 40 / 117 » Better Abstractions for Timed Automata |
116
Voted
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
127
Voted
VTC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— Though cooperative communication has been intensively examined for general wireless systems, such as mobile and ad-hoc networks, it has been almost unexplored in the ca...
77
Voted
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—This paper proposes a new differential super-quasiorthogonal space-time trellis codes (SQOSTTC) with singlesymbol maximum-likelihood (ML) decoding. Firstly, a new joint ...
116
Voted
IEAAIE
2005
Springer
15 years 6 months ago
2005
Springer
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...
113
Voted
AUSAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The algorithm selection problem aims to select the best algorithm for an input problem instance according to some characteristics of the instance. This paper presents a l...