2369 search results - page 317 / 474 » Software Supported Modelling in Pharmacokinetics |
286
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
178
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
183
click to vote
DATE
2007
IEEE
16 years 23 days ago
2007
IEEE
We are concerned with the software implementation of baseband processing for the physical layer of radio standards (“Software Defined Radio - SDR”). Given the constraints for ...
199
click to vote
AOSD
2006
ACM
16 years 12 days ago
2006
ACM
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
179
click to vote
WER
2004
Springer
15 years 11 months ago
2004
Springer
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...