5664 search results - page 257 / 1133 » Creativity support tools |
135
Voted
EICS
2009
ACM
15 years 9 months ago
2009
ACM
MoLIC, a modeling language for designing interaction as a metaphor of conversation, was proposed to allow designers to build a blueprint of all interaction that may take place whe...
145
Voted
GI
2009
Springer
15 years 9 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
154
click to vote
OHS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The task of information integration challenges software engineers on a daily basis. Software artifacts, produced during software development, contain many implicit and ex...
118
click to vote
VISUALIZATION
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents a tool for the visual exploration of DNA sequences represented as H-curves [7]. Although very long sequences can be plotted using H-curves, micro-features are ...
129
click to vote
AADEBUG
1997
Springer
15 years 9 months ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...