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
7827
search results - page 14 / 1566
»
time 2007
Sort
relevance
views
votes
recent
update
View
thumb
title
140
click to vote
FORTE
2003
105
views
Formal Methods
»
more
FORTE 2003
»
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
15 years 6 months ago
Download
mtc.epfl.ch
Dirk Beyer, Andreas Noack
claim paper
Read More »
114
Voted
SIROCCO
2001
90
views
Information Technology
»
more
SIROCCO 2001
»
Some Upper Bounds on Expected Agreement Time of a Probabilistic Local Majority Polling Game
15 years 6 months ago
Download
www.fukuoka-edu.ac.jp
Toshio Nakata, Masafumi Yamashita
claim paper
Read More »
84
click to vote
IJCAI
2003
84
views
Artificial Intelligence
»
more
IJCAI 2003
»
Engineering a complex ontology with time
15 years 6 months ago
Download
dli.iiit.ac.in
Jorge Santos, Steffen Staab
claim paper
Read More »
114
click to vote
PTS
2003
83
views
Hardware
»
more
PTS 2003
»
A Guided Method for Testing Timed Input Output Automata
15 years 6 months ago
Download
www.jos.org.cn
Abdeslam En-Nouaary, Rachida Dssouli
claim paper
Read More »
130
click to vote
SDL
2003
100
views
Hardware
»
more
SDL 2003
»
A Real-Time Profile for UML and How to Adapt It to SDL
15 years 6 months ago
Download
www-verimag.imag.fr
Susanne Graf, Ileana Ober
claim paper
Read More »
« Prev
« First
page 14 / 1566
Last »
Next »