401 search results - page 18 / 81 » Formal Analysis of Meeting Protocols |
104
click to vote
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
82
Voted
ITRUST
2004
Springer
15 years 5 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
ICDCS
2005
IEEE
15 years 5 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
FORTE
1997
15 years 1 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
DCOSS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Many sensor network applications demand tightly-bounded object detection quality. To meet such stringent requirements, we develop three sensing scheduling protocols to gu...