Sciweavers

6192 search results - page 1021 / 1239
» Distributed Control of Attention
Sort
View
SAS
2007
Springer
106views Formal Methods» more  SAS 2007»
15 years 10 months ago
Guided Static Analysis
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
Denis Gopan, Thomas W. Reps
SSS
2007
Springer
15 years 10 months ago
The Truth System: Can a System of Lying Processes Stabilize?
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...
Mohamed G. Gouda, Yan Li
ANSS
2006
IEEE
15 years 10 months ago
Moderating Simulation Lag in Haptic Virtual Environments
Simulation lag is a known issue in networked virtual environments where users are geographically distributed. When users collaborate across the network using haptics, there are al...
Azzedine Boukerche, Shervin Shirmohammadi, Abuhoss...
BROADNETS
2006
IEEE
15 years 10 months ago
Toward a More Practical Marking Scheme for IP Traceback
Probabilistic packet marking (PPM) has been studied as a promising approach to realize IP traceback. In this paper, we propose a new PPM approach that improves the current state o...
Chao Gong, Kamil Saraç
BROADNETS
2006
IEEE
15 years 10 months ago
LambdaBridge: A Scalable Architecture for Future Generation Terabit Applications
—LambdaGrid applications as typified by data-intensive collaborative visualization are likely to be the first users of terabit-level networking. This paper features a main enable...
Xi Wang, Venkatram Vishwanath, Byungil Jeong, Ratk...
« Prev « First page 1021 / 1239 Last » Next »