4731 search results - page 628 / 947 » Securing Interactive Programs |
178
click to vote
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....
160
click to vote
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
Loyalty systems provide an interesting possibility for vendors in customer relationship management. This holds for both real world and online vendors. Beside potential benefits of...
204
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
While You're Away (WYA) is a distributed system that aggregates the computational power of individual computer systems. WYA introduces the notion of Roaming Computations - Ja...
151
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO modelling. Unfortunately, it seems that the literature is not...
164
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Voting in uncontrolled environments, such as the Internet comes with a price, the price of having to trust in uncontrolled machines the collection of voter’s vote. An uncontrolle...