1895 search results - page 288 / 379 » Using ATL for Checking Models |
109
click to vote
DRM
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes a security architecture allowing digital rights management in home networks consisting of consumer electronic devices. The idea is to allow devices to establi...
112
click to vote
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
In dynamic data driven applications modeling accurately the uncertainty of various inputs is a key step of the process. In this paper, we first review the basics of the Karhunen-L...
133
click to vote
ISOLA
2004
Springer
15 years 8 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...
138
click to vote
IWPC
2002
IEEE
15 years 7 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
134
click to vote
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...