Model checking web services choreography in process analysis toolkit     

许东  雷州  李卫民  张博锋 《上海大学学报(英文版)》2010,14(1):45-49

  相似文献   

猪兄弟求教     

丁士风 《家教世界》2009,(1):19-19

这一天,小猪哼哼准备写作文,题目本来是《这件事给我的启示》,可他却写成了《这件事给我的启事》;而哩哩呢,因为爸爸丢了工具包,想让他帮着写一则  相似文献   

基于LabVIEW的数据库访问技术在船模测试中的应用     

邵鹤帅  肖绍章  王兰芳 《人天科学研究》2009,(11)

为提高试验测试效率,构建了基于虚拟TEDS的设备数据库,详细介绍了虚拟仪器LabVIEW中的数据库连接工具包,及在测试过程中对设备数据库访问的过程,实现对传感器的自动识别。  相似文献   

学习共享空间的规划过程及其评价方法   总被引：1，自引：0，他引：1  

詹华清  卢志国 《图书馆建设》2009,(7)

科学的规划过程与恰当的评价方法是学习共享空间规划中需要认真考虑和科学对待的重要问题,深入进行用户需求评价和分析是成功构建学习共享空间的关键步骤.工具包>详细介绍了学习共享空间的规划过程、规划中的评价技术与方法以及规划中应注意的问题.  相似文献   

基于YAZ工具包的Z39.50客户端的开发     

李明伍  张勤  吕先竞 《图书馆杂志》2005,24(3):59-63

本文介绍了Z39．50开发工具包YAZ的结构与特点以及基于该工具包实现Z39．50客户端的流程与关键函数,并给出实现业务的关键代码。希望本文的内容对于推广Z39．50信息检索标准的运用与服务有所帮助。  相似文献   

TIMEX BODYLINK体能监测工具包     

《世界发明》2004,26(3):103-103

认真对待体育运动的人们都明白带着心率监测仪进行训练有多种重要。Timex则做得更好,它开发了一套融合了心率监测、计时和GPS跟踪功能的系统--这样你就可以同时测量你的速度、运动的距离和训练强度了。Bodylink包括一条用来  相似文献   

Unlock the rigidity and design for flexibility     

Maria Spante  Thommy Ericsson  Maria Sunnerstam  Cammy Huang-De Vossu  Michael Axelsson 《美中教育评论》2010,(11):44-52

This paper reports findings from a project implementing the VL （virtual labs） site featuring flash-based animations developed at Stanford University. The main conclusion in this paper stresses the need to design for flexibility and adaptability of interactive media to better suit the specific situation teachers encounter in their everyday work, in order to allow them to build their own audiovisual presentation kits based on various available resources. Ambitious but rigid visualization products might otherwise end up not being used at all.  相似文献