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
2272
search results - page 130 / 455
»
A Calculus for
Sort
relevance
views
votes
recent
update
View
thumb
title
120
click to vote
IFM
2009
Springer
91
views
Formal Methods
»
more
IFM 2009
»
Predicate Abstraction in a Program Logic Calculus
15 years 10 months ago
Download
lfm.iti.uni-karlsruhe.de
Benjamin Weiß
claim paper
Read More »
127
click to vote
ISW
2009
Springer
108
views
Information Technology
»
more
ISW 2009
»
A Calculus to Detect Guessing Attacks
15 years 10 months ago
Download
isc09.dti.unimi.it
Bogdan Groza, Marius Minea
claim paper
Read More »
112
click to vote
PPDP
2009
Springer
84
views
Programming Languages
»
more
PPDP 2009
»
The RPC calculus
15 years 10 months ago
Download
ezrakilty.net
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
Ezra Cooper, Philip Wadler
claim paper
Read More »
98
click to vote
HASE
2008
IEEE
115
views
Control Systems
»
more
HASE 2008
»
Transaction Calculus
15 years 10 months ago
Download
www.srds2007.org
Jifeng He
claim paper
Read More »
107
Voted
ASIAN
2007
Springer
93
views
Algorithms
»
more
ASIAN 2007
»
Static vs Dynamic Typing for Access Control in Pi-Calculus
15 years 10 months ago
Download
www.dsi.unive.it
Michele Bugliesi, Damiano Macedonio, Sabina Rossi
claim paper
Read More »
« Prev
« First
page 130 / 455
Last »
Next »