Sciweavers

7288 search results - page 106 / 1458
» On process rate semantics
Sort
View
ICDE
2010
IEEE
226views Database» more  ICDE 2010»
16 years 4 months ago
Approximation Trade-Offs in Markovian Stream Processing: An Empirical Study
Abstract-- A large amount of the world's data is both sequential and imprecise. Such data is commonly modeled as Markovian streams; examples include words/sentences inferred f...
Julie Letchner, Christopher Re, Magdalena Balazins...
PACT
2001
Springer
15 years 9 months ago
Static Analysis for Secrecy and Non-interference in Networks of Processes
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, ...
PDPTA
2003
15 years 6 months ago
The Application of Software Process Precedence Relationship Formalisms to Concurrent Hardware Systems
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
Kenneth G. Ricks, David Jeff Jackson, B. Earl Well...
127
Voted
WCNC
2008
IEEE
15 years 11 months ago
Loss Differentiated Rate Adaptation in Wireless Networks
Data rate adaptation is the process to select the optimal data rates for instantaneous channel conditions. This paper proposes a data rate adaptation technique that poses followin...
Saad Biaz, Shaoen Wu
BROADNETS
2005
IEEE
15 years 10 months ago
A rate adaptation algorithm for ieee 802.11 wlans based on Mac-Layer Loss Differentiation
— In a WLAN subject to variable wireless channel conditions, rate adaptation plays an important role to more efficiently utilize the physical link. However, the existing rate ada...
Qixiang Pang, Victor C. M. Leung, Soung Chang Liew