Sciweavers

1992 search results - page 231 / 399
» Model Based Testing with Labelled Transition Systems
Sort
View
139
Voted
COMPLIFE
2006
Springer
15 years 7 months ago
Software Supported Modelling in Pharmacokinetics
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
Regina Telgmann, Max von Kleist, Wilhelm Huisinga
174
Voted
TCGOV
2005
Springer
15 years 9 months ago
UNICAP: Efficient Decision Support for Academic Resource and Capacity Management
Growing complexity of the data and processes to be managed, as well as the transition from strict governmental regulation towards autonomy make academic institutions a significant ...
Svetlana Vinnik, Marc H. Scholl
115
Voted
ECIS
2004
15 years 5 months ago
Mobile telecommunications market innovation: the transformation from 2g to 3g
Current research focuses on the dynamics of mobile telecommunications market innovation from the perspectives of technology innovation or service adoption. However,because there i...
Jan Damsgaard, Ping Gao
EVOW
2006
Springer
15 years 7 months ago
Artificial Life Models in Lung CTs
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...
Sorin Cristian Cheran, Gianfranco Gargano
121
Voted
SIGSOFT
2004
ACM
15 years 9 months ago
Resolving uncertainties during trace analysis
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...
Alexander Egyed