1875 search results - page 368 / 375 » A Calculus of Broadcasting Systems |
SAC
2010
ACM
13 years 6 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
JLP
2010
13 years 3 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
ICIP
1998
IEEE
14 years 10 months ago
1998
IEEE
With the popular use of digital video (VCD, DVD, video conferencing, digital broadcasting system, digital TV and video editing), video streaming technology becomes much more impor...
MOBIHOC
2007
ACM
14 years 8 months ago
2007
ACM
Existing work on the capacity of wireless networks predominantly considers homogeneous random networks with random work load. The most relevant bounds on the network capacity, e.g...
AICT
2009
IEEE
14 years 3 months ago
2009
IEEE
— Multimedia Broadcast Multicast Service (MBMS) epitomizes the increasing popularity of enhanced end-user experience in Universal Mobile Telecommunications System (UMTS), since i...