1187 search results - page 62 / 238 » A Timed Calculus for Wireless Systems |
168
Voted
IJITN
2010
15 years 1 months ago
2010
With the proliferation of inexpensive cameras and the availability of high-speed wired and wireless networks, systems of distributed cameras are becoming an enabling technology fo...
134
click to vote
IJACTAICIT
2010
15 years 1 months ago
2010
In this paper, we describe the concatenation of Turbo/Convolutional codes with transmit and receive diversity schemes by using Space-Time Block Code. It is shown that, by using tw...
111
Voted
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
163
Voted
WOLLIC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
139
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we present QOMB, a testbed we designed and implemented for the evaluation of wireless network systems, protocols and applications. The testbed uses the wireless ne...