2317 search results - page 158 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
POPL
2008
ACM
14 years 8 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
14 years 2 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
13 years 5 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 ...
CONCUR
2001
Springer
14 years 24 days 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
14 years 2 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 ...