2850 search results - page 313 / 570 » On Timed Models and Full Abstraction |
188
click to vote
ICLP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
179
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. Moving object environments are characterized by large numbers of objects continuously sending location updates. At times, data arrival rates may spike up, causing the loa...
187
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--In this paper, we propose a robust STBC transmission scheme to combat timing synchronization errors over frequency-selective multiple-access channels. We start by derivin...
178
click to vote
INFOCOM
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— We consider a multi-class queueing system operating under the Discriminatory Processor-Sharing (DPS) discipline. The DPS discipline provides a natural approach for mode...
148
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Database applications are frequently faced with the necessity of representing time varying information and, particularly in the management of information systems, a few k...