2845 search results - page 449 / 569 » Constraints over Ontologies |
DAC
2009
ACM
14 years 29 days ago
2009
ACM
Structured ASICs have recently emerged as an exciting alternative to ASIC or FPGA design style as they provide a new trade-off between the high performance of ASIC design and low ...
FSEN
2007
Springer
14 years 29 days ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
GLOBECOM
2007
IEEE
14 years 29 days ago
2007
IEEE
In this contribution1 , we investigate the idea of using cognitive radio to reuse locally unused spectrum to increase the total system capacity. We consider a multiband/wideband sy...
GLOBECOM
2007
IEEE
14 years 29 days ago
2007
IEEE
Traditional IP Multicast has been proposed in order to manage group communications over the Internet in a bandwidth efficient manner. Although this proposition has been well studie...
COMPSAC
2004
IEEE
14 years 25 days ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...