5577 search results - page 408 / 1116 » E2K Technology and Implementation |
198
click to vote
LWA
2004
15 years 8 months ago
2004
The Personal Reader1 provides a framework for designing, implementing and maintaining web content readers, which provide personalized enrichment of web content for each individual...
195
click to vote
RIVF
2003
15 years 8 months ago
2003
— This paper describes the design and implementation of a novel reliable multicast protocol, totally reliable and scalable to large number of receivers. MAF relies on Active Netw...
161
click to vote
WSC
2000
15 years 8 months ago
2000
Web technology is having a significant impact on computer simulation. Most of the effort in web-based simulation is aimed at modeling, particularly at building simulation language...
175
click to vote
WSC
1996
15 years 8 months ago
1996
Researchers at the National Institute of Standards and Technology are developing a virtual manufacturing cell. This cell will contain simulation models of a wide range of manufact...
213
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...