762 search results - page 137 / 153 » Performance-oriented software architecture engineering: an e... |
OOPSLA
2010
Springer
14 years 7 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
110
click to vote
ICFP
2006
ACM
15 years 9 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
ICFEM
2004
Springer
15 years 2 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
UIST
2003
ACM
15 years 2 months ago
2003
ACM
We describe a new type of graphical user interface widget, known as a “tracking menu.” A tracking menu consists of a cluster of graphical buttons, and as with traditional menu...
100
click to vote
UIST
2003
ACM
15 years 2 months ago
2003
ACM
In this paper we propose a new model for a class of rapid serial visual presentation (RSVP) interfaces [16] in the context of consumer video devices. The basic spatial layout “e...