-
1
-
-
33745459818
-
A channel-based coordination model for component composition
-
Farhad Arbab. Reo: A Channel-Based Coordination Model for Component Composition. CWI Report SEN-0203, 2002.
-
(2002)
CWI Report SEN-0203
-
-
Reo, F.A.1
-
6
-
-
0015195766
-
Hierarchical ordering of sequential processes
-
Edsger Dijkstra. Hierarchical Ordering of Sequential Processes. Acta Inform., 1:115-138, 1971.
-
(1971)
Acta Inform.
, vol.1
, pp. 115-138
-
-
Dijkstra, E.1
-
8
-
-
33745439061
-
Turing's ideas and models of computation
-
Alan Turing: Life and Legacy of a Great Thinker, Springer
-
Eugene Eberbach, Dina Goldin, and Peter Wegner. Turing's Ideas and Models of Computation. In Christof Teuscher, ed., Alan Turing: Life and Legacy of a Great Thinker, Springer, 2004.
-
(2004)
Christof Teuscher, Ed.
-
-
Eberbach, E.1
Goldin, D.2
Wegner, P.3
-
10
-
-
84976215953
-
Coordination languages and their significance
-
D. Gelernter and N. Carriero. Coordination Languages and Their Significance. CACM, 35(2):97-107, 1992.
-
(1992)
CACM
, vol.35
, Issue.2
, pp. 97-107
-
-
Gelernter, D.1
Carriero, N.2
-
11
-
-
84874728376
-
Persistent Turing Machines as a Model of Interactive Computation
-
K-D. Schewe and B. Thalheim (Eds.), Foundations of information and knowledge systems, First Int'l Symposium (FoIKS'2000)
-
Dina Goldin. Persistent Turing Machines as a Model of Interactive Computation. in: K-D. Schewe and B. Thalheim (Eds.), Foundations of information and knowledge systems, First Int'l Symposium (FoIKS'2000), LNCS 1762, pages 116-135, 2000.
-
(2000)
LNCS
, vol.1762
, pp. 116-135
-
-
Goldin, D.1
-
12
-
-
6344291533
-
Turing machines, transition systems, and interaction
-
Nov.
-
Dina Goldin, Scott A. Smolka, Paul Attie, and Elaine Sonderegger. Turing Machines, Transition Systems, and Interaction. Information and Computation Journal, 194(2):101-128, Nov. 2004.
-
(2004)
Information and Computation Journal
, vol.194
, Issue.2
, pp. 101-128
-
-
Goldin, D.1
Smolka, S.A.2
Attie, P.3
Sonderegger, E.4
-
13
-
-
26444603940
-
The church-turing thesis: Breaking the myth
-
Springer
-
Dina Goldin and Peter Wegner. The Church-Turing Thesis: Breaking the Myth. In Proc., CiE 2005, Amsterdam, June 2005 LNCS 3526, Springer, pages 152-168, 2005.
-
(2005)
Proc., CiE 2005, Amsterdam, June 2005 LNCS
, vol.3526
, pp. 152-168
-
-
Goldin, D.1
Wegner, P.2
-
14
-
-
27344449757
-
Decentralized control of cooperative systems: Categorization and complexity analysis
-
C.V. Goldman and S. Zilberstein. Decentralized Control of Cooperative Systems: Categorization and Complexity Analysis. Journal of Artificial Intelligence Research, 22:143-174, 2004.
-
(2004)
Journal of Artificial Intelligence Research
, vol.22
, pp. 143-174
-
-
Goldman, C.V.1
Zilberstein, S.2
-
16
-
-
33745434074
-
Indirect interaction and decentralized coordination
-
David Keil and Dina Goldin. Indirect Interaction and Decentralized Coordination. Extended draft, http://www.cse.uconn.edu/dqg/papers/indirect.pdf 2004.
-
Extended Draft
-
-
Keil, D.1
Goldin, D.2
-
17
-
-
33745449308
-
Adaptation and evolution in dynamic persistent environments
-
David Keil and Dina Goldin. Adaptation and Evolution in Dynamic Persistent Environments. In Proc. FInCo2005, Edinburgh, 2005.
-
(2005)
Proc. FInCo2005, Edinburgh
-
-
Keil, D.1
Goldin, D.2
-
19
-
-
33745463783
-
-
The art of computer programming, . Addison-Wesley
-
Donald E. Knuth. The art of computer programming, Vol. 1: Fundamental algorithms. Addison-Wesley, 1968.
-
(1968)
Fundamental Algorithms
, vol.1
-
-
Knuth, D.E.1
-
22
-
-
10044278210
-
CSAA: A distributed ant algorithm framework for constraint satisfaction
-
Koenraad Mertens and Tom Holvoet. CSAA: A Distributed Ant Algorithm Framework for Constraint Satisfaction. In FLAIRS Conference 2004.
-
FLAIRS Conference 2004.
-
-
Mertens, K.1
Holvoet, T.2
-
23
-
-
0000993909
-
Processes; A mathematical model of computing agents
-
H. E. Rose and J. C. Shepherdson, Eds. , North-Holland
-
Robin Milner. Processes; A Mathematical Model of Computing Agents. H. E. Rose and J. C. Shepherdson, Eds., Logic Colloquium 73, North-Holland, 1975.
-
(1975)
Logic Colloquium
, vol.73
-
-
Milner, R.1
-
26
-
-
0027353881
-
Elements of interaction
-
Robin Milner. Elements of Interaction. Comm. ACM, 36(1):78-89, 1993.
-
(1993)
Comm. ACM
, vol.36
, Issue.1
, pp. 78-89
-
-
Milner, R.1
-
33
-
-
33745447773
-
-
Starlogo site at MIT Media Lab. http://starlogo.www.media.mit.edu/people/ starlogo. 2000.
-
(2000)
-
-
-
34
-
-
33745457698
-
An architecture for MAS simulation environments
-
Renee Steiner, Gary Leask, and Rym Z. Mili. An Architecture for MAS Simulation Environments. In E4MAS, 2005.
-
(2005)
E4MAS
-
-
Steiner, R.1
Leask, G.2
Mili, R.Z.3
-
36
-
-
0001602510
-
On computable numbers with an application to the entscheidungsproblem
-
(DK: GET PUB):Reprinted in Martin Davis, Ed., The Undecidable
-
Alan Turing. On Computable Numbers with an Application to the Entscheidungsproblem. Proc. London Math Society, 2(DK: GET PUB):Reprinted in Martin Davis, Ed., The Undecidable, pp. 173-198, 1936.
-
(1936)
Proc. London Math Society
, vol.2
, pp. 173-198
-
-
Turing, A.1
-
37
-
-
33745453433
-
The environment: An essential abstraction for managing complexity in MAS-based manufacturing control
-
Paul Valckenaers and Tom Holvoet. The Environment: an Essential Abstraction for Managing Complexity in MAS-based Manufacturing Control. In E4MAS, 2005.
-
(2005)
E4MAS
-
-
Valckenaers, P.1
Holvoet, T.2
-
38
-
-
0002470168
-
The turing machine paradigm in contemporary computing
-
B. Enquist and W. Schmidt, Eds., Springer-Verlag
-
Jan van Leeuwen and Jiri Wiedermann. The Turing machine paradigm in contemporary computing. In B. Enquist and W. Schmidt, Eds., Mathematics unlimited - and beyond, Springer-Verlag, 20, 01, 2001.
-
(2001)
Mathematics Unlimited - and beyond
, vol.20
, pp. 01
-
-
Van Leeuwen, J.1
Wiedermann, J.2
-
39
-
-
33745445488
-
Engineering MAS environment with artifacts
-
Mirko Viroli, Andrea Omicini, and Alessandro Ricci. Engineering MAS Environment with Artifacts. In E4MAS, 2005.
-
(2005)
E4MAS
-
-
Viroli, M.1
Omicini, A.2
Ricci, A.3
-
40
-
-
0031144006
-
Why interaction is more powerful than algorithms
-
Peter Wegner. Why Interaction is More Powerful Than Algorithms. Communications of the ACM, 40(5), 1997.
-
(1997)
Communications of the ACM
, vol.40
, Issue.5
-
-
Wegner, P.1
-
41
-
-
33745442565
-
Environments for multiagent systems: State-of-the-art and research challenges
-
D. Weyns, H. Parunak, F. Michel, T. Holvoet, and J. Ferber. Environments for Multiagent Systems: State-of-the-Art and Research Challenges. In Proc., E4MAS, 2004.
-
(2004)
Proc., E4MAS
-
-
Weyns, D.1
Parunak, H.2
Michel, F.3
Holvoet, T.4
Ferber, J.5
-
42
-
-
33745439560
-
Exploiting a virtual environment in a real-world application
-
Danny Weyns, Kurt Schelfthout, and Tom Holvoet, Exploiting a Virtual Environment in a Real-World Application. In E4MAS, 2005.
-
E4MAS, 2005.
-
-
Weyns, D.1
Schelfthout, K.2
Holvoet, T.3
-
43
-
-
33745450152
-
Environments for situated multi-agent systems: Beyond infrastructure
-
Danny Weyns, Giuseppe Vizarri, and Tom Holvoet. Environments for Situated Multi-Agent Systems: Beyond Infrastructure. In E4MAS, 2005.
-
(2005)
E4MAS
-
-
Weyns, D.1
Vizarri, G.2
Holvoet, T.3
-
45
-
-
0034256736
-
On the sources of complexity in agent design
-
M. Wooldridge, On the Sources of Complexity in Agent Design. Applied Artificial Intelligence, 14(7):623-644, 2000.
-
(2000)
Applied Artificial Intelligence
, vol.14
, Issue.7
, pp. 623-644
-
-
Wooldridge, M.1
|