5113 search results - page 140 / 1023 » Model-integrated system development: models, architecture, a... |
130
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
223
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
167
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...
178
click to vote
IPPS
2007
IEEE
16 years 23 days ago
2007
IEEE
Assessing reliability at early stages of software development, such as at the level of software architecture, is desirable and can provide a cost-effective way of improving a soft...
253
click to vote
HPDC
2008
IEEE
16 years 28 days ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...