1121 search results - page 61 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
107
click to vote
CSCWD
2005
Springer
15 years 7 months ago
2005
Springer
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
116
Voted
FORTE
2004
15 years 3 months ago
2004
Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents the fabrication and the testing of piezoelectric unimorph actuators with embedded piezoelectric sensors which are meant to be used for the actuation of the Mic...
141
click to vote
SDL
2007
15 years 3 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
130
click to vote
JIISIC
2007
15 years 3 months ago
2007
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and constr...