3884 search results - page 311 / 777 » A simplified modeling approach for human system interaction |
193
click to vote
ECMDAFA
2005
Springer
16 years 21 days ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
153
click to vote
SOFSEM
2004
Springer
16 years 15 days ago
2004
Springer
In this paper we present a model of versioned web sites which is aimed at building a web site configuration. The web site configuration is a consistent version of the web site an...
179
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
196
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- Identification of output error models from frequency domain data generally results in a non-convex optimization problem. A well-known method to approach the output error...
180
click to vote
HAPTICS
2005
IEEE
16 years 23 days ago
2005
IEEE
This paper outlines major challenges that we are facing in interfacing a human user with objects in the nanoworld via a haptic interface. After a review of prior efforts at haptic...