967 search results - page 41 / 194 » Domain Modelling for Ubiquitous Computing Applications |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
CHI
1992
ACM
15 years 1 months ago
1992
ACM
This paper describes a computational model of skilled use of a graphical user interface based on Kintsch's construction-integration theory [4, 8]. The model uses knowledge of...
CODES
1998
IEEE
15 years 2 months ago
1998
IEEE
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
RTSS
2003
IEEE
2003
IEEE
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
15 years 3 months ago
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...