774 search results - page 44 / 155 » Experiments with an Agent-Oriented Reasoning System |
ECRTS
2003
IEEE
14 years 1 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
TASE
2008
IEEE
13 years 8 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
IPPS
2000
IEEE
14 years 14 days ago
2000
IEEE
For economic reasons, a new trend in the development of distributed hard real-time systems is to rely on the use of CommercialO -The-Shelf cots hardware and operating systems. As...
ECIS
2001
13 years 9 months ago
2001
Decision making, whether by an individual or a group, can be substantially enhanced by a "systems thinking" approach. Because groups are often challenged to justify thei...