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
9974
search results - page 234 / 1995
»
Software Interconnection Models
Sort
relevance
views
votes
recent
update
View
thumb
title
179
click to vote
SOFSEM
2010
Springer
169
views
Theoretical Computer Science
»
more
SOFSEM 2010
»
Model-Driven Software Product Line Testing: An Integrated Approach
16 years 1 months ago
Download
www.sofsem.cz
Andy Schürr, Sebastian Oster, Florian Markert
claim paper
Read More »
133
click to vote
SAC
2009
ACM
62
views
Applied Computing
»
more
SAC 2009
»
Towards a compositional approach to model transformation for software development
16 years 1 months ago
Download
research.nii.ac.jp
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keis...
claim paper
Read More »
137
click to vote
TACAS
2009
Springer
102
views
Algorithms
»
more
TACAS 2009
»
Memoised Garbage Collection for Software Model Checking
16 years 1 months ago
Download
wwwhome.cs.utwente.nl
Viet Yen Nguyen, Theo C. Ruys
claim paper
Read More »
189
click to vote
FROCOS
2009
Springer
154
views
Control Systems
»
more
FROCOS 2009
»
Building SMT-Based Software Model Checkers: An Experience Report
16 years 1 months ago
Download
disi.unitn.it
Alessandro Armando
claim paper
Read More »
129
click to vote
DATE
2008
IEEE
119
views
Hardware
»
more
DATE 2008
»
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis
16 years 1 months ago
Download
www.date-conference.com
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro,...
claim paper
Read More »
« Prev
« First
page 234 / 1995
Last »
Next »
