1187 search results - page 12 / 238 » A Timed Calculus for Wireless Systems |
WISES
2004
13 years 9 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...
INFOCOM
2005
IEEE
14 years 2 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...
DATE
2003
IEEE
14 years 1 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...
CONCUR
1999
Springer
14 years 22 days 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...
TABLEAUX
2009
Springer
14 years 3 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...