1187 search results - page 12 / 238 » A Timed Calculus for Wireless Systems |
113
click to vote
WISES
2004
15 years 4 months ago
2004
-- Due to the increasing demand for mobility in the area of distributed systems, the use of wireless communication gains in importance. We present a wireless real-time communicatio...
123
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— We consider a queueing system with controllable service rate; for example, a transmitter whose rate can be controlled by varying the transmission power. For such a system we ob...
113
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
138
Voted
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
155
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...