2613 search results - page 232 / 523 » Proposal for Tools Supporting Component Based Programming |
200
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
177
Voted
NJC
2006
15 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
189
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a utility-based resource allocation scheme for layer-encoded IPTV multicast streaming service over IEEE 802.16 WiMAX networks. Unlike existing utility-bas...
175
click to vote
GPEM
2000
15 years 6 months ago
2000
Genetic programming, in conjunction with advanced analytical instruments, is a novel tool for the investigation of complex biological systems at the whole-tissue level. In this stu...
227
click to vote
ERCIMDL
2001
Springer
15 years 11 months ago
2001
Springer
This paper proposes an approach to the problem of generating metadata for composite mixed-media digital objects by appropriately combining and exploiting existing knowledge or met...