4421 search results - page 300 / 885 » Libraries |
120
click to vote
DL
1995
Springer
15 years 7 months ago
1995
Springer
We have constructed a proof-of-principle system for supporting collaborative forensic medicine. The early prototype is built on ABC/DGS, a graph-server and collaborative hypermedi...
123
click to vote
USENIX
2007
15 years 6 months ago
2007
Tame is a new event-based system for managing concurrency in network applications. Code written with Tame abstractions does not suffer from the “stackripping” problem associat...
121
Voted
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Large scale digitization projects have been conducted at the Internet Archive digital library to preserve cultural artifacts and to provide permanent access. The increasing amount...
122
Voted
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
139
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
Eclipse has the potential to become a widely-used platform for implementation and dissemination of various static analyses for Java. In order to realize this potential, it is impo...