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 502 / 3156
»
The Reformulation-Optimization Software Engine
Sort
relevance
views
votes
recent
update
View
thumb
title
109
click to vote
ICSE
1997
IEEE-ACM
68
views
Software Engineering
»
more
ICSE 1997
»
Open Implementation Design Guidelines
15 years 9 months ago
Download
www2.parc.com
Gregor Kiczales, John Lamping, Cristina Videira Lo...
claim paper
Read More »
117
click to vote
UIST
1996
ACM
87
views
Software Engineering
»
more
UIST 1996
»
Easily Adding Animations to Interfaces Using Constraints
15 years 9 months ago
Download
www.cs.cmu.edu
Brad A. Myers, Robert C. Miller, Richard G. McDani...
claim paper
Read More »
156
click to vote
TAPSOFT
1997
Springer
129
views
Software Engineering
»
more
TAPSOFT 1997
»
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
15 years 9 months ago
Download
www.brics.dk
Kåre J. Kristoffersen, François Larou...
claim paper
Read More »
140
click to vote
CODES
1994
IEEE
105
views
Software Engineering
»
more
CODES 1994
»
A case study in computer-aided codesign of embedded controllers
15 years 9 months ago
Download
www.cs.ucr.edu
Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto...
claim paper
Read More »
99
click to vote
ESEC
1993
Springer
80
views
Software Engineering
»
more
ESEC 1993
»
Inconsistency Handling in Multi-Perspective Specifications
15 years 9 months ago
Download
www.dsl.uow.edu.au
Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter...
claim paper
Read More »
« Prev
« First
page 502 / 3156
Last »
Next »