Sciweavers

529 search results - page 8 / 106
» An Eclipse GMF Tool for Modelling User Interaction
Sort
View
HCI
2007
14 years 11 months ago
A 3D Sketching Interacting Tool for Physical Simulation Based on Web
Sketching interface, as a user-friendly means for expression and communication, is not only an important medium for inputting 3D objects, but also a significant step of visualizing...
Ziyi Zheng, Lingyun Sun, Shouqian Sun
ATVA
2009
Springer
117views Hardware» more  ATVA 2009»
15 years 4 months ago
UnitCheck: Unit Testing and Model Checking Combined
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
Michal Kebrt, Ondrej Sery
HCI
2007
14 years 11 months ago
Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications
Abstract. The Multimedia Modeling Language (MML) is a platformindependent modeling language for model-driven development of interactive multimedia applications. Using models provid...
Andreas Pleuß, Heinrich Hußmann
ICEIS
2000
IEEE
15 years 2 months ago
A User-Friendly Development Tool for Medical Diagnosis Based on Bayesian Networks
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
Isabel Milho, Ana L. N. Fred
83
Voted
STTT
2010
134views more  STTT 2010»
14 years 8 months ago
A case study to evaluate the suitability of graph transformation tools for program refactoring
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...
Francisco Javier Pérez, Yania Crespo, Berth...