3868 search results - page 484 / 774 » A Distributed Parallel Programming Framework |
151
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
154
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
175
click to vote
FTDCS
2004
IEEE
15 years 10 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
212
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
As the large volume of resources involved and the power of computational Grids increased, there is a corresponding and urgent need for employ the grid technologies into problem so...
138
click to vote
PPSN
2000
Springer
15 years 10 months ago
2000
Springer
Domain knowledge is essential for successful problem solving and optimization. This paper introduces a framework in which a form of automatic domain knowledge extraction can be im...