3168 search results - page 119 / 634 » Computing Event Dependencies in System Designs and Programs |
176
click to vote
POPL
2012
ACM
14 years 16 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
132
Voted
PACT
1997
Springer
15 years 9 months ago
1997
Springer
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...
110
click to vote
IFIP
1998
Springer
15 years 9 months ago
1998
Springer
BUILD-IT is an up-and-running system putting at work highly intuitive, videobased interaction technology to support complex planning and configuration tasks. It makes state-of-the...
157
click to vote
JVA
2006
IEEE
15 years 11 months ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
134
Voted
EICS
2010
ACM
15 years 10 months ago
2010
ACM
Fostering creativity in User Interface (UI) design is challenging for innovation. This paper explores the combination of model-based approaches and interactive genetic algorithms ...