7961 search results - page 563 / 1593 » Input-Output Model Programs |
171
click to vote
ENTCS
2007
15 years 7 months ago
2007
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
220
Voted
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
156
click to vote
INFOVIS
2003
IEEE
16 years 16 days 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...
179
click to vote
OOPSLA
1989
Springer
15 years 11 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
206
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...