571 search results - page 26 / 115 » A principled approach to operating system construction in Ha... |
ACMDIS
1997
ACM
15 years 5 months ago
1997
ACM
This paper describes the teleradiology application CHILI from the graphical user interface point of view. We present the most important design decisions taken during the construct...
107
click to vote
DALT
2005
Springer
15 years 6 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
101
click to vote
ALS
2003
Springer
15 years 6 months ago
2003
Springer
This paper takes an overtly anticipatory stance to the understanding of animat learning and behavior. It analyses four major animal learning theories and attempts to identify the a...
223
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
143
click to vote
CADE
1992
Springer
15 years 5 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...