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
27354
search results - page 45 / 5471
»
Distributed And Parallel Computing
Sort
relevance
views
votes
recent
update
View
thumb
title
81
click to vote
CONCUR
1990
Springer
65
views
Distributed And Parallel Com...
»
more
CONCUR 1990
»
An Axiomatization of Lamport's Temporal Logic of Actions
15 years 8 months ago
Download
www.hpl.hp.com
Martín Abadi
claim paper
Read More »
84
click to vote
CONCUR
1990
Springer
66
views
Distributed And Parallel Com...
»
more
CONCUR 1990
»
Proving Termination of Communicating Programs
15 years 8 months ago
Download
basics.sjtu.edu.cn
Pawel Paczkowski
claim paper
Read More »
137
Voted
TAT
1992
122
views
Distributed And Parallel Com...
»
more
TAT 1992
»
Die Programmiersprache Modula-P
15 years 8 months ago
Download
www.informatik-vollmer.de
Jürgen Vollmer
claim paper
Read More »
113
click to vote
DEBS
2007
ACM
125
views
Distributed And Parallel Com...
»
more
DEBS 2007
»
Mythbusters: event stream processing versus complex event processing
15 years 8 months ago
Download
www.debs.msrg.utoronto.ca
Tim Bass
claim paper
Read More »
120
Voted
CLADE
2004
IEEE
85
views
Distributed And Parallel Com...
»
more
CLADE 2004
»
A Grid Based Diagnostics and Prognosis System for Rolls Royce Aero Engines: The DAME Project
15 years 8 months ago
Download
www.dma.unina.it
Jim Austin
claim paper
Read More »
« Prev
« First
page 45 / 5471
Last »
Next »