1284 search results - page 136 / 257 » On Helping and Interactive Proof Systems |
IEEEARES
2006
IEEE
14 years 4 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
FASE
2005
Springer
14 years 3 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
The focus of this panel will be on aging and technology. The intent is to demonstrate how technology can be used to help older adults remain independent, productive and connected ...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper focuses on agent-based approach to study the relationship between the individual behavior of participants and the overall development of a virtual community, to help pe...
SEMWEB
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Enabling trust on the Semantic Web to ensure more efficient agent interaction is an important research topic. Current research on trust seems to focus on developing comp...