314 search results - page 12 / 63 » Generating Path Conditions for Timed Systems |
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we describe the Automatic Task Demonstration Generator (ATDG), a system implemented into a software prototype for teaching the operation of a robot manipulator deplo...
WCW
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We present a detailed workload characterization of a multi-tiered system that hosts an e-commerce site. Using the TPC-W workload and via experimental measurements, we ill...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Nowadays, the Quality of Service (QoS) in Optical Grids has become a key issue. An important QoS factor is the resiliency, namely the ability to survive from certain network failur...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper propose a channel estimation technique for multiple-input multiple-output (MIMO) - orthogonal frequency division multiplexing (OFDM) / time division multiple...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Fine time resolution enables Ultra-Wideband (UWB) ranging systems to reliably extract the first multipath arrival corresponding to the range between a transmitter and receiver...