Sciweavers

7580 search results - page 391 / 1516
» Prometheus design tool
Sort
View
VL
1997
IEEE
151views Visual Languages» more  VL 1997»
15 years 10 months ago
A Structured Interactive Workspace for a Visual Configuration Language
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...
Jean-Yves Vion-Dury, François Pacull
WSC
2007
15 years 9 months ago
Visualization of users' activities in a specific environment
Evaluation of user interface design is usually based on usability testing methods. In this paper we analyzed and described the user behavior in the form of the user model. The use...
Zdenek Mikovec, Ivo Malý, Pavel Slaví...
ENTCS
2006
176views more  ENTCS 2006»
15 years 6 months ago
Automatic Formal Synthesis of Hardware from Higher Order Logic
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Sl...
CANDC
2009
ACM
16 years 1 months ago
ToneZone: image exploration with spatial memory cues
We present two versions of the ToneZone tool, which allows users to explore image tone ranges. The original ToneZone tool is a dual-mouse, dual-cursor tool, while a modified vers...
Celine Latulipe, Michael Youngblood, Ian Bell, Car...
IRI
2007
IEEE
16 years 1 months ago
SRG: A Digital Document-Enhanced Service Oriented Research Grid
We describe a new framework for building a system that consists of tools and services for supporting Cyberinfrastructure based scientific research. This system, called the Semanti...
Geoffrey Fox, Ahmet Fatih Mustacoglu, Ahmet E. Top...