1702 search results - page 124 / 341 » Doomed program points |
146
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
To share resources in open distributed systems we have developed autonomous mobile programs, which periodically use a cost model to decide where to execute in a network. In additi...
147
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
144
click to vote
FUIN
2008
15 years 3 months ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
167
click to vote
ASIACRYPT
2010
Springer
15 years 3 months ago
2010
Springer
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...
140
Voted
ASSETS
2006
ACM
15 years 11 months ago
2006
ACM
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...