51986 search results - page 149 / 10398 » Are There New Models of Computation |
134
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
145
click to vote
ISPD
1999
ACM
15 years 10 months ago
1999
ACM
The presence of fixed terminals in hypergraph partitioning instances arising in top-down standard-cell placement makes such instances qualitatively different from the free hyperg...
153
click to vote
ASIAN
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
206
click to vote
CCS
2010
ACM
16 years 18 days ago
2010
ACM
Secure provenance that records ownership and process history of data objects is vital to the success of data forensics in cloud computing, yet it is still a challenging issue toda...