2152 search results - page 235 / 431 » An Abstract Account of Composition |
145
click to vote
SPW
2004
Springer
15 years 12 months ago
2004
Springer
abstract February 6, 2004 Security protocols typically employ an authentication phase followed by a protected data exchange. In some cases, such TLS, these two phases are tightly ...
174
click to vote
TYPES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
161
click to vote
PDP
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Among the numerous DAG scheduling heuristics suitable for heterogeneous systems, the Heterogeneous Earliest Finish Time (HEFT) heuristic is known to give good results in...
153
click to vote
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
160
click to vote
ISCC
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract—The link layer of an optical direct-detection code-division multiple-access (CDMA) packet network is considered. Two different protocols that need pretransmission coordi...