380 search results - page 9 / 76 » Formal driven prototyping approach for multiagent systems |
AOSE
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents an innovative multi-agent system development approach called mission-based on-demand agent generation. This approach allows agents to be dynamically composed at...
AOSE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
IAJIT
2010
13 years 6 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
MEMOCODE
2008
IEEE
14 years 2 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
The goal of autonomic computing is to create computing systems capable of managing themselves to a far greater extent than they do today. This paper presents Unity, a decentralize...