×
佩雷拉·帕斯夸林，道格拉斯;朱利安娜·凯泽·维佐托;爱德华多·凯斯勒·皮维塔

普及应用程序的类型化上下文感知环境演算。 （英语） Zbl 1347.68271号

正式Asp。计算。 27，编号5-6，885-916（2015）.

MSC公司：

第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
03B70号 计算机科学中的逻辑

关键词：

类型系统;演算;普适计算;上下文感知

软件：

Nuprl公司
PDF格式BibTeX公司 XML格式引用
\textit{D.Pereira Pasqualin}等人，正式Asp。计算。27、编号5--6885--916（2015；Zbl 1347.68271）
全文： 内政部

参考文献：

[1] Abowd GD、Dey AK、Brown PJ、Davies N、Smith M、Steggles P（1999）《更好地理解语境和语境意识》。在：HUC’99：第一届手持和泛在计算国际研讨会论文集，第1707卷，计算机科学讲义，英国伦敦。施普林格柏林/海德堡，第304-307页
[2] Aly SG，Nadi S，Hamdan K：一种基于Java的编程语言，支持普适系统中的位置管理。国际计算机科学与网络安全期刊8（6），329-336（2008）
[3] Augusto JC（2007）《环境智能：普适计算与人工智能的融合》。收录：Schuster AJ（ed）Intelligent Computing Everywhere，第11章。伦敦施普林格，第213-234页·Zbl 0752.68036号
[4] Bugliesi M、Castagna G、Crafa S：移动代理的访问控制：装箱环境的演算。ACM Trans Program Lang Syst（TOPLAS）26，57-124（2004年）·doi:10.1145/963778.963781
[5] Constable RL、Allen SF、Bromley HM、Cleaveland WR、Cremer JF、Harper RW、Howe DJ、Knoblock TB、Mendler NP、Panangaden P、Sasaki JT、Smith SF（1986）《利用Nuprl证明发展障碍实施数学》。Prentice-Hall公司，Upper Saddle River·Zbl 0752.68036号
[6] Cardelli L：类型系统。ACM计算调查（CSUR）28、263-264（1996）·数字对象标识代码：10.1145/234313.234418
[7] Chin JS、Callaghan V、Clarke G（2006）普及计算应用的最终用户编程范例。收录：ACS/IEEE普及服务国际会议，第325-328页
[8] Coppo M、Dezani-Ciancaglini M、Giovannetti E、Salvo I（2003）M3：移动环境中移动进程的移动类型。电子计算机科学笔记，78（0）：144-177。CATS’03，计算：澳大利亚理论研讨会·Zbl 1270.68211号
[9] Cardelli L，Gordon AD（1998）《移动环境》。摘自：第一届软件科学和计算结构基础国际会议论文集，第1378卷。伦敦施普林格，第140-155页·Zbl 0954.68108号
[10] Cardelli L，Gordon AD（1999）移动环境类型。第26届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'99。ACM，纽约，第79-92页
[11] Cardelli L，Gordon AD：移动环境。Theor Compute Sci《计算机科学》240、177-213（2000）·Zbl 0954.68108号 ·doi:10.1016/S0304-3975（99）00231-5
[12] Charatonik W、Gordon A、Talbot J-M（2002）《Finite-control移动环境》。收录于：Le Métayer D（ed）Programming languages and systems，第2305卷，计算机科学课堂讲稿。柏林/海德堡施普林格出版社，第295-313页·Zbl 1077.68574号
[13] Dapoigny R，Barlatier P（2007）《走向上下文软件系统的上下文理论》。附：2007年环境情报进展会议记录。阿姆斯特丹IOS出版社，第36-55页·Zbl 1146.68021号
[14] Deransart P，Smaus J-G（2002）作为证明理论性质的逻辑程序主题约简。J功能逻辑程序2002·兹比尔1037.68029
[15] Grimm R、Davis J、Hendrickson B、Lemar E、MacBeth A、Swanson S、Anderson T、Bershad B、Borriello G、Gribble S、Wetherall D（2001）普及计算系统方向。摘自：第八届操作系统热门话题研讨会论文集，2001年20月22日。IEEE计算机学会，华盛顿特区，第147-151页
[16] Gordon AD：功能编程和输入/输出。剑桥大学出版社，纽约（1994）·Zbl 0841.68022号
[17] Huth M，Ryan M：计算机科学中的逻辑：系统建模和推理。剑桥大学出版社，纽约（2004）·Zbl 1073.68001号 ·doi:10.1017/CBO9780511810275
[18] Hofer T、Schwinger W、Pichler M、Leonhartsberger G、Altmann J、Retschitzegger W（2003）《移动设备的环境意识——氢方法》。包含：HICSS'03。第36届夏威夷国际系统科学年会论文集，2003年6月至9日。IEEE计算机学会，华盛顿特区，第292-302页
[19] Julien C、Payton J、Roman G-C（2004）《流动中情境意识的推理》。计算机科学电子注释，97（0）：259-276。收录于：2003年FOCLASA会议记录，协调语言和软件架构的基础，2003年CONCUR的卫星活动。
[20] Junbin Z，Yong Q，Di H，Min X（2008）普适计算环境的扩展同位素编程模型。摘自：2008年第三届融合与混合信息技术国际会议记录，ICCIT'08，第01卷。IEEE计算机学会，华盛顿特区，第94-101页
[21] Junbin Z，Yong Q，Di H，Ming L（2009）用于上下文软件应用程序开发的表驱动编程范式。摘自：IEEE/IPSJ应用与互联网国际研讨会，第121-124页·Zbl 1227.68078号
[22] Kjrgaard MB，Bunde-Pedersen J（2006），走向上下文感知的正式模型。摘自：爱尔兰都柏林第一届普适计算理论与系统构建相结合国际研讨会论文集（普适2006），第667-674页·Zbl 1146.68021号
[23] Levi F、Sangiorgi D：移动安全环境。ACM Trans Program Lang Syst（TOPLAS）25，1-69（2003年）·数字对象标识代码：10.1145/596980.596981
[24] Lhoussaine C，Sassone V（2004）一种依赖类型的环境演算。收录于：Schmidt D（ed）Programming languages and systems，第2986卷，计算机科学课堂讲稿。柏林/海德堡施普林格出版社，第171-187页·Zbl 1126.68504号
[25] 罗Z（2009）重新审视依赖记录类型。参见：2009年MLPA校对助理模块和库第一次研讨会会议记录。ACM，纽约，第30-37页
[26] Liskov BH，Wing JM:子类型的行为概念。ACM跨学科计划Lang Syst（TOPLAS）1811-1841（1994）·doi:10.145/197320.197383
[27] 米尔纳R：通信和移动系统：π演算。剑桥大学出版社，纽约（1999）·Zbl 0942.68002号
[28] Min X，Jizhong Z，Yong Q，Hui H，Ming L，Wei W.同位素编程模型：一种用于上下文应用的程序模型。收录：MUE’07：2007年多媒体和普适工程国际会议论文集。IEEE计算机学会，华盛顿特区，第597-602页
[29] Mostéfaoui GK、Pasquier-Rocha J、Brézillon P（2004）《上下文软件计算：普适计算社区指南》。In:ICPS'04:IEEE/ACS普及服务国际会议，第39-48页
[30] Milner R，Parrow J，Walker D:移动进程演算，《国际计算》100（1），1-40（1992）·Zbl 0752.68036号 ·doi:10.1016/0890-5401（92）90008-4
[31] Margaria I，Zacchi M：移动环境结石中的访问控制：比较观点。《计算机科学》398183-202（2008）·Zbl 1146.68021号 ·doi:10.1016/j.tcs.2008.01.024
[32] Niemela E，Latvakoski J（2004）《普适软件需求和解决方案调查》。摘自：MUM'04：第三届移动和无处不在多媒体国际会议论文集。ACM，纽约，第71-78页
[33] 皮尔斯BC：类型和编程语言。麻省理工学院出版社，剑桥（2002）·Zbl 0995.68018号
[34] Rarau A、Benta KI、Cremene M（2007）《具有确定性和完全定义行为的普及服务的基于多方面的语言》。In：普及服务国际会议，第76-79页
[35] Sangiorgi D（2001）环境逻辑的外延和内涵。摘自：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01。ACM，纽约，第4-13页·Zbl 1323.68415号
[36] Siewe F，Cau A，Zedan H（2009）CCA：上下文环境的演算。摘自：2009年IEEE第23届高级信息网络和应用研讨会会议记录。WAINA’09，2009年5月。IEEE计算机学会，布拉德福德，第972-977页·Zbl 1227.68078号
[37] Saha D，Mukherjee A：普适计算：21世纪的范式。计算机，36，25-31（2003）·doi:10.1109/MC.2003.1185214
[38] Sangiorgi D，Walker D:π-微积分：移动过程理论。剑桥大学出版社，纽约（2001）·Zbl 0981.68116号
[39] Siewe F、Zedan H、Cau A：上下文环境的演算。计算机系统科学杂志77，597-620（2011）·Zbl 1227.68078号 ·doi:10.1016/j.jss.2010.02.003
[40] Weis T，Becker C，Brandle A（2006）基于环境微积分的普适应用程序编程范式。年：爱尔兰都柏林，普及计算理论与系统建设相结合的国际研讨会（与pervasive共同举办，2006年）
[41] Weiser M：面向21世纪的计算机。《科学与Am》265（3），94-104（1991）·doi:10.1038/科学美国人0991-94
[42] Wing JM（2002）《π演算常见问题解答》，2002年。Microsoft内部备忘录。2012年4月查阅。
[43] Want R，Pering T（2005）普适计算的系统挑战。In:ICSE’05：第27届软件工程国际会议论文集。ACM，纽约，第9-14页
[44] 赖特A：类型理论已经成熟。Commun ACM 53（2），16-17（2010）·数字对象标识代码：10.1145/1646353.1646361
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。