3335 search results - page 298 / 667 » A Unified Approach to Modeling and Programming |
157
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
180
click to vote
KBSE
2003
IEEE
16 years 6 hour ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
164
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Our work explores an interactive open learner modelling (IOLM) approach where learner diagnosis is considered as an interactive process involving both a computer system and a learn...
191
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
132
Voted
INFOVIS
2003
IEEE
16 years 12 hour ago
2003
IEEE
This paper proposes a conceptual model called compound brushing for modeling the brushing techniques used in dynamic data visualization. In this approach brushing techniques are m...