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
29046
search results - page 480 / 5810
»
Computable Models
Sort
relevance
views
votes
recent
update
View
thumb
title
155
click to vote
CONCUR
2001
Springer
133
views
Distributed And Parallel Com...
»
more
CONCUR 2001
»
Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains
15 years 11 months ago
Download
wwwhome.cs.utwente.nl
Holger Hermanns, Joost-Pieter Katoen
claim paper
Read More »
138
Voted
DSVIS
2001
Springer
121
views
Human Computer Interaction
»
more
DSVIS 2001
»
Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems
15 years 11 months ago
Download
research.cs.queensu.ca
Kevin A. Schneider, James R. Cordy
claim paper
Read More »
135
click to vote
ERSHOV
2001
Springer
59
views
Theoretical Computer Science
»
more
ERSHOV 2001
»
On Expressive and Model Checking Power of Propositional Program Logics
15 years 11 months ago
Download
www.iis.nsk.su
Nikolay V. Shilov, Kwang Yi
claim paper
Read More »
99
click to vote
ICCS
2001
Springer
70
views
Applied Computing
»
more
ICCS 2001
»
The Model Coupling Toolkit
15 years 11 months ago
Download
www.ipd.anl.gov
Jay Walter Larson, Robert L. Jacob, Ian T. Foster,...
claim paper
Read More »
132
Voted
PACT
2001
Springer
83
views
Distributed And Parallel Com...
»
more
PACT 2001
»
A Transaction Processing Model for the Mobile Data Access System
15 years 11 months ago
Download
www.cs.ucf.edu
K. Segun, Ali R. Hurson, Amanda Spink
claim paper
Read More »
« Prev
« First
page 480 / 5810
Last »
Next »