15777 search results - page 2752 / 3156 » Software Engineering |
145
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
Since multimedia data are characterized by continuity and massive volume, compression techniques such as MPEG are used for efficient transmission. However, a transmission error oc...
176
click to vote
PEPM
1999
ACM
15 years 10 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
190
Voted
AC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In 1982, Bennett and Brassard suggested a new way to provide privacy in long distance communications with security based on the correctness of the basic principles of qua...
190
click to vote
FSTTCS
1998
Springer
15 years 10 months ago
1998
Springer
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
143
Voted
IUI
1997
ACM
15 years 10 months ago
1997
ACM
Efforts to incorporate intelligence into the user interface have been underway for decades, but the commercial impact of this work has not lived up to early expectations, and is n...