1321 search results - page 41 / 265 » A Context Model for Personal Knowledge Management Applicatio... |
APCCM
2004
13 years 10 months ago
2004
A person working with diverse information sources--with possibly different formats and information models--may recognize and wish to express conceptual structures that are not exp...
TPHOL
2007
IEEE
14 years 3 months 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 ...
AMKM
2003
Springer
14 years 1 months ago
2003
Springer
Every time a user engaged in work reads or writes, the user spontaneously generates new information needs: to understand the text he or she is reading or to supply more substance ...
ESM
2000
13 years 10 months ago
2000
We are located in the context of the simulation of complex industrial systems, which are distributed in geographical, decisional and informational terms. This paper is divided int...
ADBIS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...