卡尔达诺施泰吉罗拉莫·卡尔达诺（ＧｉｒｏｌａｍｏＣａｒ－ｄａｎｏ，１５０１－１５７６），意大利数学家、医生和哲学家。卡尔达诺１５０１年９月２４日生于意大利帕维亚。１５２３年至１５２６年，卡尔达诺先后在帕多瓦......

补偿通信顺序进程（cCSP）是通信顺序进程用于长事务建模的扩展，可用来描述服务计算中的编制程序，比如WS-BPEL程序。目前，cCSP只有操作语......

无线网络己经被广泛运用于人们日常生活中的许多方面。尤其是在缺少固定基础设施的情况下,无线网络和无线技术是合适的通信解决方......