1965 search results - page 29 / 393 » On the analysis of interacting pushdown systems |
149
click to vote
ECBS
1997
IEEE
15 years 10 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
135
click to vote
TEI
2010
ACM
16 years 25 days ago
2010
ACM
This paper discusses observations of visitor interactions around a museum installation, focusing on how physical setup and shape of two variants of the installation, a telescope-l...
165
click to vote
PPSC
1993
15 years 7 months ago
1993
Financial modeling represents a promising industry application of high performance computing. In previous work, parallel stock option pricing models were developed for the Connect...
163
click to vote
MC
2008
15 years 7 months ago
2008
The vast majority of medical computer-based training (CBT) systems aim at problem-oriented case based training. A crucial issue in the design of CBT systems is the selection of ap...
154
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...