678 search results - page 47 / 136 » On the design of distributed protocols from differential equ... |
NDSS
2000
IEEE
14 years 3 days ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
Although the diversity of platforms for network experimentation is a boon to the development of protocols and distributed systems, it is challenging to exploit its benefits. Impl...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— The CSMA/CA protocols are designed under the assumption that all participant nodes would abide to the protocol rules. This is of particular importance in distributed protocols ...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper, we overcome a major drawback of the level set framework: the lack of point correspondences. We maintain explicit backward correspondences from the evolving interfac...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Systems biologists are often faced with competing models for a given experimental system. Unfortunately, performing experiments can be time-consuming and expensive. Therefore, ...