4693 search results - page 748 / 939 » Verifying Hybrid Systems |
157
Voted
COMCOM
2006
15 years 5 months ago
2006
This paper presents a secure alternate path routing in sensor networks. Our alternate path scheme makes the routing protocol resilient in the presence of malicious nodes that laun...
136
click to vote
IJACT
2008
15 years 5 months ago
2008
Abstract. A signer in a Nominative Signature (NS) scheme can arbitrarily choose a nominee, then jointly generate a signature in such a way that the signature can only be verified w...
138
click to vote
ENTCS
2006
15 years 5 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
178
click to vote
ENTCS
2006
15 years 5 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
158
click to vote
ENTCS
2006
15 years 5 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...