304 search results - page 25 / 61 » Safe futures for Java |
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
275
click to vote
Tutorial
This article provides a basic introduction to neural networks and neural network programming using the Encog Artificial Intelligence Framework. Encog is an AI framework that is ava...
MEDINFO
2007
13 years 9 months ago
2007
The openEHR foundation has developed an innovative design for interoperable and future-proof Electronic Health Record (EHR) systems based on a dual model approach with a stable re...
FSR
2007
Springer
14 years 1 months ago
2007
Springer
Current Mars rovers travel a few kilometers per year. Future rovers will need to travel a couple orders of magnitude faster than that in order to move from safe landing zones to a...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
A program is reentrant if distinct executions of that program on distinct inputs cannot affect each other. Reentrant programs have the desirable property that they can be deployed...