-
2
-
-
35048838844
-
Requirements for achieving software agents autonomy and defining their responsibility
-
Melbourne, Australia
-
Gouaich, A.: Requirements for achieving software agents autonomy and defining their responsibility. In: Autonomy Workshop at AAMAS 2003, Melbourne, Australia (2003)
-
(2003)
Autonomy Workshop at AAMAS 2003
-
-
Gouaich, A.1
-
6
-
-
35048901881
-
Mic*: An agent formal environment
-
Orlando, USA
-
Gouaich, A., Guiraud, Y., Michel, F.: Mic*: An agent formal environment. 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2003) (2003) Orlando, USA
-
(2003)
7th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2003)
-
-
Gouaich, A.1
Guiraud, Y.2
Michel, F.3
-
8
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8 (1987) 231-271
-
(1987)
Science of Computer Programming
, vol.8
, pp. 231-271
-
-
Harel, D.1
-
11
-
-
0002521052
-
A calculus for mobile processes, parts 1 and 2
-
Milner, R., Parrow, J., Walker, D.: A calculus for mobile processes, parts 1 and 2. Information and Computation 100 (1992)
-
(1992)
Information and Computation
, vol.100
-
-
Milner, R.1
Parrow, J.2
Walker, D.3
-
12
-
-
84982993891
-
Abstractions for mobile computation
-
Cardelli, L.: Abstractions for mobile computation. Secure Internet Programming (1999) 51-94
-
(1999)
Secure Internet Programming
, pp. 51-94
-
-
Cardelli, L.1
-
14
-
-
0010823934
-
-
Technical Report Z.120, International Telecommunication Union
-
ITU: Recommendation z.120: Message sequence chart (MSC). Technical Report Z.120, International Telecommunication Union (1993)
-
(1993)
Recommendation Z.120: Message Sequence Chart (MSC)
-
-
-
15
-
-
0003280027
-
Models and technologies for the coordination of internet agents: A survey
-
Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R., eds.: Springer-Verlag
-
Papadopoulos, G.A.: Models and technologies for the coordination of internet agents: A survey. In Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R., eds.: Coordination of Internet Agents: Models, Technologies, and Applications. Springer-Verlag (2000) 25-56
-
(2000)
Coordination of Internet Agents: Models, Technologies, and Applications
, pp. 25-56
-
-
Papadopoulos, G.A.1
-
16
-
-
0002451459
-
COOL: A language for describing coordination in multi-agent systems
-
Lesser, V., ed.: San Francisco, California, AAAI Press/The MIT Press
-
Barbuceanu, M., Fox, M.S.: COOL: A language for describing coordination in multi-agent systems. In Lesser, V., ed.: First International Conference on Multi-Agent Systems, San Francisco, California, AAAI Press/The MIT Press (1995) 17-24
-
(1995)
First International Conference on Multi-Agent Systems
, pp. 17-24
-
-
Barbuceanu, M.1
Fox, M.S.2
-
18
-
-
0003365079
-
Coordinating Plans of Autonomous Agents
-
Springer-Verlag
-
Martial, F.V.: Coordinating Plans of Autonomous Agents. Volume 610 of Lecture Notes in Artificial Intelligence. Springer-Verlag (1992)
-
(1992)
Lecture Notes in Artificial Intelligence
, vol.610
-
-
Martial, F.V.1
-
19
-
-
7444237112
-
State-based modeling method for multiagent conversation protocols and decision activities
-
Kowalczyk, R., Müller, J.P., Tianfield, H., Unland, R., eds.: Agent Technologies, Infrastructures, Tools, and Applications for E-Services
-
König, R.: State-based modeling method for multiagent conversation protocols and decision activities. In Kowalczyk, R., Müller, J.P., Tianfield, H., Unland, R., eds.: Agent Technologies, Infrastructures, Tools, and Applications for E-Services. Volume 2592 of Lecture Notes in Computer Science. (2003) 151-166
-
(2003)
Lecture Notes in Computer Science
, vol.2592
, pp. 151-166
-
-
König, R.1
-
20
-
-
0010271717
-
-
26
-
Cost, R.S., Chen, Y., Finin, T.W., Labrou, Y., Peng, Y.: Using colored petri nets for conversation modeling. [26] 178-192
-
Using Colored Petri Nets for Conversation Modeling
, pp. 178-192
-
-
Cost, R.S.1
Chen, Y.2
Finin, T.W.3
Labrou, Y.4
Peng, Y.5
-
21
-
-
84957635833
-
Protocol engineering for multi-agent interaction
-
Garijo, F.J., Boman, M., eds.: MAAMAW. Springer
-
Fallah-Seghrouchni, A.E., Haddad, S., Mazouzi, H.: Protocol engineering for multi-agent interaction. In Garijo, F.J., Boman, M., eds.: MAAMAW. Volume 1647 of Lecture Notes in Computer Science., Springer (1999) 89-101
-
(1999)
Lecture Notes in Computer Science
, vol.1647
, pp. 89-101
-
-
Fallah-Seghrouchni, A.E.1
Haddad, S.2
Mazouzi, H.3
-
22
-
-
35048882732
-
-
In this volume
-
Endriss, U., Lu, W., Maudet, N., Stathis, K.: Competent agents and customising protocols. (2004) In this volume
-
(2004)
Competent Agents and Customising Protocols
-
-
Endriss, U.1
Lu, W.2
Maudet, N.3
Stathis, K.4
-
26
-
-
1142305826
-
Issues in Agent Communication
-
Dignum, F., Greaves, M., eds.: Springer, Lecture Notes in Computer Science
-
Dignum, F., Greaves, M., eds.: Issues in Agent Communication. Volume 1916 of Lecture Notes in Computer Science. Springer, Lecture Notes in Computer Science (2000)
-
(2000)
Lecture Notes in Computer Science
, vol.1916
-
-
|