메뉴 건너뛰기




Volumn , Issue , 2007, Pages 12-17

Middle-agents interactions as finite state processes: Overview and example

Author keywords

[No Author keywords available]

Indexed keywords

ENABLING TECHNOLOGIES; INTERNATIONAL WORKSHOPS; MIDDLE-AGENTS;

EID: 51149104832     PISSN: 15244547     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WETICE.2007.4407119     Document Type: Conference Paper
Times cited : (8)

References (19)
  • 3
    • 84883599059 scopus 로고    scopus 로고
    • Recommender FSP model. http://software.ucv.ro/~badica_costin/proiecte/ hiperproc/fsp/recommender.lts.
    • Recommender FSP model
  • 4
    • 26844497917 scopus 로고    scopus 로고
    • Agent types and their formal descriptions
    • Technical Report COEN-2002-09-19A, Santa Clara University. Computer Engineering Department
    • V. Alagar and J. Holliday. Agent types and their formal descriptions. Technical Report COEN-2002-09-19A, Santa Clara University. Computer Engineering Department, 2002.
    • (2002)
    • Alagar, V.1    Holliday, J.2
  • 5
    • 39649109440 scopus 로고    scopus 로고
    • Formal modeling of agent-based english auctions using finite state process algebra
    • N. Nguyen, A. Grzech, R. Howlett, and L. Jain, editors, Agent and Multi-Agent Systems: Technologies and Applications. Proc.KES-AMSTA'2007, of, Springer, London, UK
    • C. Bǎdicǎ and A. Bǎdicǎ. Formal modeling of agent-based english auctions using finite state process algebra. In N. Nguyen, A. Grzech, R. Howlett, and L. Jain, editors, Agent and Multi-Agent Systems: Technologies and Applications. Proc.KES-AMSTA'2007., volume 4496 of Lecture Notes In Artificial Intelligence, pages 248-257. Springer, London, UK, 2007.
    • (2007) Lecture Notes In Artificial Intelligence , vol.4496 , pp. 248-257
    • Bǎdicǎ, C.1    Bǎdicǎ, A.2
  • 6
    • 33847232380 scopus 로고    scopus 로고
    • Role activity diagrams as finite state processes
    • M. Paprzycki, editor, Los Alamitos, CA, IEEE Computer Society Press
    • C. Bǎdicǎ, A. Bǎdicǎ, and V. Liţoiu. Role activity diagrams as finite state processes. In M. Paprzycki, editor, Proc.Int.Symp.Parallel and Distributed Computing ISPDC' 03, pages 15-22, Los Alamitos, CA, 2003. IEEE Computer Society Press.
    • (2003) Proc.Int.Symp.Parallel and Distributed Computing ISPDC' 03 , pp. 15-22
    • Bǎdicǎ, C.1    Bǎdicǎ, A.2    Liţoiu, V.3
  • 8
    • 84955586508 scopus 로고    scopus 로고
    • Using the pi-calculus to model multiagent systems
    • J. L. Rash, C. Rouff, W. Truszkowski, D. F. Gordon, and M. G. Hinchey, editors, Proc.of the First Int.Workshop on Formal Approaches to Agent-Based Systems FAABS 2000, of, Springer, London, UK
    • A. C. Esterline and T. Rorie. Using the pi-calculus to model multiagent systems. In J. L. Rash, C. Rouff, W. Truszkowski, D. F. Gordon, and M. G. Hinchey, editors, Proc.of the First Int.Workshop on Formal Approaches to Agent-Based Systems FAABS 2000., volume 1871 of Lecture Notes In Computer Science, pages 164-179. Springer, London, UK, 2001.
    • (2001) Lecture Notes In Computer Science , vol.1871 , pp. 164-179
    • Esterline, A.C.1    Rorie, T.2
  • 11
    • 84883599695 scopus 로고    scopus 로고
    • th German Conference on Artificial Intelligence (KI'2002), pages 65-80. http://www.informatik.uni-bremen.de/agki/www/ astap02/mai02-ws.pdf , 2002.
    • th German Conference on Artificial Intelligence (KI'2002), pages 65-80. http://www.informatik.uni-bremen.de/agki/www/ astap02/mai02-ws.pdf , 2002.
  • 12
    • 0003051034 scopus 로고    scopus 로고
    • Brokering and matchmaking for coordination of agent societies: A survey
    • A. Omicini, F. Zambonelli, M. Klusch, and R. Tolksdorf, editors, Springer, London, UK
    • M. Klusch and K. P. Sycara. Brokering and matchmaking for coordination of agent societies: A survey. In A. Omicini, F. Zambonelli, M. Klusch, and R. Tolksdorf, editors, Coordination of Internet Agents. Models, Technologies, and Applications, pages 197-224. Springer, London, UK, 2001.
    • (2001) Coordination of Internet Agents. Models, Technologies, and Applications , pp. 197-224
    • Klusch, M.1    Sycara, K.P.2
  • 15
    • 9444264756 scopus 로고    scopus 로고
    • F. Makedon, S. Ye, S. Zhang, J. Ford, L. Shen, and S. Kapidakis. Data brokers: Building collections through automated negotiation. In G. A. Vouros and T. Panayiotopoulos, editors, Methods and Appl. of Art. Intel. 3rd Helenic Conf.on AI, SETN'2004, 3025 of Lecture Notes In Computer Science, pages 19-33. Springer, London, UK, 2004.
    • F. Makedon, S. Ye, S. Zhang, J. Ford, L. Shen, and S. Kapidakis. Data brokers: Building collections through automated negotiation. In G. A. Vouros and T. Panayiotopoulos, editors, Methods and Appl. of Art. Intel. 3rd Helenic Conf.on AI, SETN'2004, volume 3025 of Lecture Notes In Computer Science, pages 19-33. Springer, London, UK, 2004.
  • 16
    • 51149106380 scopus 로고    scopus 로고
    • Design options for subscription managers
    • G. A. Vouros and T. Panayiotopoulos, editors, Agent-Oriented Information Systems III, of, Springer, London, UK
    • A. Mbala, L. Padgham, and M. Winikoff. Design options for subscription managers. In G. A. Vouros and T. Panayiotopoulos, editors, Agent-Oriented Information Systems III, volume 3529 of Lecture Notes In Computer Science, pages 259-274. Springer, London, UK, 2006.
    • (2006) Lecture Notes In Computer Science , vol.3529 , pp. 259-274
    • Mbala, A.1    Padgham, L.2    Winikoff, M.3
  • 17
    • 84883600813 scopus 로고    scopus 로고
    • K. P. Sycara. Multi-agent infrastructure, agent discovery, middle agents for web services and interoperation. In M. Luck, V. Marík, O. Stepánková, and R. Trappl, editors, Multi-Agent Systems and Applications, 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, 2086 of Lecture Notes In Computer Science, pages 17-49. Springer, London, UK, 2001.
    • K. P. Sycara. Multi-agent infrastructure, agent discovery, middle agents for web services and interoperation. In M. Luck, V. Marík, O. Stepánková, and R. Trappl, editors, Multi-Agent Systems and Applications, 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, volume 2086 of Lecture Notes In Computer Science, pages 17-49. Springer, London, UK, 2001.
  • 18
    • 84962073942 scopus 로고    scopus 로고
    • th International Conference on MultiAgent Systems (ICMAS-2000), pages 465-466, Washington, DC, USA, 2000. IEEE Computer Society. An extended version of the paper is available at http://www.cs.cmu.edu/~softagents/papers/ExtMiddleAgentsICMAS.pdf.
    • th International Conference on MultiAgent Systems (ICMAS-2000), pages 465-466, Washington, DC, USA, 2000. IEEE Computer Society. An extended version of the paper is available at http://www.cs.cmu.edu/~softagents/papers/ExtMiddleAgentsICMAS.pdf.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.