Sciweavers

6308 search results - page 93 / 1262
» Modeling Urgency in Timed Systems
Sort
View
SMC
2010
IEEE
166views Control Systems» more  SMC 2010»
14 years 8 months ago
A system to recommend dishes by the real time recognition of dining activity
— Enhancement of dining environment by information technology is explored in this paper. A table system to recommend additional dishes according to the dining status is introduce...
Tomoo Inoue, Yosuke Matsusaka
BIRTHDAY
2006
Springer
15 years 1 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
TWC
2008
140views more  TWC 2008»
14 years 9 months ago
On the Performance of Spectrally-Encoded Spread-Time Ultrawideband CDMA Communication Systems
In this paper we study the performance of Spectrally-Encoded Spread-Time (SE/ST) technique when applied to ultrawideband (UWB) signals in the context of wireless code-division mult...
Mahmoud Farhang, Jawad A. Salehi
RTSS
1999
IEEE
15 years 2 months ago
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinks...
TWC
2008
137views more  TWC 2008»
14 years 9 months ago
Ml joint CFO and channel estimation in OFDM systems with timing ambiguity
This letter addresses the problem of joint estimation of carrier frequency offset (CFO) and channel for OFDM systems in the presence of timing ambiguity. Based on two signal models...
Jianwu Chen, Yik-Chung Wu, Shaodan Ma, Tung-Sang N...