English
Related papers

Related papers: An interface group for process components

200 papers

The Participants-as-Interfaces (PaI) approach to system composition suggests that participants of a system may be viewed as interfaces. Given a set of systems,one participant per system is chosen to play the role of an interface. When…

Logic in Computer Science · Computer Science 2024-12-12 Franco Barbanera , Rolf Hennicker

In a previous paper, a process algebra based on ACP (Algebra of Communicating Processes) was proposed in which processes involving data can be handled by means of features originating from imperative programming. In this paper, an extension…

Logic in Computer Science · Computer Science 2026-05-19 C. A. Middelburg

Interface specifications play an important role in component-based software development. An interface theory is a formal framework supporting composition, refinement and compatibility of interface specifications. We present different…

Software Engineering · Computer Science 2011-01-26 Sebastian S. Bauer , Rolf Hennicker , Stephan Janisch

Collaboration is a crucial part of computing education. The increase in AI capabilities over the last couple of years is bound to profoundly affect all aspects of systems and software engineering, including collaboration. In this position…

Software Engineering · Computer Science 2025-01-27 Natalie Kiesler , Jacqueline Smith , Juho Leinonen , Armando Fox , Stephen MacNeil , Petri Ihantola

We model actors based on truly concurrent process algebra, and capture the actor model in the following characteristics: (1) Concurrency: all actors execute concurrently; (2) Asynchrony: an actor receives and sends messages asynchronously;…

Logic in Computer Science · Computer Science 2021-10-29 Yong Wang

Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them are "custom"; the rest are reused or refactored existing…

Software Engineering · Computer Science 2007-05-23 Joseph R. Kiniry

Interactive intelligent systems, i.e., interactive systems that employ AI technologies, are currently present in many parts of our social, public and political life. An issue reoccurring often in the development of these systems is the…

Human-Computer Interaction · Computer Science 2019-09-17 Maximilian Mackeprang , Claudia Müller-Birn , Maximilian Timo Stauss

Many user studies of home automation, as the most familiar representative of the Internet of Things, have shown the difficulty of developing technology that users understand and like. It helps to state requirements as largely-independent…

Human-Computer Interaction · Computer Science 2015-10-26 Pamela Zave , Eric Cheung , Svetlana Yarosh

This paper presents a software architecture for 3D interaction techniques (ITs) and an object oriented, toolkit-independent framework that implements such architecture. ITs are composed of basic filters connected in a dataflow, where…

Human-Computer Interaction · Computer Science 2025-07-04 Pablo Figueroa , Mark Green , Benjamin Watson

Over the last four years, we have developed a series of lectures, labs and project assignments aimed at introducing enough technology so that students from a mix of disciplines can design and build innovative interface devices.

Human-Computer Interaction · Computer Science 2020-10-06 Bill Verplank , Craig Sapp , Max Mathews

Information flow provides a natural measure for the causal interaction between dynamical events. This study extends our previous rigorous formalism of componentwise information flow to the bulk information flow between two complex…

Neurons and Cognition · Quantitative Biology 2021-12-30 X. San Liang

A hallmark of object-oriented programming is the ability to perform computation through a set of interacting objects. A common manifestation of this style is the notion of a package, which groups a set of commonly used classes together. A…

Software Engineering · Computer Science 2014-01-21 Shahram Esmaeilsabzali , Rupak Majumdar , Thomas Wies , Damien Zufferey

Task completion in digital and physical environments increasingly involves complex temporal interaction, where actions and observations unfold over different time scales rather than align with fixed observation--action steps. To model such…

Artificial Intelligence · Computer Science 2026-05-13 Jialian Li , Yuchen Cao , Junhong Liu , Weiran Guo , Xutao Wang , Jiaming Song , Jiahao Zhang , Jie Chen

In open systems, i.e. systems operating in an environment that they cannot control and with components that may join or leave, behaviors can arise as side effects of intensive components interaction. Finding ways to understand and design…

Logic in Computer Science · Computer Science 2016-02-19 Yehia Abd Alrahman , Rocco De Nicola , Michele Loreti

In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent components, in order to reduce the effort of creating a natural…

Computation and Language · Computer Science 2007-05-23 Stephen Chong , Riccardo Pucella

Reverse engineering is a complex process essential to software-security tasks such as vulnerability discovery and malware analysis. Significant research and engineering effort has gone into developing tools to support reverse engineers.…

Cryptography and Security · Computer Science 2019-12-03 Daniel Votipka , Seth M. Rabin , Kristopher Micinski , Jeffrey S. Foster , Michelle L. Mazurek

Scientists investigate the dynamics of complex systems with quantitative models, employing them to synthesize knowledge, to explain observations, and to forecast future system behavior. Complete specification of systems is impossible, so…

Quantitative Methods · Quantitative Biology 2007-05-23 S. R. Borrett , W. Bridewell , P. Langely , K. R. Arrigo

Selecting an object or element is a fundamental operation in any graphic user interface. It is necessary to select an object before doing any operation (such as, dragging, copying, opening, deleting etc.) on that object. The GUI may provide…

Human-Computer Interaction · Computer Science 2014-04-29 Umakant Mishra

Recent research focuses beyond recommendation accuracy, towards human factors that influence the acceptance of recommendations, such as user satisfaction, trust, transparency and sense of control.We present a generic interactive recommender…

Information Retrieval · Computer Science 2019-10-09 Oznur Alkan , Massimiliano Mattetti , Elizabeth M. Daly , Adi Botea , Inge Vejsbjerg

Interface circuits are the key components that enable the hybrid integration of superconductor and semiconductor digital electronics. The design requirements of superconductor-semiconductor interface circuits vary depending on the…

Applied Physics · Physics 2026-01-16 Yerzhan Mustafa , Selçuk Köse