8760 search results - page 1516 / 1752 » Modeling users of intelligent systems |
179
click to vote
EUROCRYPT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...
156
click to vote
CA
1997
IEEE
15 years 10 months ago
1997
IEEE
Face-to-face interaction between people is generally effortless and effective. We exchange glances, take turns speaking and make facial and manual gestures to achieve the goals of ...
168
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
This paper postulates that for the Semantic Web to grow and gain input from fields that will surely benefit it, it needs to develop an analogue that will help people not only unde...
195
click to vote
ANSS
2004
IEEE
15 years 10 months ago
2004
IEEE
Recent advances in micro electro-mechanical systems and VLSI lithography have enabled the miniaturization of sensors and controllers. Such minitiarization facilitates the deployme...
193
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...