5054 search results - page 665 / 1011 » How designers design and program interactive behaviors |
155
click to vote
UM
2007
Springer
16 years 27 days ago
2007
Springer
Information graphics, such as bar charts and line graphs, that appear in popular media generally have a message that they are intended to convey. We have developed a novel plan inf...
156
click to vote
HASKELL
2006
ACM
16 years 23 days ago
2006
ACM
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
160
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes our experience in designing and building a tool for visualizing the results of the CE-QUAL-ICM Three-Dimensional Eutrophication Model, as applied to water qua...
199
click to vote
SAS
1993
Springer
15 years 11 months ago
1993
Springer
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
171
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...