A distributed abstract machine for safe ambients

被引：0
|
作者：
Sangiorgi, D [1 ]
Valente, A
机构：
[1] INRIA, Sophia Antipolis, France
[2] Univ Turin, I-10124 Turin, Italy
来源：
AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING | 2001年 / 2076卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：408 / 420
页数：13
相关论文
共 50 条
  • [31] Using abstract state machine in architecture design of distributed software component repository
    Xue, YJ
    Qian, LQ
    Peng, X
    Wu, YJ
    Xu, RZ
    ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, 2006, 3842 : 861 - 868
  • [32] Demo Abstract: HybriSim - A Hybrid Simulation System for Distributed Machine Learning with Mobility
    Yu, Haoxiang
    Zheng, Xi
    Julien, Christine
    PROCEEDINGS OF THE 21ST ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, SENSYS 2023, 2023, : 474 - 475
  • [33] An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting
    Hong, Zhang
    Lei, Liu
    PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON ELECTRONIC COMMERCE AND SECURITY, 2008, : 623 - 626
  • [34] Boxed safe ambients with password and simulation of E-mail system
    Jiang, Hua
    Li, Xiang
    PROCEEDINGS OF THE 2007 1ST INTERNATIONAL SYMPOSIUM ON INFORMATION TECHNOLOGIES AND APPLICATIONS IN EDUCATION (ISITAE 2007), 2007, : 337 - +
  • [35] Beyond the PDP-11: Architectural support for a memory-safe C abstract machine
    Chisnall, David
    Rothwell, Colin
    Watson, Robert N. M.
    Woodruff, Jonathan
    Vadera, Munraj
    Moore, Simon W.
    Roe, Michael
    Davis, Brooks
    Neumann, Peter G.
    ACM SIGPLAN NOTICES, 2015, 50 (04) : 117 - 130
  • [36] Poster Abstract: Towards Distributed Machine Learning for Data Acquisition in Wireless Sensor Networks
    Zainab, Tayyaba
    Karstens, Jens
    Landsiedel, Olaf
    PROCEEDINGS 8TH ACM/IEEE CONFERENCE ON INTERNET OF THINGS DESIGN AND IMPLEMENTATION, IOTDI 2023, 2023, : 440 - 442
  • [37] Multimedia abstract machine
    Shih, TK
    INFORMATION SCIENCES, 1998, 107 (1-4) : 63 - 84
  • [38] AN ABSTRACT MACHINE SIMULATOR
    LEE, MC
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 438 : 129 - 141
  • [39] THE CATEGORICAL ABSTRACT MACHINE
    COUSINEAU, G
    CURIEN, PL
    MAUNY, M
    SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (02) : 173 - 202
  • [40] The Session Abstract Machine
    Caires, Luis
    Toninho, Bernardo
    PROGRAMMING LANGUAGES AND SYSTEMS, PT I, ESOP 2024, 2024, 14576 : 206 - 235
12345