9842 search results - page 521 / 1969 » Compositional timing analysis |
175
click to vote
CAV
2005
Springer
16 years 18 days ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
168
click to vote
AI
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...
172
click to vote
CD
2004
Springer
16 years 14 days ago
2004
Springer
Development and deployment via components offers the possibility of prolific software reuse. However, to achieve this potential in a component-rich environment, it is necessary to...
239
click to vote
GRID
2004
Springer
16 years 13 days ago
2004
Springer
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
160
click to vote
SEMWEB
2004
Springer
16 years 12 days ago
2004
Springer
Faceted classification allows one to model applications with complex classification hierarchies using orthogonal dimensions. Recent work has examined the use of faceted classi...