BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
Managing and communicating information and knowledge with patterns entail a multitude of assumptions, interests, and validity claims. Patterns are socially constructed, and they m...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
Psychological models of learning, forgetting, and memory processes are presented. These models describe human information processing as the formation and retrieval of associations...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence ca...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
: With his concept of „Knowledege in Action“ Rainer Kuhlen has formed the pragmatic orientation of information science. His approach introduced a dimension of time to the defin...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer