4421 search results - page 260 / 885 » Libraries |
97
Voted
ENTCS
2008
15 years 3 months ago
2008
We present a Java library for mobile phones which tracks and controls at runtime the use of potentially costly resources, such as premium rate text messages. This improves on the ...
109
Voted
IJRR
2007
15 years 3 months ago
2007
jr.sagepub.com/cgi/content/abstract/26/3/273 The online version of this article can be found at: Published by: http://www.sagepublications.com On behalf of: Multimedia Archives can...
117
Voted
JAR
2007
15 years 3 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
114
click to vote
CUZA
2002
15 years 3 months ago
2002
This paper presents an extension of a performance evaluation library called Fast to handle parallel routines. Fast is a dynamic performance forecasting tool in a grid environment. ...
117
click to vote
CG
1998
Springer
15 years 3 months ago
1998
Springer
Chemisty faces interesting problems with regard to internet-based information visualization, especially in the context of digital library documents with multimedia components. We ...