Related papers: The Poster Session of SSS 2005
Multiparty session types are a type system that can ensure the safety and liveness of distributed peers via the global specification of their interactions. To construct a global specification from a set of distributed uncontrolled…
This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…
Multiparty session types (MPST) provide a rigorous foundation for verifying the safety and liveness of concurrent systems. However, existing approaches often force a difficult trade-off: classical, projection-based techniques are…
This editorial introduces the special issue of the Springer journal, Journal of Intelligent Manufacturing, on intelligent distributed production control. This special issue contains selected papers presented at the 13th IFAC Symposium on…
This EPTCS volume contains the post-proceedings of the Twelfth International Workshop on Fixed Points in Computer Science, presenting a selection of the works presented during the workshop that took place in Naples (Italy) on the 19th and…
This is the unedited authors' version of Chapter 3 appearing in the following book: Self-Assembly Systems: Theory and Simulations Ed. Li-Tang Yan John Wiley & Sons, Ltd, Chichester, pp. 53-84 (2017)
The CLEARSY Safety Platform (CSSP) was designed to ease the development of safety critical systems and to reduce the overall costs (development, deployment, and certification) under the pressure of the worldwide market. A smart combination…
Informal seminar notes explaining the ideas in math.DS/0411344 and math.DS/0411345.
In this paper, we address the problem of stabilization in continuous time linear dynamical systems using state feedback when compressive sampling techniques are used for state measurement and reconstruction. In [5], we had introduced the…
We present a modular toolkit to perform joint speaker diarization and speaker identification. The toolkit can leverage on multiple models and algorithms which are defined in a configuration file. Such flexibility allows our system to work…
This dissertation collects together results on Patience Sorting and its generalizations. It incorporates the results of math.CO/0506358, math.CO/0507031, and math.CO/0512122, as well as previously unpublished results.
This is an expository article that describes the spectral-theoretic aspects in the study of the stability of self-similar blowup for nonlinear wave equations. The linearization near a self-similar solution leads to a genuinely…
Seminar activities never occur randomly or in a vacuum. Carefully planned and well-organized thematically, they allow both undergraduates and graduates to explore in (more) detail various subject areas of particular interest to every…
This document offers a detailed linguistic description of SNACS (Semantic Network of Adposition and Case Supersenses; Schneider et al., 2018), an inventory of 52 semantic labels ("supersenses") that characterize the use of adpositions and…
This is the list of the full papers accepted for presentation at the 32nd International Conference on Logic Programming, New York City, USA, October 18-21, 2016. In addition to the main conference itself, ICLP hosted four pre-conference…
This "position paper" collects the scientific arguments behind the CERN Press Release of February 10, 2000, which announced evidence for the creation of a new state of matter in Pb-Pb collisions at the CERN SPS. The data on which this paper…
This paper deals with the problem of allocating communication resources for Networked Control Systems (NCSs). We consider an NCS consisting of a set of discrete-time LTI plants whose stabilizing feedback loops are closed through a shared…
Active replication following the state machine replication (SMR) approach is a way to make existing systems and services more reliable and fault-tolerant. The additional communication overhead has a negative impact on the system's…
This is neither a summary talk (too much for too short a talk) nor a conclusion (a gigantic work is in progress and we are not at the end of a particular phase), rather an overview of the field as reflected at this Conference.
Electronic presentations are rapidly becoming the standard for meetings in large high energy physics collaborations. An attractive solution should combine a central repository of presentation files with easy uploading and downloading access…