86 search results - page 4 / 18 » How Lisp Systems Look Different |
EURONGI
2006
Springer
13 years 11 months ago
2006
Springer
Structured overlay networks is an important and interesting primitive that can be used by diverse peer-to-peer applications. Multiple overlays can result either because of network ...
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
TEDU
2012
12 years 3 months ago
2012
This paper takes a look at narrative forms as of yet unexplored in the field of digital interactive storytelling, and proposes methods for how they can be used in engaging ways fo...
IWPC
2003
IEEE
14 years 1 months ago
2003
IEEE
Programmers must attain knowledge about a system before they can perform specific software maintenance tasks on it. Traditionally, computer scientists have described the activity ...
MC
2001
13 years 9 months ago
2001
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...