Sciweavers

351 search results - page 54 / 71
» Prototyping a Visual Formalism for System Modelling
Sort
View
CHI
1994
ACM
14 years 21 days ago
Model-based interface development
rom abstract objects like user tasks. ost interface development problems can be traced to two sources: the need for usercentered design environments and the lack of software system...
Angel R. Puerta, Pedro Szkeley
RTCSA
1999
IEEE
14 years 27 days ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
KBSE
2007
IEEE
14 years 2 months ago
Iterative model-driven development of adaptable service-based applications
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mau...
ISMAR
2009
IEEE
14 years 3 months ago
Physical-virtual tools for spatial augmented reality user interfaces
This paper presents a new user interface methodology for Spatial Augmented Reality systems. The methodology is based on a set of physical tools that are overloaded with logical fu...
Michael R. Marner, Bruce H. Thomas, Christian Sand...
ITCC
2005
IEEE
14 years 2 months ago
Grid-Based Collaboration in Interactive Data Language Applications
Interactive Data Language (IDL) is an array-oriented data analysis and visualization application, which is widely used in research, commerce, and education. It is meaningful to ma...
Minjun Wang, Geoffrey Fox, Marlon E. Pierce