检索结果-内蒙古大学图书馆

Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment

FUTURE INTERNET 2020年第11期12卷 203页

作者： Casadei, Roberto Pianini, Danilo Placuzzi, Andrea Viroli, Mirko Weyns, Danny Univ Bologna Alma Mater Studiorum Dept Comp Sci & Engn DIS I-47521 Cesena Fc Italy Katholieke Univ Leuven Dept Comp Sci B-3000 Leuven Belgium Linnaeus Univ Dept Comp Sci S-35195 Vaxjo Sweden

Emerging cyber-physical systems, such as robot swarms, crowds of augmented people, and smart cities, require well-crafted self-organizing behavior to properly deal with dynamic environments and pervasive disturbances. However, the infrastructures providing networking and computing services to support these systems are becoming increasingly complex, layered and heterogeneous-consider the case of the edge-fog-cloud interplay. This typically hinders the application of self-organizing mechanisms and patterns, which are often designed to work on flat networks. To promote reuse of behavior and flexibility in infrastructure exploitation, we argue that self-organizing logic should be largely independent of the specific application deployment. We show that this separation of concerns can be achieved through a proposed "pulverization approach": the global system behavior of application services gets broken into smaller computational pieces that are continuously executed across the available hosts. This model can then be instantiated in the aggregate computing framework, whereby self-organizing behavior is specified compositionally. We showcase how the proposed approach enables expressing the application logic of a self-organizing cyber-physical system in a deployment-independent fashion, and simulate its deployment on multiple heterogeneous infrastructures that include cloud, edge, and LoRaWAN network elements.

关键词： self-organization decentralized control deployment independence declarative programming aggregate computing

来源：评论

学校读者我要写书评

暂无评论

Secure Partitioning of Cloud Applications, with Cost Look-Ahead

引用

FUTURE INTERNET 2023年第7期15卷 224-224页

作者： Bocci, Alessandro Forti, Stefano Guanciale, Roberto Ferrari, Gian-Luigi Brogi, Antonio Univ Pisa Dept Comp Sci I-56127 Pisa Italy KTH Royal Inst Technol Div Theoret Comp Sci S-11428 Stockholm Sweden

The security of Cloud applications is a major concern for application developers and operators. Protecting users' data confidentiality requires methods to avoid leakage from vulnerable software and unreliable Cloud providers. Recently, trusted execution environments (TEEs) emerged in Cloud settings to isolate applications from the privileged access of Cloud providers. Such hardware-based technologies exploit separation kernels, which aim at safely isolating the software components of applications. In this article, we propose a methodology to determine safe partitionings of Cloud applications to be deployed on TEEs. Through a probabilistic cost model, we enable application operators to select the best trade-off partitioning in terms of future re-partitioning costs and the number of domains. To the best of our knowledge, no previous proposal exists addressing such a problem. We exploit information-flow security techniques to protect the data confidentiality of applications by relying on declarative methods to model applications and their data flow. The proposed solution is assessed by executing a proof-of-concept implementation that shows the relationship among the future partitioning costs, number of domains and execution times.

关键词： data confidentiality trusted execution environments separation kernels information-flow security deployment costs declarative programming

来源：评论

学校读者我要写书评

暂无评论

A domain-specific language for structure manipulation in constraint system-based GUIs

引用

JOURNAL OF COMPUTER LANGUAGES 2023年 74卷

作者： Stokke, Knut Anders Barash, Mikhail Jarvi, Jaakko Univ Bergen Bergen Norway Univ Turku Turku Finland

A common frustration with programming Graphical User Interfaces (GUIs) is that features for manipulating structures, such as lists and trees, are limited, inconsistent, buggy, or even missing. Implementing complete and convenient sets of operations for inserting, removing, and reordering elements in such structures can be tedious and difficult: a structure that appears as one collection to the user can be implemented as several different data structures and a web of dependencies between them. Structural modifications require changes both to the GUI's model and view, and possibly extraneous bookkeeping operations, such as adding and removing event *** paper introduces a DSL that helps programmers to implement a complete set of operations to structures displayed in GUIs. The programmer specifies structures and relations between elements in the structure. Concretely, the latter are definitions of methods for establishing and unestablishing relations. Operations that manipulate structures are specified as rules that control which relations should hold before and after a rule is applied. From these specifications, our tools generate an easy-to-use API for structure manipulation. We target constraint system-based Web GUIs: the DSL generates JavaScript and relies on dataflow constraint systems for expressing dependencies between elements in GUI structures. Our DSL gives tangible representations with well-defined operations for ad-hoc and incidental GUI structures.

关键词： GUI programming Separation of concerns Rule based systems declarative programming Dataflow constraint systems

来源：评论

学校读者我要写书评

暂无评论

New Evaluation Commands for Maude Within Full Maude

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2005年 117卷 263-284页

作者： Duran, Francisco Escobar, Santiago Lucas, Salvador Univ Malaga LCC Campus Teatinos Malaga Spain Univ Politecn Valencia DSIC Valencia 46022 Spain

Maude is able to deal with infinite data structures and avoid infinite computations by using strategy annotations. However, they can eventually make the computation of the normal form(s) of some input expressions impossible. We have used Full Maude to implement two new commands norm and eval which furnish Maude with the ability to compute (constructor) normal forms of initial expressions even when the use of strategy annotations together with the built-in computation strategy of Maude is not able to obtain them. These commands have been integrated into Full Maude, making them available inside the programming environment like any other of its commands.

关键词： declarative programming Maude reflection strategy annotations

来源：评论

学校读者我要写书评

暂无评论

ON THE PROPOSITIONAL SLDNF-RESOLUTION

引用

International Journal of Foundations of Computer Science 1996年第4期7卷 359-406页

作者： JAN A. PLAZA University of Miami Department of Mathematics and Computer Science P.O. Box 249085 Coral Gables Florida 33124 U.S.A.

We consider propositional logic programs with negations. We define notions of constructive transformation and constructive completion of a program. We use these notions to characterize SLDNF-resolution in classical, intuitionistic and intermediate logics, and also to derive a characterization in modal logics of knowledge. We show that the three-valued and four-valued fix-point or declarative semantics for program P are equivalent to the two-valued semantics for the constructive version of P. We argue that it would be beneficial to replace Negation as Failure by constructive transformation, and it would be beneficial to use the semantics for the constructive version of the program instead of multivalued semantics for the original program.

关键词： Logic programming declarative programming negation as failure non-classical logics three-valued semantics

来源：评论

学校读者我要写书评

暂无评论

Optimizing Nested Recursive Queries

引用

Proceedings of the ACM on Management of Data 2024年第1期2卷 1-27页

作者： Amir Shaikhha Dan Suciu Maximilian Schleich Hung Ngo University of Edinburgh Edinburgh United Kingdom University of Washington Seattle WA USA RelationalAI Berkeley USA

Datalog is a declarative programming language that has gained popularity in various domains due to its simplicity, expressiveness, and efficiency. But "pure" Datalog is limited to monotone queries, and cannot be used in most practical applications. For that reason, newer systems are relaxing the language by allowing non-monotone queries to be freely combined with recursion. But by departing from the elegant fixpoint semantics of pure datalog, these systems often result in inefficient query execution, for example they perform redundant computations, or use redundant storage. In this paper, we propose Temporel, a system that allows recursion to be freely combined with non-monotone operators. Temporel optimizes the program by compiling it into a novel intermediate representation that we call TempoDL. Our experimental results show that our system outperforms a state-of-the-art Datalog engine as well as a vectorized and a compiled in-memory database system for a wide range of applications from machine learning to graph processing.

关键词： declarative programming demand transformation iterative algorithms nested recursion

来源：评论

学校读者我要写书评

暂无评论

Midas: a declarative multi-touch interaction framework 11

Midas: a declarative multi-touch interaction framework

引用

Proceedings of the fifth international conference on Tangible, embedded, and embodied interaction

作者： Christophe Scholliers Lode Hoste Beat Signer Wolfgang De Meuter Vrije Universiteit Brussel Brussels Belgium

ISBN: (纸本)9781450304788

Over the past few years, multi-touch user interfaces emerged from research prototypes into mass market products. This evolution has been mainly driven by innovative devices such as Apple's iPhone or Microsoft's Surface tabletop computer. Unfortunately, there seems to be a lack of software engineering abstractions in existing multi-touch development frameworks. Many multi-touch applications are based on hard-coded procedural low level event processing. This leads to proprietary solutions with a lack of gesture extensibility and cross-application reusability. We present Midas, a declarative model for the definition and detection of multi-touch gestures where gestures are expressed via logical rules over a set of input facts. We highlight how our rule-based language approach leads to improvements in gesture extensibility and reusability. Last but not least, we introduce JMidas, an instantiation of Midas for the Java programming language and describe how JMidas has been applied to implement a number of innovative multi-touch gestures.

关键词： gesture framework declarative programming multi-touch interaction rule language

来源：评论

学校读者我要写书评

暂无评论

Expressive and Extensible Parameter Passing for Distributed Object Systems

引用

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2011年第1期21卷 3-3页

作者： Tilevich, Eli Gopal, Sriram Virginia Tech Dept Comp Sci Blacksburg VA 24061 USA

In modern distributed object systems, reference parameters to a remote method are passed according to their runtime type. This design choice limits the expressiveness, readability, and maintainability of distributed applications. Further, to extend the built-in set of parameter passing semantics of a distributed object system, the programmer has to understand and modify the underlying middleware implementation. To address these design shortcomings, this article presents (i) a declarative and extensible approach to remote parameter passing that decouples parameter passing semantics from parameter types, and (ii) a plugin-based framework, DeXteR, which enables the programmer to extend the built-in set of remote parameter passing semantics, without having to understand or modify the underlying middleware implementation. DeXteR treats remote parameter passing as a distributed cross-cutting concern and uses aspect-oriented and generative techniques. DeXteR enables the implementation of different parameter passing semantics as reusable application-level plugins, applicable to application, system, and third-party library classes. The expressiveness, flexibility, and extensibility of the approach is validated by adding several nontrivial remote parameter passing semantics (i.e., copy-restore, lazy, streaming) to Java Remote Method Invocation (RMI) as DeXteR plugins.

关键词： Languages Design Extensible middleware metadata aspect-oriented programming (AOP) generative programming declarative programming

来源：评论

学校读者我要写书评

暂无评论

DSL methods for CPS simulation in the cloud: Experience report 14

DSL methods for CPS simulation in the cloud: Experience repo...

引用

Proceedings of International Workshop on Engineering Simulations for Cyber-Physical Systems

作者： Peter Kourzanov NXP Eindhoven/TU Delft Netherlands

ISBN: (纸本)9781450326148

This paper presents our approach to Cyber-physical System (CPS) simulation including a number of embedded nodes that form a wireless network. On one hand, we use the NS-2 discrete-event simulator as a C++ kernel for running network simulation scenarios, while on the other hand, a combination of components written using standard Scheme as well as a number of Domain-Specific Language (DSL) instances embedded into Scheme (implementing pattern-matching, logic-relational models, and Web programming) are used in a cloud-based tool-set that supports research exploration cycle where variation in network parameters is compared to the resulting CPS performance. These components cooperate to provide an intuitive Web-based user interface, analysis tools and a seamless work-flow including visualization.

关键词： Domain-specific languages Network simulation Cloud computing Cyber-physical systems declarative programming Discrete-event modeling

来源：评论

学校读者我要写书评

暂无评论

declarative Agent Languages and Technologies III 2006

引用

丛书名： Lecture Notes in Computer Science

2006年

作者： Matteo Baldoni Ulle Endriss Andrea Omicini Paolo Torroni

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：