Sciweavers

2560 search results - page 376 / 512
» Analysis Tool for Honeypot Systems
Sort
View
COMPLIFE
2006
Springer
15 years 5 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
FMICS
2006
Springer
15 years 5 months ago
Verified Design of an Automated Parking Garage
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
Aad Mathijssen, A. Johannes Pretorius
VL
1998
IEEE
123views Visual Languages» more  VL 1998»
15 years 5 months ago
A Visual Development Environment for Parallel Applications
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...
Philip T. Cox, Hugh Glaser, Stuart Maclean
EPEW
2008
Springer
15 years 3 months ago
Performance Evaluation of Embedded ECA Rule Engines: A Case Study
Embedded systems operating on high data workloads are becoming pervasive. ECA rule engines provide a flexible environment to support the management, reconfiguration and execution o...
Pablo Ezequiel Guerrero, Kai Sachs, Stephan Butter...
ISIM
2007
15 years 3 months ago
Formal Computation Independent Model of the Problem Domain within the MDA
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
Janis Osis, Erika Asnina, Andrejs Grave