1187 search results - page 15 / 238 » A Timed Calculus for Wireless Systems |
ECRTS
2002
IEEE
14 years 1 months ago
2002
IEEE
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
ESORICS
1994
Springer
14 years 16 days ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
IPCCC
2005
IEEE
14 years 2 months ago
2005
IEEE
The third generation of mobile networks aims to offer services diversified to users, while guaranteeing acceptable QoS. This results in the setting up of strategies of increasingl...
IEICET
2008
13 years 8 months ago
2008