Sciweavers

5358 search results - page 952 / 1072
» Script-based Presentation of Simulation Results
Sort
View
165
Voted
LICS
2006
IEEE
15 years 9 months ago
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
Catuscia Palamidessi, Vijay A. Saraswat, Frank D. ...
130
Voted
APGV
2005
ACM
141views Visualization» more  APGV 2005»
15 years 9 months ago
Scene consistency and spatial presence increase the sensation of self-motion in virtual reality
The illusion of self-motion induced by moving visual stimuli (“vection”) has typically been attributed to low-level, bottom-up perceptual processes. Therefore, past research h...
Bernhard E. Riecke, Jörg Schulte-Pelkum, Mari...
CCS
2004
ACM
15 years 9 months ago
On achieving software diversity for improved network security using distributed coloring algorithms
It is widely believed that diversity in operating systems, software packages, and hardware platforms will decrease the virulence of worms and the effectiveness of repeated applic...
Adam J. O'Donnell, Harish Sethu
127
Voted
KI
2001
Springer
15 years 8 months ago
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
Frank Schönherr, Mihaela Cistelecan, Joachim ...
129
Voted
ICNP
2000
IEEE
15 years 8 months ago
General AIMD Congestion Control
Instead of the increase-by-onedecrease-to-halfstrategy used in TCP Reno for congestion window adjustment, we consider the general case such that the increase value and decrease ra...
Yang Richard Yang, Simon S. Lam