6106 search results - page 829 / 1222 » Modes for Software Architectures |
150
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
195
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Based on the design of the CS Freiburg team, which participated sucessfully in Robocup’98, we developed a new team of robotic soccer players. While the hardware compone...
177
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Locally and functionally distributed applications realized on different system architectures demand a universal, portable and intuitive software utility for interprocess communica...
167
click to vote
SPIRE
1999
Springer
15 years 11 months ago
1999
Springer
Modern computer-supported cooperative work applications (CSCW) supporting same-time/different-place interaction are required to open several communication channels. Each of these ...
171
click to vote
ACISP
1998
Springer
15 years 11 months ago
1998
Springer
PKI Public Key Infrastructure is fundamental for many security applications on the network. However, there are so many di erent kinds of PKI at current stage and they are not comp...