Sciweavers

1709 search results - page 79 / 342
» Precise Modeling of Design Patterns
Sort
View
FM
2005
Springer
98views Formal Methods» more  FM 2005»
15 years 6 months ago
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
Richard Banach, Michael Poppleton, Czeslaw Jeske, ...
HCI
2007
15 years 2 months ago
Design of an Adaptive Feedback Based Steering Wheel
This paper aims at describing the architectural model of an adaptive force-feedback for a By Wire steering wheel system. This solution uses a steering wheel to replicate the reacti...
Mauro Dell'Amico, Stefano Marzani, Luca Minin, Rob...
136
Voted
ISUVR
2007
15 years 2 months ago
Graphical Tangible User Interface for a AR Authoring Tool in Product Design Environment
—We are suggesting a graphical tangible user interface for augmented reality (AR) authoring tool in product design Environment. This user interface can be used for more efficient...
Taejin Ha, Woontack Woo
94
Voted
WISE
2005
Springer
15 years 6 months ago
Asynchronous Web Services Communication Patterns in Business Protocols
Asynchronous interactions are becoming more and more important in the realization of complex B2B Web applications, and Web services are at the moment the most innovative and well-e...
Marco Brambilla, Giuseppe Guglielmetti, Christina ...
DAGSTUHL
2007
15 years 2 months ago
Control Patterns in a Health Care Network
In this paper we present control patterns for the analysis and design of administrative control mechanisms in a network organization. A control pattern is a description of a generi...
Vera Kartseva, Joris Hulstijn, Jaap Gordijn, Yao-H...