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
11214
search results - page 209 / 2243
»
Programming Multi-agent Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
150
click to vote
VMCAI
2005
Springer
65
views
Software Engineering
»
more
VMCAI 2005
»
Scalable Analysis of Linear Systems Using Mathematical Programming
16 years 57 min ago
Download
ropas.snu.ac.kr
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
claim paper
Read More »
137
click to vote
VSTTE
2005
Springer
75
views
Software Engineering
»
more
VSTTE 2005
»
The Spec# Programming System: Challenges and Directions
16 years 49 min ago
Download
research.microsoft.com
Michael Barnett, Robert DeLine, Manuel Fähndr...
claim paper
Read More »
134
click to vote
XPU
2005
Springer
70
views
Software Engineering
»
more
XPU 2005
»
Extreme Programming for Critical Systems?
15 years 12 months ago
Download
www.cs.st-andrews.ac.uk
Ian Sommerville
claim paper
Read More »
130
click to vote
ISSTA
2004
ACM
71
views
Software Engineering
»
more
ISSTA 2004
»
Improving the adaptability of multi-mode systems via program steering
15 years 12 months ago
Download
www.cs.washington.edu
Lee Lin, Michael D. Ernst
claim paper
Read More »
147
click to vote
JELIA
2004
Springer
129
views
Artificial Intelligence
»
more
JELIA 2004
»
Abductive Logic Programming with CIFF: System Description
15 years 12 months ago
Download
staff.science.uva.nl
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...
claim paper
Read More »
« Prev
« First
page 209 / 2243
Last »
Next »