Sciweavers

2272 search results - page 130 / 455
» A Calculus for
Sort
View
ISW
2009
Springer
15 years 10 months ago
A Calculus to Detect Guessing Attacks
Bogdan Groza, Marius Minea
PPDP
2009
Springer
15 years 10 months ago
The RPC calculus
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
HASE
2008
IEEE
15 years 10 months ago
Transaction Calculus
Jifeng He
107
Voted
ASIAN
2007
Springer
93views Algorithms» more  ASIAN 2007»
15 years 10 months ago
Static vs Dynamic Typing for Access Control in Pi-Calculus
Michele Bugliesi, Damiano Macedonio, Sabina Rossi