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
15253
search results - page 212 / 3051
»
Integer-Programming Software Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
119
Voted
TOSEM
2002
68
views
more
TOSEM 2002
»
Architecting families of software systems with process algebras
15 years 6 months ago
Download
www.sti.uniurb.it
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiel...
claim paper
Read More »
163
click to vote
TSE
2002
125
views
more
TSE 2002
»
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
15 years 6 months ago
Download
spinroot.com
Gerard J. Holzmann, Margaret H. Smith
claim paper
Read More »
129
click to vote
COMPUTER
2010
65
views
more
COMPUTER 2010
»
Evolving Software Architecture Descriptions of Critical Systems
15 years 6 months ago
Download
www.se-rwth.de
Tom Mens, Jeff Magee, Bernhard Rumpe
claim paper
Read More »
99
Voted
EXPERT
2010
85
views
more
EXPERT 2010
»
Code-Centric RFID System Based on Software Agent Intelligence
15 years 4 months ago
Download
mmlab.snu.ac.kr
Min Chen, Sergio González-Valenzuela, Qian ...
claim paper
Read More »
115
click to vote
ISCI
2010
78
views
more
ISCI 2010
»
Debugging complex software systems by means of pathfinder networks
15 years 4 months ago
Download
sci2s.ugr.es
Emilio Serrano, Arnaud Quirin, Juan A. Botí...
claim paper
Read More »
« Prev
« First
page 212 / 3051
Last »
Next »