249 search results - page 8 / 50 » A Functional Logic Programming Approach to Graphical User In... |
TOOLS
1991
IEEE
13 years 11 months ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
The proliferation of graphical user interfaces has had a dramatic impact on the ability to work as a programmer. It is particularly difficult for the blind to create forms for vis...
DSVIS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
VL
2002
IEEE
14 years 9 days ago
2002
IEEE
Domain specific programming languages tend to be rigid in capability and dependent on either a graphical interface or a scripting language. We present a question-oriented approach...