1054 search results - page 114 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
148
click to vote
ENC
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a web-based application that allows a user to, walk through, see, and interact with a fully threedimensional model of an old Mexican city. The city itself motivates thi...
148
click to vote
CINQ
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
114
click to vote
JUCS
2006
15 years 4 months ago
2006
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
131
click to vote
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results repo...
148
click to vote
E4MAS
2004
Springer
15 years 9 months ago
2004
Springer
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...