949 search results - page 91 / 190 » exact 2008 |
125
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
138
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
150
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
A hybrid scheduling algorithm is proposed, which integrates features of the Fixed Priority (FP) and Earliest Deadline First (EDF) scheduling policies. It is shown that this hybrid...
116
Voted
SISAP
2008
IEEE
15 years 10 months ago
2008
IEEE
Similarity search in sequence databases is of paramount importance in bioinformatics research. As the size of the genomic databases increases, similarity search of proteins in the...
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We analyze the performance of multihop communication systems with regenerative relays in terms of the average symbol error probability (SEP) for M-ary quadrature amplitu...