Sciweavers

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