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
22018
search results - page 187 / 4404
»
or 2004
Sort
relevance
views
votes
recent
update
View
thumb
title
112
click to vote
CAISE
2004
Springer
129
views
Information Technology
»
more
CAISE 2004
»
Towards Ontology-Driven Institutional IS Engineering
15 years 11 months ago
Download
sunsite.informatik.rwth-aachen.de
Slim Turki, Christine Aïdonidis, Abdelaziz Kh...
claim paper
Read More »
132
click to vote
CARDIS
2004
Springer
94
views
Hardware
»
more
CARDIS 2004
»
Place and Route for Secure Standard Cell Design
15 years 11 months ago
Download
www.ee.ucla.edu
Kris Tiri, Ingrid Verbauwhede
claim paper
Read More »
142
click to vote
CAV
2004
Springer
111
views
Hardware
»
more
CAV 2004
»
Using Interface Refinement to Integrate Formal Verification into the Design Cycle
15 years 11 months ago
Download
chicory.stanford.edu
Jacob Chang, Sergey Berezin, David L. Dill
claim paper
Read More »
128
click to vote
CAV
2004
Springer
90
views
Hardware
»
more
CAV 2004
»
WSAT: A Tool for Formal Analysis of Web Services
15 years 11 months ago
Download
www.cs.ucsb.edu
Xiang Fu, Tevfik Bultan, Jianwen Su
claim paper
Read More »
145
click to vote
CAV
2004
Springer
86
views
Hardware
»
more
CAV 2004
»
MCK: Model Checking the Logic of Knowledge
15 years 11 months ago
Download
www.cse.unsw.edu.au
Peter Gammie, Ron van der Meyden
claim paper
Read More »
« Prev
« First
page 187 / 4404
Last »
Next »
