排序方式： 共有2条查询结果，搜索用时 31 毫秒
1
1.
MOTIVATION The calculus of Mobile Ambients (MA) (Cardelli and Gordon, 1998) was proposed to model the mobile computation based upon the notion of ambient, a bounded location where computation takes place. It can also perform movements and carry mul-tiple processes and nested ambients within it: Primi-tive “in” and “out” allows the ambient to cross the computation boundary, and primitive “open” allows the boundary to dissolve and then to unleash the in-ternal processes. Later on, s… 相似文献
2.
<正> 一、概述 传统的“口授+板书”的教学方式已不适应实践性很强的计算机教育,上海交大计算机系软件室从一九九一年研制计算机辅助教学课件系列C语言课件开始,逐步完成了计算机基础教育的CAI课件系列,它包括《中西文电脑操作》,《C/C++》,《PASCAL》,《数据库》和《数据结构》,旨在提供一个由浅入深的能够利用计算机学习计算机的系列课件,在三个年度的教学改革中,反应良好。 二、备课件内容 1.中西文电脑操作教师(CAICTS) 该软件包括计算机基础知识,计算机专用术语解释:DOS命令详解及其使用技巧,中文系统的原 相似文献
1