-
3
-
-
84883599059
-
-
Recommender FSP model. http://software.ucv.ro/~badica_costin/proiecte/ hiperproc/fsp/recommender.lts.
-
Recommender FSP model
-
-
-
4
-
-
26844497917
-
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
-
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
-
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
-
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
-
9
-
-
33750544462
-
Ltsa-ws: A tool for model-based verification of web service compositions and choreography
-
L. J. Osterweil, H. D. Rombach, and M. L. Soffa, editors, ICSE, New York, NY, USA, ACM Press
-
th International Conference on Software Engineering, ICSE'2006, pages 771-774, New York, NY, USA, 2006. ACM Press.
-
(2006)
th International Conference on Software Engineering
, pp. 771-774
-
-
Foster, H.1
Uchitel, S.2
Magee, J.3
Kramer, J.4
-
11
-
-
84883599695
-
-
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
-
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
-
-
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
-
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
-
-
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
-
-
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.
-
-
-
-
19
-
-
0346896325
-
The role of middle-agents in electronic commerce
-
I. Yarom, J. S. Rosenschein, and C. V. Goldman. The role of middle-agents in electronic commerce. IEEE Intelligent Systems, 18(6):15-21, 2003.
-
(2003)
IEEE Intelligent Systems
, vol.18
, Issue.6
, pp. 15-21
-
-
Yarom, I.1
Rosenschein, J.S.2
Goldman, C.V.3
|