1087 search results - page 46 / 218 » Achieving Distributed Control through Model Checking |
ECOOPW
1999
Springer
14 years 2 days ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...
PDCAT
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we propose a novel active queue management (AQM) scheme based on the Random Early Detection (RED) of the loss ratio and the total sending rate control, called LRC-R...
GPC
2007
Springer
14 years 2 months ago
2007
Springer
Heterogeneous wireless sensor network (heterogeneous WSN) consists of sensor nodes with different ability, such as different computing power and sensing range. Compared with homoge...
BPM
2007
Springer
14 years 2 months ago
2007
Springer
Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasin...