2373 search results - page 45 / 475 » The Design of the Zinc Modelling Language |
142
click to vote
ICECCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
133
click to vote
ITS
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
138
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
171
Voted
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Recently, the complexity of modern, real-time computer games has increased drastically. The need for sophisticated game AI, in particular for Non-Player Characters, grows with the ...
176
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...