2369 search results - page 357 / 474 » Software Supported Modelling in Pharmacokinetics |
265
click to vote
ICDE
2005
IEEE
16 years 7 months ago
2005
IEEE
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...
266
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
190
click to vote
IV
2007
IEEE
16 years 17 days ago
2007
IEEE
When visualising datasets that are too large to be displayed in their entirity, interactive navigation is a common solution. However, instantaneous updates of the visualisation wh...
157
click to vote
PRDC
2007
IEEE
16 years 17 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
168
click to vote
SEKE
2007
Springer
16 years 12 days ago
2007
Springer
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...