275 search results - page 10 / 55 » Checking Framework Interactions with Relationships |
IACR
2011
12 years 7 months ago
2011
We put forth a framework for expressing security requirements from interactive protocols in the presence of arbitrary leakage. This allows capturing different levels of leakage to...
ACMDIS
1997
ACM
13 years 12 months ago
1997
ACM
Human-computer interaction is multidisciplinary, drawing paradigms and techniques from both the natural sciences and the design disciplines. HCI cannot be considered a pure natura...
COLCOM
2008
IEEE
13 years 9 months ago
2008
IEEE
Networked virtual environments (NVE) refer to the category of distributed applications that allow a large number of distributed users to interact with one or more central servers i...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
The structure of customer communication network provides us a natural way to understand customers’ relationships. Traditional customer relationship management (CRM) methods focu...