4305 search results - page 474 / 861 » Analysing Protocol Implementations |
160
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
In this article we study the theoretical aspects of the collision avoidance among the collectives of unmanned aerial vehicles (UAVs) engaged in the free flight operation. The fre...
178
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
175
click to vote
ACSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
We present the Internet Key Service (IKS), a distributed architecture for authenticated distribution of public keys, layered on Secure DNS (DNSSEC). Clients use DNSSEC to securely...
244
click to vote
FPT
2005
IEEE
16 years 11 days ago
2005
IEEE
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...
156
click to vote
WETICE
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper describes the implementation of a thin user-level layer to be installed on Grid resources. The layer fits in the Minimum intrusion Grid design by imposing as few requi...