欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
会议
> 会议详情页
ePet: A physical game based on wireless sensor networks
所属机构名称:中山大学
会议名称:International Symposium on Advances in Computer and Sensor Networks and Systems
成果类型:会议
会场:Zhengzhou, PEOPLES R CHINA
相关项目:基于双代数的对象行为规范及其应用研究
作者:
Zheng, Yao-zhan|Zhou, Xiao-cong|Li, Wen-jun|Tan, Wei-hua|
同会议论文项目
基于双代数的对象行为规范及其应用研究
期刊论文 9
会议论文 10
同项目会议论文
Bisimulation proof methods in a path-based specification language for polynomial coalgebras
Towards context modeling for algorithm animation
Shifting from a computer game to a physical game: A case study of ePet
FRASCS: A framework supporting context sharing
QoS-driven service composition modeling with extended hierarchical CPN
QoS specification in software architecture for QoS-aware applications
Testing and proving distributed algorithms in constructive type theory
基于 UML 扩展的无线传感器网络应用程序建模
Towards a framework of aspect-oriented modeling with UML