1196 search results - page 129 / 240 » DASCOSA: Database Support for Computational Science Applicat... |
101
click to vote
CADE
1990
Springer
15 years 1 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
BTW
2009
Springer
15 years 4 months ago
2009
Springer
: The interdisciplinary ViFaChem II project aims at providing a chemical digital library infrastructure for creating personalized information spaces. The value added services and s...
JUCS
2008
14 years 9 months ago
2008
: Linguistics and stylistics have been investigated for author identification for quite a while, but recently, we have testified a impressive growth in the volume with which lawyer...
101
click to vote
SC
2000
ACM
15 years 2 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
MOBISYS
2007
ACM
15 years 9 months ago
2007
ACM
Cyber foraging is the transient and opportunistic use of compute servers by mobile devices. The short market life of such devices makes rapid modification of applications for remo...