2317 search results - page 158 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
187
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
IJACTAICIT
2010
14 years 7 months ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
115
click to vote
CONCUR
2001
Springer
15 years 2 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
CAISE
2007
Springer
15 years 4 months ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...