1769 search results - page 136 / 354 » An implementation of argument based discussion |
165
click to vote
COBUILD
1998
Springer
15 years 10 months ago
1998
Springer
We envision that the architectural space we inhabit will be a new form of interface between humans and online digital information. This paper discusses Ambient Displays: a new appr...
150
click to vote
LCPC
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes an ongoing e ort supported by ARPA PCRC (Parallel Compiler Runtime Consortium) project. In particular, we discuess the design and implementation of an HPF com...
157
click to vote
SC
1993
ACM
15 years 10 months ago
1993
ACM
Vienna Fortran is a machine-independent language extension of Fortran, which is based upon the Single-Program-Multiple-Data SPMD paradigm and allows the user to write programs f...
160
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
When an organization decides on the level of flexibility in handling business process instances, it needs to impose this level in operational practice. The way of imposing a given ...
199
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...