784 search results - page 33 / 157 » What would they think |
ECSCW
1993
13 years 9 months ago
1993
: This paper attempts to take what has been essentially abstract thinking about how to support the design process and relocates it within the working and organisational context of ...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
ENTCS
2008
13 years 7 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
ECEASST
2006
13 years 7 months ago
2006
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
CGF
2005
13 years 7 months ago
2005
If we were to have a Grid infrastructure for visualization, what technologies would be needed to build such an infrastructure, what kind of applications would benefit from it, and...