9626 search results - page 1382 / 1926 » Invariant Based Programming |
204
click to vote
COOPIS
2003
IEEE
16 years 11 days ago
2003
IEEE
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...
218
click to vote
CVPR
2003
IEEE
16 years 11 days ago
2003
IEEE
We develop a framework for the image segmentation problem based on a new graph-theoretic formulation of clustering. The approach is motivated by the analogies between the intuitiv...
202
click to vote
EDOC
2003
IEEE
16 years 11 days ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
162
click to vote
HICSS
2003
IEEE
16 years 11 days ago
2003
IEEE
The hop constrained min-sum arborescence with outage costs problem consists of selecting links in a network so as to connect a set of terminal nodes N={2,3,……n} to a central n...
182
click to vote
IPPS
2003
IEEE
16 years 11 days ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...