3765 search results - page 382 / 753 » Formal Methods for Systems Engineering Behavior Models |
183
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an energy-ecient biped walking method that has been implemented in a low-cost humanoid platform, PINO, for various research purposes. For biped walking robots ...
189
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
171
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
199
click to vote
TAAS
2010
15 years 1 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
197
click to vote
WOA
2003
15 years 8 months ago
2003
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...