Sciweavers

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