1604 search results - page 43 / 321 » Development Separation in Lambda-Calculus |
90
Voted
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
126
Voted
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
128
click to vote
CCE
2011
14 years 7 months ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
112
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
The ready availability of online source code examples has changed the cost structure of programming by example modification. However, current search tools are wholly separate from...
95
Voted
EUROMICRO
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...