2369 search results - page 251 / 474 » Software Supported Modelling in Pharmacokinetics |
207
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
174
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Each day, a software developer needs to answer a variety of questions that require the integration of different kinds of project information. Currently, answering these questions...
158
click to vote
IADIS
2008
15 years 8 months ago
2008
This article presents an empirical study performed to evaluate the Moodle usability, from the point of view of teachers who are using this system to support their classes. The usa...
188
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
167
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...