1003 search results - page 56 / 201 » It's life Jim, but not as we know it! |
104
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
109
click to vote
SP
2008
IEEE
15 years 7 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
103
click to vote
FGCN
2007
IEEE
15 years 7 months ago
2007
IEEE
When the digital forensic investigator looks into the suspicious organization including the company, it is important to obtain the data which has the overview of information of th...
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
—We consider a distributed wireless network where amplify-and-forward relays assist the communication between multiple source/destination pairs. To provide a global phase referen...
133
click to vote
HAPTICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Transparent haptic rendering of the contact between a tool and its environment requires very frequent update of the contact forces acting on the tool. Given a rigid tool and a def...