440 search results - page 83 / 88 » A Temporal Calculus of Communicating Systems |
FMSD
2007
13 years 6 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
INFOCOM
2006
IEEE
14 years 22 days ago
2006
IEEE
—Wireless local area network (WLAN) systems are widely implemented today to provide hot spot coverage. Operated typically in an infrastructure mode, each WLAN is managed by an ac...
IMC
2004
ACM
14 years 4 days ago
2004
ACM
Virtual Private Networks provide secure and reliable communication between customer sites. With increase in number and size of VPNs, providers need efficient provisioning techniqu...
CORR
2011
Springer
12 years 10 months ago
2011
Springer
Despite recent advances in uncovering the quantitative features of stationary human activity patterns, many applications, from pandemic prediction to emergency response, require a...
SIGCOMM
2012
ACM
11 years 9 months ago
2012
ACM
The two largest U.S. wireless ISPs have recently moved towards usage-based pricing to better manage the growing demand on their networks. Yet usage-based pricing still requires IS...