898 search results - page 146 / 180 » The Certification of Software Tools with respect to Software... |
GLOBECOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper identifies important features a cognitive radio framework should provide, namely a virtual architecture ware abstraction, an adaptive run-time system for managing co...
CBMS
2006
IEEE
14 years 2 months ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
CSCW
2006
ACM
14 years 2 months ago
2006
ACM
Rendezvous is a conference call solution that leverages Voice over IP, enterprise calendaring, instant messaging, and rich client functionality to enhance the user experience and ...
AGP
1999
IEEE
14 years 23 days ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
EOR
2006
13 years 8 months ago
2006
Balancing assembly lines is a crucial task for manufacturing companies in order to improve productivity and minimize production costs. Despite some progress in exact methods to so...