发布求助
文献互助 智能选刊 最新文献

Journal of Historic Buildings and Places最新文献

筛选
英文 中文
A Logic for Choreographies 编舞的逻辑
4区 历史学
Journal of Historic Buildings and Places Pub Date : 2011-10-18 DOI: 10.4204/EPTCS.69.3
Marco Carbone, D. Grohmann, Thomas T. Hildebrandt, Hugo A. López
{"title":"A Logic for Choreographies","authors":"Marco Carbone, D. Grohmann, Thomas T. Hildebrandt, Hugo A. López","doi":"10.4204/EPTCS.69.3","DOIUrl":"https://doi.org/10.4204/EPTCS.69.3","url":null,"abstract":"We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL), a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof system for checking validity of formulae.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"9 1","pages":"29-43"},"PeriodicalIF":0.0,"publicationDate":"2011-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75392058","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
A Modular Toolkit for Distributed Interactions 用于分布式交互的模块化工具包
4区 历史学
Journal of Historic Buildings and Places Pub Date : 2011-10-01 DOI: 10.4204/EPTCS.69.7
J. Lange, E. Tuosto
{"title":"A Modular Toolkit for Distributed Interactions","authors":"J. Lange, E. Tuosto","doi":"10.4204/EPTCS.69.7","DOIUrl":"https://doi.org/10.4204/EPTCS.69.7","url":null,"abstract":"We discuss the design, architecture, and implementation of a toolkit which supports some theories for distributed interactions. The main design principles of our architecture are flexibility and modularity. Our main goal is to provide an easily extensible workbench to encompass current algorithms and incorporate future developments of the theories. With the help of some examples, we illustrate the main features of our toolkit.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"473 1","pages":"92-110"},"PeriodicalIF":0.0,"publicationDate":"2011-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76360528","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Types for X10 Clocks X10时钟的类型
4区 历史学
Journal of Historic Buildings and Places Pub Date : 2011-10-01 DOI: 10.4204/EPTCS.69.8
F. Martins, V. Vasconcelos, Tiago Cogumbreiro
{"title":"Types for X10 Clocks","authors":"F. Martins, V. Vasconcelos, Tiago Cogumbreiro","doi":"10.4204/EPTCS.69.8","DOIUrl":"https://doi.org/10.4204/EPTCS.69.8","url":null,"abstract":"X10 is a modern language built from the ground up to handle future parallel systems, from multicore machines to cluster configurations. We take a closer look at a pair of synchronisation mechanisms: finish and clocks. The former waits for the termination of parallel computations, the latter allow multiple concurrent activities to wait for each other at certain points in time. In order to better understand these concepts we study a type system for a stripped down version of X10. The main result assures that well typed programs do not run into the errors identified in the X10 language reference, namely the ClockUseException. The study will open, we hope, doors to a more flexible utilisation of clocks in the X10 language.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"10 1","pages":"111-129"},"PeriodicalIF":0.0,"publicationDate":"2011-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89470941","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models 虚拟机对多核架构的支持:抽象与具体并发模型的解耦
4区 历史学
Journal of Historic Buildings and Places Pub Date : 2010-02-04 DOI: 10.4204/EPTCS.17.6
Stefan Marr, M. Haupt, Stijn Timbermont, Bram Adams, T. D'Hondt, Pascal Costanza, W. Meuter
{"title":"Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models","authors":"Stefan Marr, M. Haupt, Stijn Timbermont, Bram Adams, T. D'Hondt, Pascal Costanza, W. Meuter","doi":"10.4204/EPTCS.17.6","DOIUrl":"https://doi.org/10.4204/EPTCS.17.6","url":null,"abstract":"The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide sufficient abstraction for concurrency concepts. We analyze concrete and abstract concurrency models and identify the challenges they impose for VMs. To provide sufficient concurrency support in VMs, we propose to integrate concurrency operations into VM instruction sets. Since there will always be VMs optimized for special purposes, our goal is to develop a methodology to design instruction sets with concurrency support. Therefore, we also propose a list of trade-offs that have to be investigated to advise the design of such instruction sets. As a first experiment, we implemented one instruction set extension for shared memory and one for non-shared memory concurrency. From our experimental results, we derived a list of requirements for a full-grown experimental environment for further research.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"44 1 1","pages":"63-77"},"PeriodicalIF":0.0,"publicationDate":"2010-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79326403","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
A Concurrent Language with a Uniform Treatment of Regions and Locks 一种统一处理区域和锁的并发语言
4区 历史学
Journal of Historic Buildings and Places Pub Date : 2010-02-04 DOI: 10.4204/EPTCS.17.7
Prodromos Gerakios, N. Papaspyrou, Konstantinos Sagonas
{"title":"A Concurrent Language with a Uniform Treatment of Regions and Locks","authors":"Prodromos Gerakios, N. Papaspyrou, Konstantinos Sagonas","doi":"10.4204/EPTCS.17.7","DOIUrl":"https://doi.org/10.4204/EPTCS.17.7","url":null,"abstract":"A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data races. Towards this goal, we present a concurrent language employing safe region-based memory management and hierarchical locking of regions. Both regions and locks are treated uniformly, and the language supports ownership transfer, early deallocation of regions and early release of locks in a safe manner.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"15 1","pages":"79-93"},"PeriodicalIF":0.0,"publicationDate":"2010-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84327106","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Towards a Unified Framework for Declarative Structured Communications 面向声明式结构化通信的统一框架
4区 历史学
Journal of Historic Buildings and Places Pub Date : 2010-02-04 DOI: 10.4204/EPTCS.17.1
Hugo A. López, C. Olarte, Jorge A. Pérez
{"title":"Towards a Unified Framework for Declarative Structured Communications","authors":"Hugo A. López, C. Olarte, Jorge A. Pérez","doi":"10.4204/EPTCS.17.1","DOIUrl":"https://doi.org/10.4204/EPTCS.17.1","url":null,"abstract":"We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. We introduce a declarative interpretation of the language for structured communications proposed by Honda, Vasconcelos, and Kubo. Distinguishing features of our approach are: the possibility of including partial information (constraints) in the session model; the use of explicit time for reasoning about session duration and expiration; a tight correspondence with logic, which formally relates session execution and linear-time temporal logic formulas.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"42 1","pages":"1-15"},"PeriodicalIF":0.0,"publicationDate":"2010-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77574110","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
Execution Models for Choreographies and Cryptoprotocols 编排和密码协议的执行模型
4区 历史学
Journal of Historic Buildings and Places Pub Date : 2010-02-04 DOI: 10.4204/EPTCS.17.3
Marco Carbone, J. Guttman
{"title":"Execution Models for Choreographies and Cryptoprotocols","authors":"Marco Carbone, J. Guttman","doi":"10.4204/EPTCS.17.3","DOIUrl":"https://doi.org/10.4204/EPTCS.17.3","url":null,"abstract":"A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a security infrastructure in order to implement them safely. As part of a line of work devoted to generating cryptoprotocols from choreographies, we focus here on the execution models suited to the two levels. \u0000We give a strand-style semantics for choreographies, and propose a special execution model in which choreography-level messages are faithfully delivered exactly once. We adapt this model to handle multiparty protocols in which some participants may be compromised. \u0000At level of cryptoprotocols, we use the standard Dolev-Yao execution model, with one alteration. Since many implementations use a \"nonce cache\" to discard multiply delivered messages, we provide a semantics for at-most-once delivery.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"21 1","pages":"31-41"},"PeriodicalIF":0.0,"publicationDate":"2010-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82717747","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language 多线程多态类型汇编语言中死锁检测的类型推断
4区 历史学
Journal of Historic Buildings and Places Pub Date : 2010-02-04 DOI: 10.4204/EPTCS.17.8
V. Vasconcelos, F. Martins, Tiago Cogumbreiro
{"title":"Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language","authors":"V. Vasconcelos, F. Martins, Tiago Cogumbreiro","doi":"10.4204/EPTCS.17.8","DOIUrl":"https://doi.org/10.4204/EPTCS.17.8","url":null,"abstract":"We previously developed a polymorphic type system and a type checker for a multithreaded lock-based polymorphic typed assembly language (MIL) that ensures that well-typed programs do not encounter race conditions. This paper extends such work by taking into consideration deadlocks. The extended type system verifies that locks are acquired in the proper order. Towards this end we require a language with annotations that specify the locking order. Rather than asking the programmer (or the compiler's backend) to specifically annotate each newly introduced lock, we present an algorithm to infer the annotations. The result is a type checker whose input language is non-decorated as before, but that further checks that programs are exempt from deadlocks.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"14 8 1","pages":"95-109"},"PeriodicalIF":0.0,"publicationDate":"2010-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90579831","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
Programming Idioms for Transactional Events 事务性事件的编程习惯
4区 历史学
Journal of Historic Buildings and Places Pub Date : 2010-02-04 DOI: 10.4204/EPTCS.17.4
M. Kehrt, Laura Effinger-Dean, Michael Schmitz, D. Grossman
{"title":"Programming Idioms for Transactional Events","authors":"M. Kehrt, Laura Effinger-Dean, Michael Schmitz, D. Grossman","doi":"10.4204/EPTCS.17.4","DOIUrl":"https://doi.org/10.4204/EPTCS.17.4","url":null,"abstract":"Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE’ sf ormal semantics and its implementation. This paper considers programming idioms, particularly those that vary unexpectedly from the corresponding CML idioms. First, we solve a subtle problem with client-server protocols in TE. Second, we argue that CML’s wrap and guard primitives do not translate well to TE, and we suggest useful workarounds. Finally, we discuss how to rewrite CML protocols that use abort actions.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"4 1","pages":"43-48"},"PeriodicalIF":0.0,"publicationDate":"2010-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82126193","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Towards the Safe Programming of Wireless Sensor Networks 无线传感器网络的安全编程研究
4区 历史学
Journal of Historic Buildings and Places Pub Date : 2010-02-04 DOI: 10.4204/EPTCS.17.5
F. Martins, Luís M. B. Lopes, J. Barros
{"title":"Towards the Safe Programming of Wireless Sensor Networks","authors":"F. Martins, Luís M. B. Lopes, J. Barros","doi":"10.4204/EPTCS.17.5","DOIUrl":"https://doi.org/10.4204/EPTCS.17.5","url":null,"abstract":"Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semanti c gap between their specifications and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of programming and debugging deployed networks. In this paper we define a core calculus for programming sensor networks and propose to use it as an assembly language for developing type-safe, high-level programming languages.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"14 1","pages":"49-62"},"PeriodicalIF":0.0,"publicationDate":"2010-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74416614","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信