11151 search results - page 316 / 2231 » On the Complexity of Model Expansion |
178
click to vote
JAPLL
2006
15 years 7 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
213
click to vote
IWSAS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...
202
click to vote
VIP
2000
15 years 8 months ago
2000
This paper presents a model for describing visualisation by considering individual parts of an instance and relating them to each other. The resulting part-relationship structure ...
183
Voted
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
147
Voted
CEC
2005
IEEE
16 years 1 months ago
2005
IEEE
An investigation is conducted into the effects of a complex mapping between genotype and phenotype upon a simulated evolutionary process. A model of embryogeny is utilised to grow ...