1054 search results - page 129 / 211 » From a Verified Kernel towards Verified Systems |
160
click to vote
RECSYS
2009
ACM
16 years 24 days ago
2009
ACM
Utility or preference elicitation is a critical component in many recommender and decision support systems. However, most frameworks for elicitation assume a predefined set of fe...
199
click to vote
AINA
2008
IEEE
16 years 23 days ago
2008
IEEE
A user authentication system using "unclear images" as pass-images has been proposed, in which only legitimate users can understand their meaning by viewing the original...
136
click to vote
TRIDENTCOM
2008
IEEE
16 years 20 days ago
2008
IEEE
This paper presents the setup of a testbed developed for the fast evaluation of RFID systems in two frequency domains. At the one hand the 13.56 MHz and at the other hand the 868 ...
146
click to vote
ICPADS
2006
IEEE
16 years 9 days ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
158
click to vote
SAINT
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper proposes a person-centered approach for personal task management in which people can decide management of their tasks according to their environments including their su...