133 search results - page 9 / 27 » Towards a Game Theoretic View of Secure Computation |
RP
2009
Springer
14 years 2 months ago
2009
Springer
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
AUTOMATICA
2004
13 years 7 months ago
2004
Families of semipermeable curves in differential games with the homicidal chauffeur dynamics are studied both from theoretical and computational points of view. The knowledge of s...
SOFSEM
2005
Springer
14 years 1 months ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
CIM
2011
13 years 2 months ago
2011
We propose to return to the roots of Artificial/Computational Intelligence applicability to board games domain by attempting to mimic human way of playing (or human intelligence ...
LICS
1994
IEEE
14 years 3 hour ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...