Sciweavers

5630 search results - page 13 / 1126
» Computability in Specification
Sort
View
CONCUR
2009
Springer
15 years 6 months ago
Secure Enforcement for Global Process Specifications
Jérémy Planul, Ricardo Corin, C&eacu...
68
Voted
NCA
2008
IEEE
15 years 6 months ago
An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets
Chryssis Georgiou, Peter M. Musial, Alexander A. S...
HPDC
2007
IEEE
15 years 6 months ago
Generating grid resource requirement specifications
Richard Y. Huang, Andrew A. Chien, Henri Casanova
DSN
2005
IEEE
15 years 5 months ago
Definition and Specification of Accrual Failure Detectors
Xavier Défago, Péter Urbán, N...