3937 search results - page 355 / 788 » Questioning Ubiquitous Computing |
152
click to vote
AINA
2004
IEEE
15 years 9 months ago
2004
IEEE
We report a case study of designing a mobile phone of the future, involving participatory requirements elicitation using a form of scenario-based design. Participants took photogr...
156
click to vote
RTA
2000
Springer
15 years 9 months ago
2000
Springer
Linear Second-Order Unification and Context Unification are closely related problems. However, their equivalence was never formally proved. Context unification is a restriction of ...
150
Voted
ASIACRYPT
1991
Springer
15 years 9 months ago
1991
Springer
In [1] a construction of a block cipher from a single pseudorandom permutation is proposed. In a complexity theoretical setting they prove that this scheme is secure against a pol...
171
click to vote
CG
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Depth-first proof-number (df-pn) search is a powerful member of the family of algorithms based on proof and disproof numbers. While df-pn has succeeded in practice, its t...
150
click to vote
FPLAY
2008
15 years 7 months ago
2008
This paper is a call for research in the field of game engine architecture and design, a more comprehensive and thorough understanding of which we consider to be essential for its...