4693 search results - page 77 / 939 » Verifying Hybrid Systems |
SIAMSC
2008
15 years 16 days ago
2008
Abstract. Hybrid or multiphysics algorithms provide an efficient computational tool for combining micro- and macroscale descriptions of physical phenomena. Their use becomes impera...
78
Voted
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
127
click to vote
CANS
2009
Springer
14 years 10 months ago
2009
Springer
Group signatures allow users to anonymously sign messages in the name of a group. Membership revocation has always been a critical issue in such systems. In 2004, Boneh and Shacham...
94
Voted
CAISE
2009
Springer
15 years 7 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
103
Voted
SEFM
2007
IEEE
15 years 6 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...