4480 search results - page 374 / 896 » Prototyping Completion with Constraints Using Computational ... |
174
click to vote
AISC
1994
Springer
15 years 10 months ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
173
click to vote
PC
1998
15 years 6 months ago
1998
This paper investigates communication strategies for interconnecting heterogeneous parallel systems. As the speed of processors and parallel systems keep on increasing over the ye...
169
click to vote
EICS
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we present Malai, a model-based user interface development environment. Malai is dedicated to the conception of post-WIMP (Window, Icon, Menu, Pointing device) inter...
180
click to vote
GROUP
2010
ACM
15 years 4 months ago
2010
ACM
This paper focuses on online gift exchange in a setting where online and offline interactions are tightly intertwined and most of the exchanges require face-to-face interaction to...
197
click to vote
GPC
2007
Springer
16 years 26 days ago
2007
Springer
Grid systems are well-known for its high performance computing or large data storage with inexpensive devices. They can be categorized into two major types: computational grid and ...