English
Related papers

Related papers: Protocol Programming: A Connection of the Digital …

200 papers

The main goal of concept-oriented programming (COP) is describing how objects are represented and accessed. It makes references (object locations) first-class elements of the program responsible for many important functions which are…

Software Engineering · Computer Science 2014-09-16 Alexandr Savinov

Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without estimating…

Computational Engineering, Finance, and Science · Computer Science 2012-09-19 Thomas W. Kelsey , Lars Kotthoff , Christoffer A. Jefferson , Stephen A. Linton , Ian Miguel , Peter Nightingale , Ian P. Gent

Computer programs are part of our daily life, we use them, we provide them with data, they support our decisions, they help us remember, they control machines, etc. Programs are made by people, but in most cases we are not their authors, so…

Computers and Society · Computer Science 2021-12-07 Andrej Brodnik , Andrew Csizmadia , Gerald Futschek , Lidija Kralj , Violetta Lonati , Peter Micheuz , Mattia Monga

Because of the importance of object oriented methodologies, the research in developing new measure for object oriented system development is getting increased focus. The most of the metrics need to find the interactions between the objects…

Software Engineering · Computer Science 2010-08-11 K. M. Azharul Hasan , Mohammad Sabbir Hasan

Because of the importance of object oriented methodologies, the research in developing new measure for object oriented system development is getting increased focus. The most of the metrics need to find the interactions between the objects…

Software Engineering · Computer Science 2010-07-15 K. M. Azharul Hasan , Mohammad Sabbir Hasan

The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at a detailed and a global level of abstraction.…

Logic in Computer Science · Computer Science 2011-08-10 Suzana Andova , Luuk Groenewegen , Erik de Vink

With the rapid advancement of artificial intelligence, the proliferation of autonomous agents has introduced new challenges in interoperability, scalability, and coordination. The Internet of Agents (IoA) aims to interconnect heterogeneous…

Multiagent Systems · Computer Science 2025-05-21 Jun Liu , Ke Yu , Keliang Chen , Ke Li , Yuxinyue Qian , Xiaolian Guo , Haozhe Song , Yinming Li

Most protocols for Quantum Information Processing consist of a series of quantum gates, which are applied sequentially. In contrast, interactions, for example between matter and fields, as well as measurements such as homodyne detection of…

Quantum Physics · Physics 2015-06-15 Christine A. Muschik , Klemens Hammerer , Eugene S. Polzik , Ignacio J. Cirac

Interactions between agents are usually designed from a global viewpoint. However, the implementation of a multi-agent interaction is distributed. This difference can introduce issues. For instance, it is possible to specify protocols from…

Multiagent Systems · Computer Science 2019-02-14 Angelo Ferrando , Michael Winikoff , Stephen Cranefield , Frank Dignum , Viviana Mascardi

A population protocol describes a set of state change rules for a population of $n$ indistinguishable finite-state agents (automata), undergoing random pairwise interactions. Within this very basic framework, it is possible to resolve a…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-04-19 Adrian Kosowski , Przemysław Uznański

The inner views of all our applications are predetermined by the designers; only some non-significant variations are allowed with the help of adaptive interface. In several programs you can find some moveable objects, but it is an extremely…

Human-Computer Interaction · Computer Science 2009-04-07 Sergey Andreyev

A cryptographic protocol (CP) is a distributed algorithm designed to provide a secure communication in an insecure environment. CPs are used, for example, in electronic payments, electronic voting procedures, database access systems, etc.…

Cryptography and Security · Computer Science 2020-11-25 A. M. Mironov

As technology proceeds and the number of smart devices continues to grow substantially, need for ubiquitous context-aware platforms that support interconnected, heterogeneous, and distributed network of devices has given rise to what is…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-03-21 Farzad Khodadadi , Amir Vahid Dastjerdi , Rajkumar Buyya

A recent study of bugs in real-world concurrent and distributed systems found that, while implementations of individual protocols tend to be robust, the composition of multiple protocols and its interplay with internal computation is the…

Programming Languages · Computer Science 2017-08-09 Luís Cruz-Filipe , Fabrizio Montesi

The increasing difficulty in continued development of digital electronic logic has led to a renewed interest in alternative approaches. Oscillatory computing is one such approach that leverages alternative physical systems and computation…

Dynamical Systems · Mathematics 2024-12-02 Wilkie Olin-Ammentorp

Natural language processing for programming aims to use NLP techniques to assist programming. It is increasingly prevalent for its effectiveness in improving productivity. Distinct from natural language, a programming language is highly…

Computation and Language · Computer Science 2023-08-08 Qingfu Zhu , Xianzhen Luo , Fang Liu , Cuiyun Gao , Wanxiang Che

The notion of programming paradigms, with associated programming languages and methodologies, is a well established tenet of Computer Science pedagogy, enshrined in international curricula. However, this notion sits ill with Kuhn's classic…

Programming Languages · Computer Science 2020-02-17 Greg Michaelson

Quantum computing provides computational advantages in various domains. To benefit from these advantages complex hybrid quantum applications must be built, which comprise both quantum and classical programs. Engineering these applications…

As Internet is changing from network of data into network of functionalities, a federated Internet of applications, that every application can cooperate with each other smoothly, is a natural trending topic. However, existing integration…

Computers and Society · Computer Science 2013-03-26 Zhe Zhang , Xudong Liu , Hailong Sun , Richong Zhang , Fei Wang

Computation is commonly defined as the execution of abstract algorithms over symbolic representations, with physical systems treated as substrates that realise predefined operations. While effective for engineered machines, this separation…

Physics and Society · Physics 2026-01-21 Kimia Witte