Sciweavers

6192 search results - page 673 / 1239
» Distributed Control of Attention
Sort
View
HYBRID
1998
Springer
15 years 11 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
188
Voted
IPPS
1997
IEEE
15 years 11 months ago
External Adjustment of Runtime Parameters in Time Warp Synchronized Parallel Simulators
Several optimizations to the Time Warp synchronization protocol for parallel discrete event simulation have been proposed and studied. Many of these optimizations have included so...
Radharamanan Radhakrishnan, Lantz Moore, Philip A....
OSN
2008
97views more  OSN 2008»
15 years 7 months ago
Managing Layer 1 VPN services
Control Plane architectures enhance transport networks with distributed signaling and routing mechanisms which allow dynamic connection control. As a result, layer 1 switching net...
Neumar Malheiros, Edmundo Roberto Mauro Madeira, F...
CCR
2000
96views more  CCR 2000»
15 years 7 months ago
Decentralized optimal traffic engineering in the internet
Distributed optimal traffic engineering in the presence of multiple paths has been found to be a difficult problem to solve. In this paper, we introduce a new approach in an attem...
Constantino M. Lagoa, Hao Che
CHI
2007
ACM
16 years 7 months ago
Porta-person: telepresence for the connected conference room
This paper describes a telepresence device called PortaPerson. This is the first project in a larger initiative known as the Connected Conference Room, which aims to improve the u...
Nicole Yankelovich, Nigel Simpson, Jonathan Kaplan...