3557 search results - page 310 / 712 » Authoring Presentation for OpenMath |
184
click to vote
DBSEC
1998
15 years 8 months ago
1998
In this paper1 we discuss the security requirements for mediation, and present our approach towards satisfying them, with an emphasis on con dentiality and authenticity. Furthermo...
176
click to vote
IWFM
1998
15 years 8 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
136
click to vote
WEBNET
1998
15 years 8 months ago
1998
: This paper presents the modular training system MTS, the PLATINUM1 -Net, a worldwide network for innovative learning and advanced training, and distributed collaborative training...
170
click to vote
WSC
1998
15 years 8 months ago
1998
Active and cooperative learning methods represent a paradigm shift in the delivery of engineering education. These techniques recognize that the passive model of the typical colle...
156
click to vote
SEC
2000
15 years 8 months ago
2000
The theory of computer viruses has been studied by several authors, though there is no systematic theoretical study up to now. The long time open question in this area is as follo...