7557 search results - page 238 / 1512 » Modeling Timed Concurrent Systems |
170
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
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...
180
click to vote
TWC
2008
15 years 6 months ago
2008
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...
198
click to vote
TWC
2008
15 years 6 months ago
2008
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...
169
click to vote
ICAS
2005
IEEE
16 years 4 days ago
2005
IEEE
How to effectively allocate system resource to meet the Service Level Agreement (SLA) of Web servers is a challenging problem. In this paper, we propose an improved scheme for aut...
131
click to vote
ENTCS
2008
15 years 6 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...