2317 search results - page 277 / 464 » Model based testing for agent systems |
134
Voted
COMPLIFE
2006
Springer
15 years 7 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...
130
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
139
click to vote
EVOW
2006
Springer
15 years 7 months ago
2006
Springer
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...
114
click to vote
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
128
Voted
NLPRS
2001
Springer
15 years 7 months ago
2001
Springer
In this project report we describe work in statistical parsing using the maximum entropy technique and the Alpino language analysis system for Dutch. A major difficulty in this d...