813 search results - page 111 / 163 » Correctness Properties for Multiagent Systems |
121
Voted
WIA
2000
Springer
15 years 7 months ago
2000
Springer
- Adaptive technologies are based on the self-modifying property of some systems, which give their users a very powerful and convenient facility for expressing and handling complex...
129
Voted
PDSE
2000
15 years 5 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
1744
Voted
ICECCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
109
Voted
EMO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Multi-objective evolutionary algorithms (MOEAs) have proven to be a powerful tool for global optimization purposes of deterministic problem functions. Yet, in many real-w...
144
Voted
RSS
2007
15 years 5 months ago
2007
— We propose a novel switching control law for the posture stabilization of a wheeled mobile robot, that utilizes the (energetic) passivity of the system’s open-loop dynamics w...