549 search results - page 53 / 110 » Verification condition generation for conditional informatio... |
128
click to vote
ICFEM
1997
Springer
15 years 4 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
102
Voted
SP
1998
IEEE
15 years 4 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
90
Voted
ICCS
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we propose an efficient measurement of the eye blinking for drowsy driver detection system that is one of the driver safety systems for the intelligent vehicle. Howe...
103
click to vote
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
109
Voted
AMW
2010
15 years 2 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...