325 search results - page 52 / 65 » Concurrent Composition of Secure Protocols in the Timing Mod... |
WMASH
2003
ACM
14 years 1 months ago
2003
ACM
A serious challenge for seamless roaming between independent wireless LANs (WLANs) is how best to confederate the various WLAN service providers, each having different trust relat...
MOBIHOC
2007
ACM
14 years 8 months ago
2007
ACM
Recently, there has been substantial interest in the design of crosslayer protocols for wireless networks. These protocols optimize certain performance metric(s) of interest (e.g....
SCP
1998
13 years 8 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
ATVA
2009
Springer
14 years 3 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...