Sciweavers

2722 search results - page 71 / 545
» The Model Evolution Calculus
Sort
View
BIRTHDAY
2008
Springer
13 years 10 months ago
Specifying and Analysing SOC Applications with COWS
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
Alessandro Lapadula, Rosario Pugliese, Francesco T...
ENTCS
2006
88views more  ENTCS 2006»
13 years 8 months ago
On Reversible Combinatory Logic
The -calculus is destructive: its main computational mechanism
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ENTCS
2006
112views more  ENTCS 2006»
13 years 8 months ago
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
Lorenzo Capra, Walter Cazzola
GMP
2006
IEEE
131views Solid Modeling» more  GMP 2006»
14 years 2 months ago
Least-Squares Approximation by Pythagorean Hodograph Spline Curves Via an Evolution Process
The problem of approximating a given set of data points by splines composed of Pythagorean Hodograph (PH) curves is addressed. In order to solve this highly non-linear problem, we ...
Martin Aigner, Zbynek Sír, Bert Jüttle...
SWWS
2008
13 years 9 months ago
A New Approach to Managing the Evolution of OWL Ontologies
Abstract The growing demand for large and complex ontologies present new challenges related to their design, maintenance and evolution. In this paper, we propose an approach to man...
Chuming Chen, Manton M. Matthews