Sciweavers

9931 search results - page 271 / 1987
» Generative Modeling by PRISM
Sort
View
ICAS
2006
IEEE
103views Robotics» more  ICAS 2006»
15 years 11 months ago
Model Driven capabilities of the DA-GRS model
— The development of applications that target dynamic networks often adresses the same difficulties. Since the underlying network topology is unstable, the application has to ha...
Arnaud Casteigts
ICDCSW
2007
IEEE
15 years 11 months ago
The WUI-Toolkit: A Model-Driven UI Development Framework for Wearable User Interfaces
We introduce the “WUI-Toolkit” as a framework to support and ease the development of wearable user interfaces (WUIs). The toolkit presents a first step towards a model-driven...
Hendrik Witt, Tom Nicolai, Holger Kenn
144
Voted
WOSP
2005
ACM
15 years 10 months ago
Modeling continuous changes of the user's dynamic behavior in the WWW
Understanding the characteristics of the users’ workload is an important aspect when designing and providing web services. The majority of current workload characterization tech...
Raúl Peña-Ortiz, Julio Sahuquillo, A...
CORR
2008
Springer
99views Education» more  CORR 2008»
15 years 4 months ago
Collaborative model of interaction and Unmanned Vehicle Systems' interface
Abstract-- The interface for the next generation of Unmanned Vehicle Systems should be an interface with multi-modal displays and input controls. Then, the role of the interface wi...
Sylvie Saget, François Legras, Gilles Coppi...
FM
2009
Springer
189views Formal Methods» more  FM 2009»
15 years 2 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...