中文
相关论文

相关论文: Isolation Support for Service-based Applications: …

200 篇论文

Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. A component is a software entity with given functionalities, made…

软件工程 · 计算机科学 2009-10-13 Christian Attiogbe

This paper presents a formal approach to modelling and analysis of data and control flow dependencies between services within remotely deployed distributed systems of services. Our work aims at elaborating for a concrete system, which parts…

软件工程 · 计算机科学 2014-12-12 Maria Spichkova , Heinrich Schmidt

Service oriented architecture is more and more used in the companies, The importance of the service orientation and its advantages with the information system of the company, confront us to a new challenge. It is primarily to ensure the…

软件工程 · 计算机科学 2013-05-07 Boumahdi Fatima

We propose Sliceable Monolith, a new methodology for developing microservice architectures and perform their integration testing by leveraging most of the simplicity of a monolith: a single codebase and a local execution environment that…

编程语言 · 计算机科学 2021-07-20 Fabrizio Montesi , Marco Peressotti , Valentino Picotti

Decentralized systems can be more resistant to operator mischief than centralized ones, but they are substantially harder to develop, deploy, and maintain. This cost is dramatically reduced if the decentralized part of the system can be…

密码学与安全 · 计算机科学 2017-05-09 Lachlan J. Gunn , Andrew Allison , Derek Abbott

The Language Server Protocol (LSP) changed the field of Integrated Development Environments(IDEs), as it decouples core (programming) language features functionality from editor smarts, thus lowering the effort required to extend an IDE to…

Location-based Services (LBSs) provide valuable services, with convenient features for users. However, the information disclosed through each request harms user privacy. This is a concern particularly with honest-but-curious LBS servers,…

密码学与安全 · 计算机科学 2020-01-22 Hongyu Jin , Panos Papadimitratos

New services based on the best-effort paradigm could complement the current deterministic services of an electronic financial exchange. Four crucial aspects of such systems would benefit from a hybrid stance: proper use of processing…

计算工程、金融与科学 · 计算机科学 2007-05-23 David Lyback , Magnus Boman

Dedicated to the memory of Edsger W.Dijkstra. Representation independence or relational parametricity formally characterizes the encapsulation provided by language constructs for data abstraction and justifies reasoning by simulation.…

编程语言 · 计算机科学 2007-05-23 Anindya Banerjee , David A. Naumann

This paper proposes a privacy protection and evaluation method for location services based on edge computing environment. By constructing the site service data protection and system evaluation system in the edge computing environment, based…

密码学与安全 · 计算机科学 2022-12-08 Shuang Liu

With changes in privacy laws, there is often a hard requirement for client data to remain on the device rather than being sent to the server. Therefore, most processing happens on the device, and only an altered element is sent to the…

密码学与安全 · 计算机科学 2022-12-27 Ajinkya K Mulay

In this paper, we propose a solution to proactively mitigate Distributed Denial-of-Service attacks in 5G core network slicing using slice isolation. Network slicing is one of the key technologies that allow 5G networks to offer dedicated…

网络与互联网体系结构 · 计算机科学 2019-04-29 Danish Sattar , Ashraf Matrawy

Mobile edge computing (MEC) is a promising technique for providing low-latency access to services at the network edge. The services are hosted at various types of edge nodes with both computation and communication capabilities. Due to the…

分布式、并行与集群计算 · 计算机科学 2019-06-18 Stephen Pasteris , Shiqiang Wang , Mark Herbster , Ting He

This paper discusses a new protocol implementing authentication in a multi-located environment that avoids man-in-the-middle (MIM) attack, replay attack and provides privacy, integrity of a message for multi-located parties. The protocol…

密码学与安全 · 计算机科学 2011-02-11 Pradeep Kumar Dantala

As an emerging technique for confidential computing, trusted execution environment (TEE) receives a lot of attention. To better develop, deploy, and run secure applications on a TEE platform such as Intel's SGX, both academic and industrial…

密码学与安全 · 计算机科学 2021-09-07 Weijie Liu , Hongbo Chen , XiaoFeng Wang , Zhi Li , Danfeng Zhang , Wenhao Wang , Haixu Tang

Loyalty programs are promoted by vendors to incentivize loyalty in buyers. Although such programs have become widespread, they have been criticized by business experts and consumer associations: loyalty results in profiling and hence in…

密码学与安全 · 计算机科学 2014-12-02 Alberto Blanco-Justicia , Josep Domingo-Ferrer

Web services are accessed via query interfaces which hide databases containing thousands of relevant information. User's side, distant database is a black box which accepts query and returns results, there is no way to access database…

信息检索 · 计算机科学 2012-05-07 Radhouane Boughammoura Lobna Hlaoua , Mohamed Nazih Omri

Service-Oriented Computing delivers the promise of configuring and reconfiguring software systems to address user's needs in a dynamic way. Context-aware computing promises to capture the user's needs and hence the requirements they have on…

其他计算机科学 · 计算机科学 2009-06-23 Kamran Taj Pathan , Stephan Reiff-Marganiec

Edge intelligence leverages computing resources on network edge to provide artificial intelligence (AI) services close to network users. As it enables fast inference and distributed learning, edge intelligence is envisioned to be an…

网络与互联网体系结构 · 计算机科学 2021-05-18 Mushu Li , Jie Gao , Conghao Zhou , Xuemin , Shen , Weihua Zhuang

Modern applications, such as social networking systems and e-commerce platforms are centered around using large-scale databases for storing and retrieving data. Accesses to the database are typically enclosed in transactions that allow…

编程语言 · 计算机科学 2023-04-17 Ahmed Bouajjani , Constantin Enea , Enrique Román-Calvo