1532 search results - page 238 / 307 » An Algebraic Process Calculus |
173
Voted
ICDE
2000
IEEE
15 years 11 months ago
2000
IEEE
Most real-world database applications contain a substantial portion of time-referenced, or temporal, data. Recent advances in temporal query languages show that such database appl...
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
The temporal resolution of dynamic MRI can be increased by sampling a fraction of k-space in an interleaved fashion, which causes spatial and temporal aliasing. We describe algebr...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
MOBISYS
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes the implementation of an attack on the Bluetooth security mechanism. Specifically, we describe a passive attack, in which an attacker can find the PIN used du...
DCC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we study the neighbourhood of 15-variable Patterson-Wiedemann (PW) functions, i.e., the functions that differ by a small Hamming distance from the PW functions in te...