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
1855
search results - page 43 / 371
»
Probabilistic Frame-Based Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
128
click to vote
ETFA
2005
IEEE
64
views
Emerging Technology
»
more
ETFA 2005
»
Probabilistic delay time analysis in networked automation systems
16 years 20 days ago
Download
home.vrweb.de
Jürgen Greifeneder, Georg Frey
claim paper
Read More »
163
click to vote
CAV
2005
Springer
99
views
Hardware
»
more
CAV 2005
»
Probabilistic Verification for "Black-Box" Systems
16 years 17 days ago
Download
www.tempastic.org
Håkan L. S. Younes
claim paper
Read More »
167
click to vote
FOSSACS
2005
Springer
106
views
Software Engineering
»
more
FOSSACS 2005
»
Model Checking Durational Probabilistic Systems
16 years 17 days ago
Download
www.lsv.ens-cachan.fr
François Laroussinie, Jeremy Sproston
claim paper
Read More »
112
click to vote
IFIP
2004
Springer
97
views
Programming Languages
»
more
IFIP 2004
»
Controller Synthesis for Probabilistic Systems
16 years 12 days ago
Download
web.informatik.uni-bonn.de
Christel Baier, Marcus Größer, Martin L...
claim paper
Read More »
140
click to vote
CODES
1999
IEEE
109
views
Software Engineering
»
more
CODES 1999
»
A probabilistic performance metric for real-time system design
15 years 11 months ago
Download
www.nd.edu
Tao Zhou, Xiaobo Sharon Hu, Edwin Hsing-Mean Sha
claim paper
Read More »
« Prev
« First
page 43 / 371
Last »
Next »
