Sciweavers

2650 search results - page 383 / 530
» Simulation and Control of Reactive Systems
Sort
View
CL
2010
Springer
15 years 3 months ago
Isolating untrusted software extensions by custom scoping rules
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
Philip W. L. Fong, Simon A. Orr
ATAL
2009
Springer
15 years 10 months ago
Towards multi-level modeling of self-assembling intelligent micro-systems
We investigate and model the dynamics of two-dimensional stochastic self-assembly of intelligent micro-systems with minimal requirements in terms of sensing, actuation, and contro...
Grégory Mermoud, Juergen Brugger, Alcherio ...
HICSS
2007
IEEE
118views Biometrics» more  HICSS 2007»
15 years 10 months ago
On the Development of an Internetwork-Centric Defense for Scanning Worms
Studies of worm outbreaks have found that the speed of worm propagation makes manual intervention ineffective. Consequently, many automated containment mechanisms have been propos...
Scott E. Coull, Boleslaw K. Szymanski
147
Voted
SIGGRAPH
1997
ACM
15 years 8 months ago
The haptic display of complex graphical environments
Force feedback coupled with visual display allows people to interact intuitively with complex virtual environments. For this synergy of haptics and graphics to flourish, however, ...
Diego C. Ruspini, Krasimir Kolarov, Oussama Khatib
96
Voted
ISCC
2007
IEEE
15 years 10 months ago
On XCP Stability in a Heterogeneous Network
In this paper, we analyze stability of XCP (eXplicit Control Protocol) in a network with heterogeneous XCP flows (i.e., XCP flows with different propagation delays). Specificall...
Yusuke Sakumoto, Hiroyuki Ohsaki, Makoto Imase