4469 search results - page 731 / 894 » A Language for Role Specifications |
161
click to vote
OOIS
1994
Springer
15 years 10 months ago
1994
Springer
The business of software development is solving problems. Following Polya, we can increase our ability to solve problems by focusing directly on problems themselves, on their part...
169
click to vote
DPPI
2007
ACM
15 years 10 months ago
2007
ACM
This paper documents a first attempt at "designing for the self", an approach to designing products intended to help people move closer to their idealized sense of self a...
162
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
In Greece, there seems to be a growing level of awareness regarding open access among scholars, faculty staff and information professionals. Indeed, consensus regarding the necess...
168
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...
181
click to vote
FOCS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we consider a quantum computational variant of nondeterminism based on the notion of a quantum proof, which is a quantum state that plays a role similar to a certifi...