Sciweavers

2369 search results - page 319 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
AVI
2006
15 years 7 months ago
Programming rich interactions using the hierarchical state machine toolkit
Structured graphics models such as Scalable Vector Graphics (SVG) enable designers to create visually rich graphics for user interfaces. Unfortunately current programming tools ma...
Renaud Blanch, Michel Beaudouin-Lafon
SEKE
2010
Springer
15 years 4 months ago
Specification patterns can be formal and still easy
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
Fernando Asteasuain, Víctor A. Braberman
AIED
2005
Springer
15 years 12 months ago
Developing Teaching Aids for Distance Education
As web-enhanced courses become more successful, they put considerable burdens on instructors and teaching assistants. We present our work on developing software tools to support in...
Jihie Kim, Carole Beal, Zeeshan Maqbool
ISCAS
2007
IEEE
101views Hardware» more  ISCAS 2007»
16 years 21 days ago
Automated HDL Generation: Comparative Evaluation
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
Yana Yankova, Koen Bertels, Stamatis Vassiliadis, ...
SIGSOFT
2001
ACM
16 years 7 months ago
A graph based architectural (Re)configuration language
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
Michel Wermelinger, Antónia Lopes, Jos&eacu...