623 search results - page 60 / 125 » Relational Parametricity for Control Considered as a Computa... |
MMB
2012
Springer
13 years 7 months ago
2012
Springer
We consider an electricity consumer equipped with a perfect battery, who needs to satisfy a non-elastic load, subject to external control signals. The control imposes a time-varyin...
ASSETS
2006
ACM
15 years 5 months ago
2006
ACM
The current state of software which targets older adults’ ability to use computers focuses on physical issues while largely ignoring the cognitive issues. As a larger percentage...
TROB
2002
14 years 11 months ago
2002
We consider the problem of having a team of Unmanned Aerial Vehicles (UAV) and Unmanned Ground Vehicles (UGV) pursue a second team of evaders while concurrently building a map in a...
MOBIHOC
2004
ACM
15 years 11 months ago
2004
ACM
Smart antennas represent a broad variety of antennas that differ in their performance and transceiver complexity. The superior capabilities of smart antennas, however, can be leve...
ICNP
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper, we consider a proportional delay model for Internet differentiated services. Under this model, an ISP can control the “spacing” of waiting times between differe...