809 search results - page 119 / 162 » Requirements by Contracts allow Automated System Testing |
ICANN
2010
Springer
15 years 26 days ago
2010
Springer
We propose a model of the hippocampus aimed at learning the timed association between subsequent sensory events. The properties of the neural network allow it to learn and predict ...
117
click to vote
ISORC
2005
IEEE
15 years 5 months ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
ERCIMDL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The increase in the amount of data available in digital libraries calls for the development of search engines that allow the users to find quickly and effectively what ...
AIME
2001
Springer
15 years 4 months ago
2001
Springer
Asbru is a language for specifying treatment plans. These plans are then used by an execution unit to give advice to the medical staff what actions to take (open-loop system). In ...
104
click to vote
COMPLIFE
2006
Springer
15 years 3 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...