777 search results - page 143 / 156 » Model Checking with Formula-Dependent Abstract Models |
164
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
129
click to vote
EUROMICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
138
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
145
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
160
click to vote
LCPC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...