4209 search results - page 31 / 842 » Abstract Dialectical Frameworks |
106
click to vote
FSTTCS
2010
Springer
14 years 8 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
FM
2009
Springer
15 years 4 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
ACRI
2006
Springer
15 years 3 months ago
2006
Springer
on Theory: Extended Abstract Natalie Fridman and Gal Kaminka Bar Ilan University, Israel The MAVERICK Group Computer Science Department {fridman,galk}cs.biu.ac.il Abstract. Modelin...
APLAS
2006
ACM
15 years 3 months ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
106
click to vote
TCSV
2002
14 years 9 months ago
2002
ased Video Abstraction for Video Surveillance Systems Changick Kim, Member, IEEE, and Jenq-Neng Hwang, Fellow, IEEE Key frames are the subset of still images which best t the conte...