6581 search results - page 1237 / 1317 » Formalizing Design Patterns |
163
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
164
click to vote
EUROCRYPT
2004
Springer
15 years 10 months ago
2004
Springer
We introduce Ad Hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad hoc groups, and then prove...
158
click to vote
ACSAC
2001
IEEE
15 years 9 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
173
click to vote
ISSTA
2010
ACM
15 years 9 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
272
click to vote
UMC
2000
15 years 9 months ago
2000
Quantum information and computation is the new hype in physics. It is promising, mindboggling and even already applicable in cryptography, with good prospects ahead. A brief, rathe...