3825 search results - page 482 / 765 » The Language of Time: A Reader |
196
click to vote
FPLE
1995
15 years 11 months ago
1995
Computer science students need mathematical proof skills. At our University, these skills are being taught as part of various mathematics and computer science courses. To test the ...
200
click to vote
POPL
1995
ACM
15 years 11 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
183
click to vote
ASPLOS
1991
ACM
15 years 11 months ago
1991
ACM
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...
169
click to vote
POPL
1991
ACM
15 years 11 months ago
1991
ACM
-order multiparty interaction is an abstraction mechanism that defines communication among a set of formal process roles. Actual processes participate in a first-order interactio...
221
click to vote
DESRIST
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we describe the concept of ontological design. We show how ontologies can be used as cognitive maps of complex, ill-structured, plastic problems. They can be used t...