25 search results - page 5 / 5 » Generating an Abstract User Interface from a Discourse Model... |
135
Voted
JUCS
2008
15 years 3 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
126
Voted
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...
142
Voted
DAC
1999
ACM
15 years 8 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
138
Voted
FAC
2007
15 years 3 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
172
Voted
STORYTELLING
2005
Springer
15 years 9 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....