1,554 Hits in 3.7 sec

Data Consistency in Transactional Storage Systems: A Centralised Semantics

Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner, Robert Hirschfeld, Tobias Pape
2020 European Conference on Object-Oriented Programming  
Our semantics builds on abstract states comprising centralised, global key-value stores and partial client views.  ...  We introduce an interleaving operational semantics for describing the client-observable behaviour of atomic transactions on distributed key-value stores.  ...  models; see Section 1.1 for further details on this related work. 21:4 Data Consistency in Transactional Storage Systems: A Centralised Semantics Crooks et al  ... 
doi:10.4230/lipics.ecoop.2020.21 dblp:conf/ecoop/XiongCRG19 fatcat:dsqhh5fykjgphjw2d7p2hkl3au

Data Consistency in Transactional Storage Systems: a Centralised Approach [article]

Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
2019 arXiv   pre-print
Clock-SI) can be shown to be correct for a specific consistency model by embedding them in our centralised semantics; programs can be directly shown to have invariant properties such as robustness results  ...  against a weak consistency model.  ...  Data Consistency in Transactional Storage Systems: A Centralised Approach Next, note that for any key k, t k 0 = t 0 .  ... 
arXiv:1901.10615v2 fatcat:vudgmqlgongppbm6a5yeonijy4

Distributed Systems Security Knowledge Area [article]

Neeraj Suri
2019 Zenodo  
such as transactions, databases, storage, control, and computing.  ...  Expanding on the above, the distributed resources are typically dispersed (for example, in an Azure or Amazon Cloud, in Peer-to-Peer Systems such as Gnutella or BitTorrent, or in a Blockchain implementation  ...  Data Security As a distributed system essentially operates on data (at rest or in motion) over the facets of data-sourcing, data-distribution, data-storage, or data-usage in services, the classical CIA  ... 
doi:10.5281/zenodo.3941852 fatcat:ag6uugbkybg65iacezz6yjmemq

Foundations for Model-Based Engineering of Systems of Systems [chapter]

John Fitzgerald, Peter Gorm Larsen, Jim Woodcock
2014 Complex Systems Design & Management  
We describe the foundations of an approach in which architectural models in SysML may be analysed in a formal modelling language that has an extensible semantics given using the Unifying Theories of Programming  ...  In this paper it is argued that rigorous semantic foundations for model-based techniques are potentially beneficial in addressing these.  ...  Acknowledgements The work described in the paper is supported by the Commission of the European Communities project Comprehensive Modelling for Advanced Systems of Systems (COM-PASS, grant agreement 287829  ... 
doi:10.1007/978-3-319-02812-5_1 dblp:conf/csdm/FitzgeraldLW13 fatcat:76jhkkdhkjbhxbdtvaofjscphm

An Evaluation of Precompilation and Interpretation in Distributed Database Management Systems

E. Bertino
1987 Computer journal  
In this paper we present a simple model for the performance evaluation of Distributed Database Management Systems (DDBMS). We first define a transaction-processing model.  ...  Then we provide a set of expressions to evaluate the impact of various factors on the performance. The performance is evaluated in terms of transaction response time.  ...  TRANSACTION PROCESSING MODEL In both centralised and distributed DBMSs a transaction is defined as a set of data access and manipulation statements with the atomicity property. 11 The atomicity property  ... 
doi:10.1093/comjnl/30.6.519 fatcat:vohzpty3cjbdjeuy63h5zllwci

Modelling patterns for systems of systems architectures

Claire Ingram, Richard Payne, Simon Perry, Jon Holt, Finn Overgaard Hansen, Luis Diogo Couto
2014 2014 IEEE International Systems Conference Proceedings  
Finally, we summarise our plans for developing these ideas in the future.  ...  This paper presents an initial report on modelling patterns and architectures for system of systems (SoSs) and their constituent systems (CSs).  ...  are still present, such as quiescence (the systems should be in a state such that transactions are not currently taking place).  ... 
doi:10.1109/syscon.2014.6819249 dblp:conf/syscon/IngramPPHHC14 fatcat:prqp4pku3nc7npssyjbyus6qp4

A replicated object system

Hayley Patton
2021 Zenodo  
We describe Netfarm, a replicated object system, in which various kinds of objects can be stored across a network.  ...  This programming model allows for supporting many programs on one object system, which can use efficient replicated algorithms and data structures.  ...  Either form of system is a centralised system, as all information is centralised on infrastructure owned by one party.  ... 
doi:10.5281/zenodo.4712698 fatcat:4pip4zl27nb6xitg543rlxds4q

The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing [chapter]

Ronny Siebes, Dave Dupplaw, Spyros Kotoulas, Adrian Perreau de Pinninck, Frank van Harmelen, David Robertson
2007 Lecture Notes in Computer Science  
The information that is made available through the semantic web will be accessed through complex programs (web-services, sensors, etc.) that may interact in sophisticated ways.  ...  Our implementation adopts a peer to peer architecture, thus making minimal assumptions about centralisation of knowledge sources, discovery and interaction control.  ...  A. Perreau de Pinninck is supported by a CSIC predoctoral fellowship under the I3P program, which is partially funded by the European Social Fund.  ... 
doi:10.1007/978-3-540-76848-7_25 fatcat:rbin43iqa5gtherqmkrdicapjm

Horizontal partitioning method for test verification in parallel database systems

Feras Ahmad Hanandeh
2017 International Journal of Advanced Intelligence Paradigms  
In parallel database systems the partitioning methods considered in current researches are static.  ...  , artificial intelligence and Geographical information systems.  ...  In centralised database systems, the database tables are settled as local to every test being executed. For distributed database systems, the data is physically distributed over the network.  ... 
doi:10.1504/ijaip.2017.10002029 fatcat:wcz6seacrjhf7nebqduddir2ri

When cloud computing meets with Semantic Web: A new design for e-portfolio systems in the social media era

Paul Kim, Chen Kee Ng, Gloria Lim
2010 British Journal of Educational Technology  
This paper presents a new approach of an e-portfolio system design based on Private-Public (PrPl) data index system, which integrates cloud computing applications and storages with Semantic Web architecture  ...  The need, use, benefit and potential of e-portfolios have been analysed and discussed by a substantial body of researchers in the education community.  ...  challenges: Scalability and sustainability Current e-portfolio systems generally provide users storage space in a centralised server for all of their data.  ... 
doi:10.1111/j.1467-8535.2010.01055.x fatcat:wf7m45ciy5bztkrp63voudvowa

MAPFS-DAI, an extension of OGSA-DAI based on a parallel file system

Alberto Sánchez, María S. Pérez, Konstantinos Karasavvas, Pilar Herrero, Antonio Pérez
2007 Future generations computer systems  
Since current applications demand access to a huge volume of data, new and sophisticated I/O systems are required.  ...  Several mass storage systems have been developed from different institutions to access their own data repositories. These systems expose native interfaces not interoperable among them.  ...  The existence of a standard, transparent, uniform, consistent and centralised interface that supports querying, transfer and archiving of data among different systems would simplify the development of  ... 
doi:10.1016/j.future.2006.03.028 fatcat:3jsanask7naf5ezysmcwd52lxa

Interbase-KB: Integrating a knowledge base system with a multidatabase system for data warehousing

N. Bassiliades, I. Vlahavas, A.K. Elmagarmid, E.N. Houstis
2003 IEEE Transactions on Knowledge and Data Engineering  
The knowledge base system offers in addition a declarative logic language with second-order syntax but first-order semantics for integrating the schemes of the data sources into the warehouse and for defining  ...  This paper describes the integration of a multidatabase system and a knowledge-base system to support the data-integration component of a Data Warehouse.  ...  In the future, a more robust commercial storage system may be used.  ... 
doi:10.1109/tkde.2003.1232272 fatcat:fi7q26unlbhwddaltkmfxffhju

File server architecture for an open distributed document system [chapter]

B. Christianson, P. Hu, B. Snook, DeMontford University
1995 IFIP Advances in Information and Communication Technology  
In this paper we will investigate design and implementation strategies for a file server in an open distributed document system.  ...  The services provided by a conventional file server in a distributed system can be divided into two categories according to whether a service is globally or locally trusted.  ...  As we assumed, the information storage unit in the open distributed system is reliable, therefore to keep the data integrity we need only to devise mechanisms that could prevent data from unauthorised  ... 
doi:10.1007/978-0-387-34943-5_4 fatcat:qqfdv4l62vasdk4e5kzt532bbm

Distributed Persistent Identifiers System Design

Pavel Golodoniuc, Nicholas N. J. Car, Jens Klump
2017 Data Science Journal  
We believe that a cause of PID systems that were once successful fading away is the centralisation of support infrastructure -both organisational and computing and data storage systems.  ...  In this paper, we propose a PID system design that implements the pillars of a trustworthy system -ensuring identifiers' independence of any particular technology or organisation, implementation of core  ...  In order to create identifiers that are not reliant on a centralised system, PID systems with a decentralised resolution infrastructure have been designed where nodes in the infrastructure can use any  ... 
doi:10.5334/dsj-2017-034 fatcat:3wuai6zfvrgsndo66lk54xciqa

Scaling the capacity of memory systems; evolution and key approaches

Kyriakos Paraskevas, Andrew Attwood, Mikel Lujan, John Goodacre
2019 Proceedings of the International Symposium on Memory Systems - MEMSYS '19  
interconnects and abstractions via system hypervisors, where each approach allows a more efficient way of memory resource allocation and usage between different nodes in a machine cluster.  ...  providing, and therefore the requirement of delivering a scalable memory capacity still poses a real challenge for system architects.  ...  semantics of a shared memory system.  ... 
doi:10.1145/3357526.3357555 dblp:conf/memsys/ParaskevasALG19 fatcat:qlsuo7csujg3rhbwf3efqljhta
« Previous Showing results 1 — 15 out of 1,554 results