1679 search results - page 65 / 336 » CU-Later: a communication system considering time difference |
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this work we develop Markovian models to study the dynamics of elastic calls in a cell served by HSDPA and WiMAX systems. We first present analytical models for interferenc...
ACTA
2010
13 years 8 months ago
2010
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
ENTCS
2006
13 years 7 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
MASS
2010
13 years 2 months ago
2010
Abstract--We propose "mode switch", an adaptive loadsensitive solution that supports both an energy-efficient operation mode for transmitting normal sensor data and an Qo...