English
Related papers

Related papers: A Type-Safe Model of Adaptive Object Groups

200 papers

Design patterns are well practices to share software development experiences. These patterns allow enhancing reusability, readability and maintainability of architecture and code of software applications. As simulation applies computerized…

Software Engineering · Computer Science 2020-08-24 Maamar El Amine Hamri

In the paper a new programming construct, called concept, is introduced. Concept is pair of two classes: a reference class and an object class. Instances of the reference classes are passed-by-value and are intended to represent objects.…

Programming Languages · Computer Science 2008-01-03 Alexandr Savinov

Discovery of new knowledge is increasingly data-driven, predicated on a team's ability to collaboratively create, find, analyze, retrieve, and share pertinent datasets over the duration of an investigation. This is especially true in the…

Human-Computer Interaction · Computer Science 2021-10-06 Hongsuda Tangmunarunkit , Aref Shafaeibejestan , Joshua Chudy , Karl Czajkowski , Robert Schuler , Carl Kesselman

Developing large-scale distributed applications can be a daunting task. object-based environments have attempted to alleviate problems by providing distributed objects that look like local objects. We advocate that this approach has…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-07-30 Jan-Mark S. Wams , Maarten van Steen

A collaborative object represents a data type (such as a text document) designed to be shared by a group of dispersed users. The Operational Transformation (OT) is a coordination approach used for supporting optimistic replication for these…

Software Engineering · Computer Science 2010-07-30 Abdessamad Imine

Although object-orientation has been around for several decades, its key concept abstraction has not been exploited for proper application of object-orientation in other phases of software development than the implementation phase. We…

Software Engineering · Computer Science 2010-10-18 B. Diertens

In object systems, classes take the role of modules, and interfaces consist of methods. Because methods are encapsulated in objects, interfaces in object systems do not allow abstracting over \emph{where} methods are implemented. This…

Programming Languages · Computer Science 2011-10-18 David Lievens , Bill Harrison

The Distributed object computing is a paradigm that allows objects to be distributed across a heterogeneous network, and allows each of the components to interoperate as a unified whole. A new generation of distributed applications, such as…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-02-18 Usha Batra , Deepak Dahiya , Sachin Bhardwaj

We introduce a taxonomy of objects for EO programming language. This taxonomy is designed with a few principles in mind: non-redundancy, simplicity, and so on. The taxonomy is supposed to be used as a navigation map by EO programmers. It…

Programming Languages · Computer Science 2025-08-13 Yegor Bugayenko , Maxim Trunnikov

Business process management systems from various vendors are used by companies around the globe. Most of these systems allow for the full or partial automation of business processes by ensuring that tasks and data are presented to the right…

Software Engineering · Computer Science 2021-07-22 Kevin Andrews , Manfred Reichert

In order to meet the diverse challenges in solving many real-world problems, an intelligent agent has to be able to dynamically construct a model of its environment. Objects facilitate the modular reuse of prior knowledge and the…

Machine Learning · Computer Science 2019-06-05 Sjoerd van Steenkiste , Klaus Greff , Jürgen Schmidhuber

ASP programs are a convenient tool for problem solving, whereas with large problem instances the size of the state space can be prohibitive. We consider abstraction as a means of over-approximation and introduce a method to automatically…

Logic in Computer Science · Computer Science 2018-09-19 Zeynep G. Saribatur , Thomas Eiter

We propose the object-oriented networking (OON) framework, for meeting the generalized interconnection, mobility and technology integration requirements underlining the Internet. In OON, the various objects that need to be accessed through…

Networking and Internet Architecture · Computer Science 2015-02-27 Panos Georgatsos , Paris Flegkas , Vasilis Sourlas , Leandros Tassiulas

Most currently used object detection methods are learning-based, and can detect objects under varying appearances. Those models require training and a training dataset. We focus on use cases with less data variation, but the requirement of…

Computer Vision and Pattern Recognition · Computer Science 2026-03-23 Valentin Braeutigam , Matthias Stock , Bernhard Egger

Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative development cycle demands both many more changes and partially implemented…

Software Engineering · Computer Science 2007-05-23 Mario Winter

Service Oriented Software Engineering is based on concepts and principles for constructing complex enterprise systems in which services as building block of the system, are distributed in large networks. The main goal of the service…

Software Engineering · Computer Science 2020-04-21 Mahdi Fahmideh , Jafar Habibi , Fereidoon Shams , Sedigheh Khoshnevis

We present Soda (Symbolic Objective Descriptive Analysis), a language that helps to treat qualities and quantities in a natural way and greatly simplifies the task of checking their correctness. We present key properties for the language…

Programming Languages · Computer Science 2024-11-21 Julian Alfredo Mendez

Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies…

Programming Languages · Computer Science 2012-03-30 Damien Cassou , Julien Bruneau , Charles Consel , Emilie Balland

Auto-active verifiers provide a level of automation intermediate between fully automatic and interactive: users supply code with annotations as input while benefiting from a high level of automation in the back-end. This paper presents…

Logic in Computer Science · Computer Science 2015-09-01 Julian Tschannen , Carlo A. Furia , Martin Nordio , Nadia Polikarpova

This paper presents the concept of a service colony and its characteristics. A service colony is a novel architectural style for developing a software system as a group of autonomous software services co-operating to fulfill the objectives…

Software Engineering · Computer Science 2024-07-11 Thakshila Imiya Mohottige , Artem Polyvyanyy , Rajkumar Buyya , Colin Fidge , Alistair Barros
‹ Prev 1 4 5 6 7 8 10 Next ›