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
29143
search results - page 197 / 5829
»
A Sortation System Model
Sort
relevance
views
votes
recent
update
View
thumb
title
121
click to vote
EMSOFT
2009
Springer
93
views
Software Engineering
»
more
EMSOFT 2009
»
Formal and executable contracts for transaction-level modeling in SystemC
16 years 1 months ago
Download
www-verimag.imag.fr
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...
claim paper
Read More »
128
click to vote
EMSOFT
2009
Springer
85
views
Software Engineering
»
more
EMSOFT 2009
»
Modeling synchronous systems in BIP
16 years 1 months ago
Download
www-verimag.imag.fr
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis
claim paper
Read More »
127
click to vote
ICSR
2009
Springer
113
views
Software Engineering
»
more
ICSR 2009
»
Variability in Automation System Models
16 years 1 months ago
Download
embeddedcmmi.at
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree
claim paper
Read More »
119
click to vote
LPNMR
2009
Springer
94
views
Automated Reasoning
»
more
LPNMR 2009
»
Logic-Based Modeling in Systems Biology
16 years 29 days ago
Download
www.cs.uni-potsdam.de
Alexander Bockmayr
claim paper
Read More »
154
click to vote
MEMBRANE
2009
Springer
237
views
Applied Computing
»
more
MEMBRANE 2009
»
A P System Based Model of an Ecosystem of Some Scavenger Birds
16 years 29 days ago
Download
www.gcn.us.es
Mónica Cardona, M. Angels Colomer, Antoni M...
claim paper
Read More »
« Prev
« First
page 197 / 5829
Last »
Next »
