6279 search results - page 134 / 1256 » Objects as session-typed processes |
178
Voted
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
158
click to vote
DELTA
2006
IEEE
15 years 10 months ago
2006
IEEE
The mapping of image processing algorithms to hardware is complicated by several hardware constraints including limited processing time, limited access to data and limited resourc...
189
click to vote
FOMI
2009
15 years 4 months ago
2009
The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing processes and resources. In this paper w...
176
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...
173
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, a new framework for the tracking of closed curves is described. The proposed approach, formalized through an optimal control technique, enables a continuous trackin...