1215 search results - page 60 / 243 » Testing in the Distributed Test Architecture: An Extended Ab... |
169
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
147
click to vote
DEXA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
156
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
159
click to vote
UIST
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
175
click to vote
ECTEL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The MiGen project is designing and developing an intelligent, exploratory environment to support 11–14-year-old students in their learning of mathematical generalisatio...