1753 search results - page 289 / 351 » State Machines |
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
— High variability of access resources in heterogenous wireless networks and limited computing power and battery life of mobile computing devices such as smartphones call for nov...
158
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a secure network service for sovereign information sharing whose only trusted component is an off-theshelf secure coprocessor. The participating data providers send enc...
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
FSTTCS
2010
Springer
14 years 8 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
103
click to vote
SECON
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--Wireless interference is the major cause of degradation of capacity in 802.11 wireless networks. We present an approach to estimate the interference between nodes and lin...