BIRTHDAY
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
BIRTHDAY
2004
Springer
13 years 8 months ago
2004
Springer
BIRTHDAY
2004
Springer
13 years 8 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
BIRTHDAY
2004
Springer
13 years 8 months ago
2004
Springer
BIRTHDAY
2004
Springer
13 years 8 months ago
2004
Springer
The discussions about learning management systems and reusable learning objects primarily focus on technical standardization issues. Standards such as SCORM or LTSC-LOM will yield...
BIRTHDAY
2004
Springer
13 years 8 months ago
2004
Springer
A quantified Boolean formula is true, if for any existentially quantified variable there exists a Boolean function depending on the preceding universal variables, such that substi...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
The ‚Nietzsche-Thesaurus’ ist part of an Internet-Portal to the German philosopher Friedrich Nietzsche (under construction). By using the complex Index of a Citation Lexicon (...
BIRTHDAY
2004
Springer
13 years 10 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
13 years 10 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
13 years 10 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...