16968 search results - page 2994 / 3394 » Software Engineering in the Small |
170
Voted
FOSSACS
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
209
Voted
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
Middleware implementation of various critical services required by large-scale and complex real-time applications on top of COTS operating system is currently an approach of growi...
218
Voted
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
Many world wide web applications require access, transfer, and synchronization of large multimedia data objects (MDOs) (such as, audio, video, and images) across the communication...
160
click to vote
EUROMICRO
1998
IEEE
15 years 11 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...
192
Voted
PEPM
1999
ACM
15 years 11 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...