Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
5423
search results - page 223 / 1085
»
Denial-of-service in automation systems
Sort
relevance
views
votes
recent
update
View
thumb
title
145
click to vote
DAC
2004
ACM
144
views
Computer Architecture
»
more
DAC 2004
»
Debugging HW/SW interface for MPSoC: video encoder system design case study
16 years 7 months ago
Download
tima.imag.fr
Mohamed-Wassim Youssef, Sungjoo Yoo, Arif Sasongko...
claim paper
Read More »
113
click to vote
CADE
2007
Springer
124
views
Logical Reasoning
»
more
CADE 2007
»
The KeY system 1.0 (Deduction Component)
16 years 7 months ago
Download
www.steffen-schlager.de
Bernhard Beckert, Martin Giese, Reiner Hähnle...
claim paper
Read More »
113
click to vote
CADE
2005
Springer
101
views
Logical Reasoning
»
more
CADE 2005
»
The MathSAT 3 System
16 years 7 months ago
Download
lcs.ios.ac.cn
Marco Bozzano, Roberto Bruttomesso, Alessandro Cim...
claim paper
Read More »
154
click to vote
CADE
2002
Springer
142
views
Logical Reasoning
»
more
CADE 2002
»
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description
16 years 7 months ago
Download
eprints.ecs.soton.ac.uk
Bernd Fischer 0002, Johann Schumann, Michael W. Wh...
claim paper
Read More »
108
click to vote
ECSQARU
2005
Springer
93
views
Automated Reasoning
»
more
ECSQARU 2005
»
Belief Revision of GIS Systems: The Results of REV!GIS
16 years 5 days ago
Download
www.cril.univ-artois.fr
Salem Benferhat, Jonathan Ben-Naim, Robert Jeansou...
claim paper
Read More »
« Prev
« First
page 223 / 1085
Last »
Next »