Sciweavers

2152 search results - page 164 / 431
» On Automating the Calculus of Relations
Sort
View
COORDINATION
2008
Springer
15 years 8 months ago
Implementing Session Centered Calculi
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
FMOODS
2006
15 years 7 months ago
Mobility Mechanisms in Service Oriented Computing
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...
Claudio Guidi, Roberto Lucchi
SEBD
1997
134views Database» more  SEBD 1997»
15 years 7 months ago
A Systematic Approach to Multidimensional Databases
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
Luca Cabibbo, Riccardo Torlone
LMO
1996
15 years 7 months ago
Using Metaobjects to Model Concurrent Objects with PICT
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz
GECCO
2008
Springer
120views Optimization» more  GECCO 2008»
15 years 7 months ago
Genetic programming with polymorphic types and higher-order functions
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
Franck Binard, Amy P. Felty