A Survey on Formal Methods for Web Service Composition
Identifying Potential Risks and Benefits of Using Cloud in Distributed
  Software Development
Waveguides with Absorbing Boundaries: Nonlinearity Controlled by an
  Exceptional Point and Solitons Algorithmic Information Dynamics of Persistent Patterns and Colliding
  Particles in the Game of Life Hierarchical Graph Representation Learning with Differentiable Pooling Ologs: a categorical framework for knowledge representation Unicellular maps vs hyperbolic surfaces in large genus: simple closed
  curves Variational principles for spectral radius of weighted endomorphisms of
  $C(X,D)$ Stochastic Proximal Gradient Algorithms for Multi-Source Quantitative
  Photoacoustic Tomography Dynamic Bayesian Combination of Multiple Imperfect Classifiers What is... a Markov basis? Error Correction and Digitalization Concepts in Biochemical Computing Bridge the Gap: Measuring and Analyzing Technical Data for Social Trust
  between Smartphones Centers with equal period functions Bayesian noise estimation for non-ideal CMB experiments The dynamical Schr\"odinger problem in abstract metric spaces Combining the Mersenne Twister and the Xorgens Designs Maxwell fish eye for polarized light Crawford-Sobel meet Lloyd-Max on the grid Agent-based Simulation of Blockchains
cs.SE cs.DC