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
9018
search results - page 187 / 1804
»
3D-Brain Model Software
Sort
relevance
views
votes
recent
update
View
thumb
title
127
click to vote
ARCS
2004
Springer
122
views
Software Engineering
»
more
ARCS 2004
»
Towards Unified Dependability Modeling and Analysis
16 years 13 days ago
Download
subs.emis.de
András Pataricza, Ferenc Györ
claim paper
Read More »
146
click to vote
EWSA
2004
Springer
98
views
Software Engineering
»
more
EWSA 2004
»
Using Architectural Models at Runtime: Research Challenges
16 years 13 days ago
Download
www.cs.cmu.edu
David Garlan, Bradley R. Schmerl
claim paper
Read More »
139
click to vote
FATES
2004
Springer
86
views
Software Engineering
»
more
FATES 2004
»
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
16 years 13 days ago
Download
www.eecs.wsu.edu
Gaoyan Xie, Zhe Dang
claim paper
Read More »
150
click to vote
CASES
2003
ACM
89
views
System Software
»
more
CASES 2003
»
Energy aware algorithm design via probabilistic computing: from algorithms and models to Moore's law and novel (semiconductor) d
16 years 9 days ago
Download
www.cs.rice.edu
Krishna V. Palem
claim paper
Read More »
125
click to vote
FSTTCS
2003
Springer
74
views
Software Engineering
»
more
FSTTCS 2003
»
Real-Time Model-Checking: Parameters Everywhere
16 years 8 days ago
Download
www.ulb.ac.be
Véronique Bruyère, Jean-Franç...
claim paper
Read More »
« Prev
« First
page 187 / 1804
Last »
Next »
