898 search results - page 146 / 180 » The Certification of Software Tools with respect to Software... |
132
click to vote
GLOBECOM
2009
IEEE
16 years 26 days 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...
169
click to vote
CBMS
2006
IEEE
16 years 5 days 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...
154
click to vote
CSCW
2006
ACM
16 years 2 days 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 ...
184
click to vote
AGP
1999
IEEE
15 years 10 months 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...
166
click to vote
EOR
2006
15 years 6 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...