741 search results - page 62 / 149 » Steps towards C C: A Language for Interactions |
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
Web services are becoming the prominent paradigm for distributing, computing, and electronic business, while there is an increasing surge to provide online Businessto-Business col...
CACM
1998
13 years 7 months ago
1998
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...
JUCS
2010
13 years 2 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
CONCUR
2008
Springer
13 years 10 months ago
2008
Springer
A well-known theorem in automata theory states that every context-free language is accepted by a pushdown automaton. We investigate this theorem in the setting of processes, using ...
ICPR
2000
IEEE
14 years 9 months ago
2000
IEEE
This paper presents a cooperative strategy between volumetric registration and segmentation. The segmentation method is based on the level set formalism. Starting from an initial ...