Prime arithmetic Teichmüller discs in
P Hubert, S Lelièvre - Israel Journal of Mathematics, 2006 - Springer
It is well-known that Teichmüller discs that pass through “integer points” of the moduli space
of abelian differentials are very special: they are closed complex geodesics. However, the …
of abelian differentials are very special: they are closed complex geodesics. However, the …
On design and applications of digital differentiators
BT Krishna, SS Rao - 2012 Fourth International Conference on …, 2012 - ieeexplore.ieee.org
This paper deals with the design and applications of digital differentiators. For real time
applications it is mandatory that a differentiator should have as small an order as possible …
applications it is mandatory that a differentiator should have as small an order as possible …
[图书][B] A process algebraic approach to software architecture design
Inthe? eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga
constantlyincreasinginterest. Thisisespeciallytrueforprocessalgebra. Althoughit had been …
constantlyincreasinginterest. Thisisespeciallytrueforprocessalgebra. Althoughit had been …
A generic framework for n-protocol compatibility checking
Service-Oriented Computing promotes the development of new systems from existing
services which are usually accessed through their public interfaces. In this context …
services which are usually accessed through their public interfaces. In this context …
R-Charon, a modeling language for reconfigurable hybrid systems
This paper describes the modeling language R-Charon as an extension for architectural
reconfiguration to the existing distributed hybrid system modeling language Charon. The …
reconfiguration to the existing distributed hybrid system modeling language Charon. The …
[PDF][PDF] TwoTowers 5.1 User Manual
M Bernardo - no. January, 2006 - Citeseer
TwoTowers 5.1 User Manual Page 1 TwoTowers 5.1 User Manual Marco Bernardo January
2006 c 2006 Page 2 ii Page 3 Contents 1 Tool Description 1 1.1 What TwoTowers 5.1 Is …
2006 c 2006 Page 2 ii Page 3 Contents 1 Tool Description 1 1.1 What TwoTowers 5.1 Is …
On the observable behaviour of composite components
R Hennicker, S Janisch, A Knapp - Electronic Notes in Theoretical …, 2010 - Elsevier
The crucial strength of the component paradigm lies in the possibility to encapsulate
behaviours. In this work, we focus on the observable behaviour of composite components …
behaviours. In this work, we focus on the observable behaviour of composite components …
P/s-com: Building correct by design publish/subscribe architectural styles with safe reconfiguration
We present P/S-CoM, a formal approach supporting the correct modeling of
Publish/Subscribe architectural styles and safe reconfiguration of dynamic architectures for …
Publish/Subscribe architectural styles and safe reconfiguration of dynamic architectures for …