2068 search results - page 338 / 414 » Networked and quantized control systems with communication d... |
175
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
156
click to vote
EPEW
2007
Springer
16 years 15 days ago
2007
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
157
click to vote
PE
2010
Springer
15 years 1 months ago
2010
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of cap...
182
click to vote
CCR
2008
15 years 6 months ago
2008
A key requirement for IETF recognition of new TCP algorithms is having an independent, interoperable implementation. This paper describes our BSD-licensed implementation of H-TCP ...
172
click to vote
ICPADS
2005
IEEE
15 years 12 months ago
2005
IEEE
This work deals with efficient barrier synchronization for wireless cluster computing where nodes communicate with each other wirelessly in one or multiple hops. Such a computing ...