7195 search results - page 572 / 1439 » On Computing Power |
181
click to vote
TPHOL
2002
IEEE
16 years 13 hour ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
192
click to vote
CSREASAM
2007
15 years 8 months ago
2007
- Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. However, these strategies are in...
188
click to vote
FPGA
1998
ACM
15 years 11 months ago
1998
ACM
Three factors are driving the demand for rapid FPGA compilation. First, as FPGAs have grown in logic capacity, the compile computation has grown more quickly than the compute powe...
252
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We propose Path Disruption Games (PDGs), which consider collaboration between agents attempting stop an adversary from travelling from a source node to a target node in a graph. P...
207
click to vote
CCGRID
2004
IEEE
15 years 11 months ago
2004
IEEE
Grid computing promises the ability to share geographically and organizationally distributed resources to increase effective computational power and resource utilization. However,...