7557 search results - page 365 / 1512 » Modeling Timed Concurrent Systems |
183
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
219
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper addresses the problem of scheduling realtime dwells in multi-function phase array radar systems. To keep track of targets, a radar system must meet its timing and energ...
178
click to vote
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
158
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...
155
click to vote
ICRA
2006
IEEE
16 years 23 days ago
2006
IEEE
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...