3868 search results - page 12 / 774 » Open Systems in TLA |
HT
2000
ACM
13 years 11 months ago
2000
ACM
XLink is an emerging Internet standard designed to support the linking of XML documents. We present preliminary work on using XLink as an export format for the links of an open hy...
CONCUR
2000
Springer
13 years 11 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
- It is attractive to use the OpenMP as a parallel programming model on a Multiprocessor System-On-Chip (MPSoC) because it is easy to write a parallel program in the OpenMP and the...
AGI
2008
13 years 8 months ago
2008
Machines significantly more intelligent than humans will require changes in our legal and economic systems in order to preserve something of our human values. An open source design...
LISA
1993
13 years 8 months ago
1993