5255 search results - page 366 / 1051 » Formal Methods for Privacy |
158
click to vote
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means o...
135
click to vote
HCI
2011
14 years 8 months ago
2011
Over the past 15 years, children have become more integrally involved in the design of their technology. In this paper, we present the idea that design partnering methods, specific...
125
click to vote
IEEEARES
2010
IEEE
15 years 11 months ago
2010
IEEE
—Program obfuscation is often employed by malware in order to avoid detection by anti-virus software, but it has many other legitimate uses, such as copy protection, software lic...
156
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
The most common computer authentication method is to use alphanumerical usernames and passwords. This method has been shown to have significant drawbacks. For example, users tend ...
170
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
In this paper, we study a simple means for coordinating teams of simple agents. In particular, we study ant robots and how they can cover terrain once or repeatedly by leaving mar...