4731 search results - page 646 / 947 » Securing Interactive Programs |
148
click to vote
MM
2000
ACM
15 years 11 months ago
2000
ACM
We have been handling video with supplementary documents, such as cooking programs, and are working on integration of such media. Through the integration, many applications will b...
142
click to vote
ADAEUROPE
1998
Springer
15 years 11 months ago
1998
Springer
: This paper describes a software architecture for industrial robots used in manufacturing equipment. In order to achieve software portability, the application software is dissocia...
169
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
155
click to vote
IVEVA
2004
15 years 8 months ago
2004
Abstract. In this paper we describe a system where behavior of characters and groups of characters are determined by assigning attributes to groups and individuals hierarchically a...
179
click to vote
WSC
2004
15 years 8 months ago
2004
Building computational models of real world systems usually requires the interaction of decision modules and simulation modules. Given different models and algorithms, the major h...