3868 search results - page 508 / 774 » Open Systems in TLA |
177
click to vote
IMC
2005
ACM
16 years 6 days ago
2005
ACM
Recent progress in active measurement techniques has made it possible to estimate end-to-end path available bandwidth. However, how to efficiently obtain available bandwidth info...
170
click to vote
MM
2005
ACM
16 years 6 days ago
2005
ACM
In this demonstration, a prototype system for generating 3D cartoon from broadcast soccer video is proposed. This system takes advantage of computer vision (CV) and computer graph...
170
click to vote
SOFTVIS
2005
ACM
16 years 6 days ago
2005
ACM
Observing the evolution of very large software systems is difficult because of the sheer amount of information that needs to be analyzed and because the changes performed in the s...
193
click to vote
UIST
2005
ACM
16 years 6 days ago
2005
ACM
A significant problem encounteredwhen building Augmented Reality (AR) systems is that all spatial knowledge about the world has uncertainty associated with it. This uncertainty m...
164
click to vote
CASSIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...