1187 search results - page 186 / 238 » A Timed Calculus for Wireless Systems |
154
Voted
MOBIHOC
2012
ACM
13 years 6 months ago
2012
ACM
Dynamic spectrum access is a maturing technology that allows next generation wireless devices to make highly efficient use of wireless spectrum. Spectrum can be allocated on an o...
235
click to vote
Publication
Modern hardware description languages support code-generation constructs like generate/endgenerate in Verilog. These constructs are intended to describe regular or parameterized ha...
166
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
Visual sensors provide exclusively uncertain and partial knowledge of a scene. In this article, we present a suitable scene knowledge representation that makes integration and fusi...
136
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
171
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...