2685 search results - page 273 / 537 » Modeling task experience in user assistance systems |
192
click to vote
RTAS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
150
click to vote
DAWAK
2008
Springer
15 years 8 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
203
click to vote
TPHOL
2007
IEEE
16 years 27 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
169
click to vote
IMSCCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Peer-to-peer networks are one of the trends in the field of internetworking. Mobile agent-based technology is a newly proposed technology that can be used in peer-to-peer network...
194
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we describe Common Sense Investing (CSI), an interactive investment tool that uses a knowledge base of common sense statements in conjunction with domain knowledge ...