2369 search results - page 262 / 474 » Software Supported Modelling in Pharmacokinetics |
175
click to vote
IRI
2005
IEEE
16 years 3 days ago
2005
IEEE
For many years, researchers and software developers have been seeking to develop systems and applications to enable efficient and effective group work and organizational memory. ...
181
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
182
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
221
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
178
click to vote
ICSM
2007
IEEE
16 years 24 days ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...