611 search results - page 80 / 123 » Relative simulation and model checking of real-time processe... |
117
Voted
ISOLA
2004
Springer
15 years 6 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...
108
click to vote
CDC
2009
IEEE
14 years 10 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
101
click to vote
IJISEC
2008
15 years 19 days ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...
134
Voted
BMCBI
2010
15 years 23 days ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
146
Voted
ETRA
2006
ACM
15 years 6 months ago
2006
ACM
Human eyes have limited perception capabilities. Only 2 degrees of our 180 degree vision field provide the highest quality of perception. Due to this fact the idea of perceptual a...