Sciweavers

840 search results - page 78 / 168
» Open multi-methods for c
Sort
View
HT
2004
ACM
15 years 8 months ago
Experiences migrating microcosm learning materials
Microcosm was an open hypertext system that evolved in the early 1990s, before the advent of the Web. Apart from its success as a research platform it was widely used for presenti...
H. C. Davis, R. A. Bacon
MM
2004
ACM
124views Multimedia» more  MM 2004»
15 years 8 months ago
Exploiting content-based networking for video streaming
This technical demonstration shows that content-based networking is a promising technology for multireceiver video streaming. Each video receiver is provided with fine grained se...
Viktor S. Wold Eide, Frank Eliassen, Jørgen...
FSTTCS
2004
Springer
15 years 8 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
118
Voted
DISCEX
2003
IEEE
15 years 8 months ago
MYSEA Technology Demonstration
The MYSEA project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mechanis...
Cynthia E. Irvine, David J. Shifflett, Paul C. Cla...
IWPSE
2003
IEEE
15 years 8 months ago
The Chaos of Software Development
In this paper we present a new perspective on the problem of complexity in software, using sound mathematical concepts from information theory such as Shannon’s Entropy [31]. We...
Ahmed E. Hassan, Richard C. Holt