227 search results - page 30 / 46 » Temporal Delay Tomography |
ECOOP
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
TMC
2008
13 years 7 months ago
2008
Recent research shows that significant energy saving can be achieved in wireless sensor networks by using mobile elements (MEs) capable of carrying data mechanically. However, the ...
ISQED
2011
IEEE
12 years 11 months ago
2011
IEEE
With continuous scaling of transistors in each technology generation, NBTI and Process Variation (PV) have become very important silicon reliability problems for the microprocesso...
ESORICS
2009
Springer
14 years 8 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper, a tap-wise LMMSE channel estimator for MIMO W-CDMA is derived. Descrambling operations applied to delayed versions of the received signal whiten the input signal....