4917 search results - page 359 / 984 » Software Engineering is Not Computer Science |
111
click to vote
ARCS
1997
Springer
15 years 8 months ago
1997
Springer
This paper introduces a powerful novel sequencer hardware for controlling computational machines and for structured DMA (direct memory access) applications. The paper introduces t...
132
click to vote
IUI
2009
ACM
16 years 28 days ago
2009
ACM
We motivate the need for new environments for collaborative reasoning and describe the foundations of our approach, namely collaboration, semantics, and adaptability. We describe ...
119
click to vote
SEW
2007
IEEE
15 years 10 months ago
2007
IEEE
We revisit the automatic tool composition feature of the Electronic Tool Integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temp...
119
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
This short paper, an update of [75], is intended to provide a brief summary and extensive references on biological applications for micro- and nano-machining, as well as the compu...
114
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...