1188 search results - page 181 / 238 » States of Knowledge |
96
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
DEXAW
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In the context of a project aimed at the development of a cooperative and distributed Authoring System to facilitate the production, sharing, and integration of new and e...
127
Voted
ESWS
2008
Springer
15 years 1 months ago
2008
Springer
Business Process Management (BPM) aims at supporting the whole life-cycle necessary to deploy and maintain business processes in organisations. An important step of the BPM life-cy...
106
Voted
GLOBECOM
2008
IEEE
15 years 1 months ago
2008
IEEE
— This paper analyzes the ergodic mutual information of OFDMA cooperative relay networks when the Channel State Information (CSI) imperfection is considered at resource allocatio...
108
Voted
ECSA
2010
Springer
15 years 24 days ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...