2369 search results - page 364 / 474 » Software Supported Modelling in Pharmacokinetics |
186
click to vote
ICSE
1993
IEEE-ACM
15 years 10 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
152
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
191
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
182
click to vote
MEDINFO
2007
15 years 7 months ago
2007
Ongoing concerns have been raised over the effectiveness of information technology products and systems in maintaining privacy protection for sensitive data. The aim is to ensure ...
163
click to vote
WSCG
2004
15 years 7 months ago
2004
3D design software has since long employed graphics chips for low-quality real-time previewing. But their dramatically increased computing power now paves the way to accelerate th...