598 search results - page 96 / 120 » Independence Semantics for BKBs |
NDSS
2005
IEEE
14 years 2 months ago
2005
IEEE
As national infrastructure becomes intertwined with emerging global data networks, the stability and integrity of the two have become synonymous. This connection, while necessary,...
MM
2004
ACM
14 years 1 months ago
2004
ACM
The realization of multimedia systems still heavily relies on building monolithic systems that need to be reengineered for every change in the application and little of which can ...
SIGSOFT
2004
ACM
14 years 1 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
DOCENG
2003
ACM
14 years 1 months ago
2003
ACM
Portable Document Format (PDF) is a page-oriented, graphically rich format based on PostScript semantics and it is also the format interpreted by the Adobe Acrobat viewers. Althou...
ITICSE
2003
ACM
14 years 1 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...