211 search results - page 32 / 43 » Towards the Operational Semantics of User-Centric Communicat... |
IMC
2009
ACM
14 years 2 months ago
2009
ACM
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...
CMG
2001
13 years 9 months ago
2001
What is the career path for a performance analyst? A capacity planner? Most technicians paid their dues in the trenches of systems programming or operations. Having done it all, t...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
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...