2722 search results - page 412 / 545 » The Model Evolution Calculus |
ISPW
2006
IEEE
14 years 4 months ago
2006
IEEE
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...
CCGRID
2005
IEEE
14 years 4 months ago
2005
IEEE
— This article presents an evolution of classical SPMD programming for clusters and grids. It is named ”Object-Oriented SPMD” as it is based on remote method invocation. More...
ICRA
2005
IEEE
14 years 4 months ago
2005
IEEE
- In nature, fish has astonishing swimming ability after thousands years of evolution. To realise fish-like swimming behaviours by a robotic system poses tremendous challenges, esp...
LICS
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
SEW
2005
IEEE
14 years 4 months ago
2005
IEEE
The structural stability of an object-oriented design (OOD) refers to the extent to which the structure of the design is preserved throughout the evolution of the software from on...