5084 search results - page 146 / 1017 » Proving Possibility Properties |
156
click to vote
IEAAIE
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...
155
click to vote
TRUSTBUS
2009
Springer
16 years 27 days ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
198
click to vote
ICC
2007
IEEE
16 years 19 days ago
2007
IEEE
—In our previous work [11], we derived detection delay and detection probability for a randomized scheduling algorithm in wireless sensor networks. In this paper, we study asympt...
163
click to vote
ACNS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Untraceability and unreuseability are essential security properties for electronic cash protocols. Many protocols have been proposed to meet these two properties. However...
195
click to vote
ATVA
2007
Springer
16 years 15 days ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...