607 search results - page 29 / 122 » There Is Something about Might |
135
click to vote
AFP
2004
Springer
15 years 7 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
104
click to vote
KR
2004
Springer
15 years 7 months ago
2004
Springer
Humans have always done nonmonotonic reasoning, but rigorous monotonic reasoning in reaching given conclusions has been deservedly more respected and admired. Euclid contains the ...
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Although distributed Group Support Systems (GSS) are getting popular, there are still some limitations. One of the limitations is few substitutions for face-to-face (FTF) interact...
131
click to vote
ELPUB
2003
ACM
15 years 7 months ago
2003
ACM
Electronic publishing constitutes one of the most exciting themes nowadays, amongst academics, at least, though substantial effects of IT usage for communication purposes in other...
138
click to vote
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
This paper is an account of some of the more instructive experiences we gained as we sought to ensure that our information technology training programs kept pace with a fast chang...