15614 search results - page 266 / 3123 » The State of State |
188
click to vote
ARCS
2004
Springer
16 years 22 hour ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
176
click to vote
ATAL
2004
Springer
16 years 21 hour ago
2004
Springer
Most BDI agent architectures rely on plan libraries in order to ensure bounded time for means-ends reasoning. Nevertheless, the usage of fast planning algorithms to provide the ag...
182
click to vote
CMSB
2004
Springer
16 years 17 hour ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
184
click to vote
CONCUR
2004
Springer
16 years 17 hour ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...