8083 search results - page 1451 / 1617 » A Formalization of Software Architecture |
192
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
172
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
171
click to vote
GECON
2007
Springer
16 years 21 days ago
2007
Springer
The major shortcoming of Grid middleware systems is the lack of economic-enhanced Grid services. These new services are necessary in order to let Grid users benefit from the proper...
207
click to vote
GI
2007
Springer
16 years 21 days ago
2007
Springer
: An new object oriented development suite for data fusion is presented. It is shown how the various issues in the data fusion development like design, implementation, simulation a...
175
click to vote
HIPC
2007
Springer
16 years 21 days ago
2007
Springer
Rapid evolution of multi-core platforms is putting additional stress on shared processor resources like TLB. TLBs have mostly been private resources for the application running on ...