16616 search results - page 206 / 3324 » Extending Extended Vacuity |
134
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the EXHOST-PIPE software: an extension of PIPE
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
161
Voted
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
137
Voted
CPM
2004
Springer
15 years 10 months ago
2004
Springer