7766 search results - page 17 / 1554 » Testing Nondeterminate Systems |
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...
130
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
100
click to vote
CSFW
1995
IEEE
15 years 3 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
89
Voted
ENTCS
2006
14 years 11 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
HASE
1998
IEEE
15 years 4 months ago
1998
IEEE