1884 search results - page 221 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
126
click to vote
ICRA
2009
IEEE
14 years 11 months ago
2009
IEEE
Maintaining the network connectivity in mobile Multi-Robot Systems (MRSs) is a key issue in many robotic applications. In our view, the solution to this problem consists of two mai...
141
click to vote
AAMAS
2004
Springer
15 years 1 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
118
click to vote
TSP
2010
14 years 8 months ago
2010
Abstract--This paper proposes a training-based channel estimation scheme for achieving quality-of-service discrimination between legitimate and unauthorized receivers in wireless m...
104
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
We describe a system for aggregating heterogeneous resources from distinct administrative domains into an enterprise-wide compute grid, such that the aggregated resource provides ...
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...