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
15777
search results - page 135 / 3156
»
Engineering in Software
Sort
relevance
views
votes
recent
update
View
thumb
title
120
click to vote
IUI
2005
ACM
88
views
Software Engineering
»
more
IUI 2005
»
Trust in recommender systems
16 years 13 days ago
Download
www.csi.ucd.ie
John O'Donovan, Barry Smyth
claim paper
Read More »
136
click to vote
PASTE
2005
ACM
89
views
Software Engineering
»
more
PASTE 2005
»
Weakest-precondition of unstructured programs
16 years 13 days ago
Download
research.microsoft.com
Michael Barnett, K. Rustan M. Leino
claim paper
Read More »
174
click to vote
FASE
2005
Springer
112
views
Software Engineering
»
more
FASE 2005
»
Tools for Secure Systems Development with UML: Security Analysis with ATPs
16 years 12 days ago
Download
www4.in.tum.de
Jan Jürjens, Pasha Shabalin
claim paper
Read More »
147
click to vote
VMCAI
2005
Springer
112
views
Software Engineering
»
more
VMCAI 2005
»
The Verifying Compiler, a Grand Challenge for Computing Research
16 years 10 days ago
Download
asimod.in.tum.de
C. A. R. Hoare
claim paper
Read More »
145
click to vote
AOSD
2004
ACM
94
views
Software Engineering
»
more
AOSD 2004
»
Untangling: a slice extraction refactoring
16 years 9 days ago
Download
progtools.comlab.ox.ac.uk
Ran Ettinger, Mathieu Verbaere
claim paper
Read More »
« Prev
« First
page 135 / 3156
Last »
Next »
