176 search results - page 20 / 36 » Abstraction and Refinement in Protocol Derivation |
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Incorporating pricing information in routing systems has been explored in various contexts and fashions. In this paper we examine certain fundamental properties importa...
TWC
2008
13 years 7 months ago
2008
Abstract--Designing diversity achieving schemes over the wireless broadband fading relay channels is crucial to achieve higher diversity gains. These gains are achieved by exploiti...
POPL
2002
ACM
14 years 8 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
ICIW
2007
IEEE
13 years 8 months ago
2007
IEEE
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—Understanding user behavior in wireless environments is useful for a variety of reasons ranging from the design of better sleep algorithms for components of mobile devic...