1948 search results - page 190 / 390 » Formalizing Mirror Theory |
200
click to vote
IFM
2007
Springer
16 years 21 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
151
click to vote
OTM
2007
Springer
16 years 20 days ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
173
click to vote
ACL2
2006
ACM
16 years 16 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
187
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
151
click to vote
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in percept...