2369 search results - page 221 / 474 » Software Supported Modelling in Pharmacokinetics |
200
click to vote
SEFM
2008
IEEE
16 years 29 days ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
152
click to vote
COMPSAC
2007
IEEE
16 years 28 days ago
2007
IEEE
Design patterns encode proven solutions to recurring design problems. To use a design pattern properly, we need to 1) understand the design problem the pattern resolves, 2) recogn...
150
click to vote
KBSE
2006
IEEE
16 years 18 days ago
2006
IEEE
Hierarchical diagrams are well-suited for visualizing the structure and decomposition of complex systems. However, the current tools poorly support modeling, visualization and nav...
175
click to vote
USENIX
2000
15 years 8 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
156
click to vote
JSW
2007
15 years 6 months ago
2007
Abstract—Frameworks are a key technology to reduce software development costs and shorten the time-to-market. However, framework complexity presents reuse problems that limit its...