623 search results - page 121 / 125 » Relational Parametricity for Control Considered as a Computa... |
101
click to vote
ANSS
2007
IEEE
15 years 6 months ago
2007
IEEE
During the last few years, continuous progresses in wireless communications have opened new research fields in computer networking, aimed at extending data networks connectivity ...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Mobile users are expected to be highly dynamic in next generation mobile networks. Additionally they will be served a wide variety of services with different transmission rates...
RTAS
1999
IEEE
15 years 4 months ago
1999
IEEE
We present a QoS management framework that enables us to quantitatively measure QoS, and to analytically plan and allocate resources. In this model, end users' quality prefer...
107
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
180
click to vote
SIGMOD
2009
ACM
15 years 12 months ago
2009
ACM
In this paper, we study a novel form of continuous nearest neighbor queries in the presence of obstacles, namely continuous obstructed nearest neighbor (CONN) search. It considers...