932 search results - page 54 / 187 » Verifying Progress in Timed Systems |
274
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
161
click to vote
CAV
1994
Springer
15 years 11 months ago
1994
Springer
Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are P-complete and hence it may not be possible to design ...
213
Voted
BIRTHDAY
2010
Springer
16 years 3 days ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
218
click to vote
STOC
2006
ACM
16 years 7 months ago
2006
ACM
It is proved that several interactive proof systems are zero-knowledge against general quantum attacks. This includes the Goldreich?Micali?Wigderson classical zero-knowledge proto...
192
click to vote
AUTOMATICA
2005
15 years 7 months ago
2005
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...