-
1
-
-
0001946521
-
An explanatory study of the emerging role of electronic intermediaries
-
BAILEY, J. P. and BAKOS, Y., 1997, An explanatory study of the emerging role of electronic intermediaries. International Journal of Electronic Commerce, 1, 7-20.
-
(1997)
International Journal of Electronic Commerce
, vol.1
, pp. 7-20
-
-
Bailey, J.P.1
Bakos, Y.2
-
2
-
-
0002397990
-
Compile-time detection of information flow in sequential programs
-
Springer-Verlag
-
BANÂTRE, J., BRYCE, C. and M'ETAYER, D. L., 1994, Compile-time detection of information flow in sequential programs. In Proceedings of the European Symposium on Research in Computer Security, Lecture Notes in Computer Science, 875 (Springer-Verlag).
-
(1994)
Proceedings of the European Symposium on Research in Computer Security, Lecture Notes in Computer Science
, pp. 875
-
-
Banâtre, J.1
Bryce, C.2
M'Etayer, D.L.3
-
4
-
-
0027113388
-
The chemical abstract machine
-
BERRY, G. and BOUDOL, G., 1992, The chemical abstract machine. Theoretical Computer Science, 96, 217-248.
-
(1992)
Theoretical Computer Science
, vol.96
, pp. 217-248
-
-
Berry, G.1
Boudol, G.2
-
5
-
-
19144371729
-
Progetto e Realizzazione di un Linguaggio di Programmazione per Codice Mobile
-
Dipartimento di Sistemi e Informatica, Universita' di Firenze
-
BETTINI, L., 1998, Progetto e Realizzazione di un Linguaggio di Programmazione per Codice Mobile. In Italian, Tesi di Laurea, Dipartimento di Sistemi e Informatica, Universita' di Firenze.
-
(1998)
Italian, Tesi di Laurea
-
-
Bettini, L.1
-
8
-
-
0029192639
-
A language with distributed scope
-
January (Cambridge, MA: MIT Press)
-
CARDELLI, L., 1995, A language with distributed scope. In Proceedings of the 22nd Symposium on Principles of Programming Languages, January (Cambridge, MA: MIT Press), pp. 286-297. Available at: http://www.research.digital.com/SRC/personal/Luca Cardelli/Obliq /Obliq.html.
-
(1995)
Proceedings of the 22nd Symposium on Principles of Programming Languages
, pp. 286-297
-
-
Cardelli, L.1
-
9
-
-
84947919695
-
Mobile ambients
-
M. Nivat (ed.), Springer-Verlag
-
CARDELLI, L. and GORDON, A., 1998, Mobile ambients. In M. Nivat (ed.), Proceedings of FoSSaCS '98, Lecture Notes in Computer Science 1378 (Springer-Verlag), pp. 140-145.
-
(1998)
Proceedings of FoSSaCS '98, Lecture Notes in Computer Science
, vol.1378
, pp. 140-145
-
-
Cardelli, L.1
Gordon, A.2
-
10
-
-
0024640163
-
Linda in context
-
CARRIERO, N. and GELERNTER, D., 1989, Linda in context. Communications of the ACM, 32(4), 444-458.
-
(1989)
Communications of the ACM
, vol.32
, Issue.4
, pp. 444-458
-
-
Carriero, N.1
Gelernter, D.2
-
11
-
-
84976728609
-
Distributed data structure in Linda
-
New York: ACM
-
CARRIERO, N., GELERNTER, D. and LEICHTER, J., 1986, Distributed data structure in Linda. In Proceedings of the ACM Symposium on Principles of Programming Languages (New York: ACM), pp. 236-242.
-
(1986)
Proceedings of the ACM Symposium on Principles of Programming Languages
, pp. 236-242
-
-
Carriero, N.1
Gelernter, D.2
Leichter, J.3
-
12
-
-
33749904929
-
Metabroker: A generic broker for electronic commerce
-
Brisbane, Australia
-
CAUGHEY, S., INGHAM, D. and WATSON, P., 1998, Metabroker: a generic broker for electronic commerce. In Proceedings of the 7th International World Wide Web Conference, Brisbane, Australia.
-
(1998)
Proceedings of the 7th International World Wide Web Conference
-
-
Caughey, S.1
Ingham, D.2
Watson, P.3
-
13
-
-
0032288902
-
Supply network management in the Brazilian automotive industry
-
CORREA, H. L. and DE MIRANDA, N. G. M., 1998, Supply network management in the Brazilian automotive industry, Integrated Manufacturing Systems, 9(5), 261-271.
-
(1998)
Integrated Manufacturing Systems
, vol.9
, Issue.5
, pp. 261-271
-
-
Correa, H.L.1
De Miranda, N.G.M.2
-
14
-
-
0033157443
-
MAgNET: Mobile agents for networked electronic trading
-
DASGUPTA, P., NARASIMHAN, N., MOSER, L. E. and MELLIAR-SMITH, P., 1999, MAgNET: mobile agents for networked electronic trading. IEEE Transactions on Knowledge and Data Engineering, 11, 509-525.
-
(1999)
IEEE Transactions on Knowledge and Data Engineering
, vol.11
, pp. 509-525
-
-
Dasgupta, P.1
Narasimhan, N.2
Moser, L.E.3
Melliar-Smith, P.4
-
16
-
-
0034171704
-
Agent-oriented supply-chain management
-
FOX, M. S., BARBUCEANU, M. and TEIGEN, R., 2000, Agent-oriented supply-chain management. International Journal of Flexible Manufacturing Systems, 12, 165-188.
-
(2000)
International Journal of Flexible Manufacturing Systems
, vol.12
, pp. 165-188
-
-
Fox, M.S.1
Barbuceanu, M.2
Teigen, R.3
-
20
-
-
0022229522
-
Parallel programming in Linda
-
IEEE
-
GELERNTER, D., CARRIERO, N. and CHANDRAN, S., 1985, Parallel programming in Linda. In Proceedings of International Conference of Parallel Programming, IEEE, 255-263.
-
(1985)
Proceedings of International Conference of Parallel Programming
, pp. 255-263
-
-
Gelernter, D.1
Carriero, N.2
Chandran, S.3
-
22
-
-
0029256362
-
Symbolic bisimulations
-
HENNESSY, M. and LIN, H., 1995, Symbolic bisimulations. Theoretical Computer Science, 138, 353-389.
-
(1995)
Theoretical Computer Science
, vol.138
, pp. 353-389
-
-
Hennessy, M.1
Lin, H.2
-
23
-
-
0009943990
-
International supply networks: A new approach
-
HOULIHAN, J. B., 1998, International supply networks: a new approach. Management Decision, 26, 13-19.
-
(1998)
Management Decision
, vol.26
, pp. 13-19
-
-
Houlihan, J.B.1
-
24
-
-
0242345150
-
-
IBM AGLETS WORKBENCH-HOME PAGE, 1996. Available at http://www.trl.ibm.co.jp/aglets/
-
(1996)
-
-
-
25
-
-
0033904095
-
On agent-based software engineering
-
JENNINGS, N. R., 2000, On agent-based software engineering. Artificial Intelligence, 117, 277-296.
-
(2000)
Artificial Intelligence
, vol.117
, pp. 277-296
-
-
Jennings, N.R.1
-
27
-
-
0242376681
-
Shared memories, buses, and LANs-Linda implementation across the spectrum of connectivity
-
Department of Computer Science, Yale University
-
LEITCHER, J., 1989, Shared memories, buses, and LANs-Linda implementation across the spectrum of connectivity. Research Report YALEU/DCS/TR-714, Department of Computer Science, Yale University.
-
(1989)
Research Report
, vol.YALEU-DCS-TR-714
-
-
Leitcher, J.1
-
29
-
-
0342437862
-
Case study: Intelligent software supply chain agents using ADE
-
Madison, Wisconsin
-
MEHRA, A. and NISSEN, M., 1998, Case study: intelligent software supply chain agents using ADE. In Proceedings of 1998 AAAI Conference on Workshop Software Tools for Developing Agents, Madison, Wisconsin, pp. 53-62.
-
(1998)
Proceedings of 1998 AAAI Conference on Workshop Software Tools for Developing Agents
, pp. 53-62
-
-
Mehra, A.1
Nissen, M.2
-
30
-
-
0242376688
-
The system integration architecture: A framework for extended enterprise information systems
-
London: Chapman & Hall
-
MILLS, J. J. and BRAND, M., 1997, The system integration architecture: A framework for extended enterprise information systems. In Information Infrastructure Systems for Manufacturing (London: Chapman & Hall)
-
(1997)
Information Infrastructure Systems for Manufacturing
-
-
Mills, J.J.1
Brand, M.2
-
32
-
-
0003604327
-
The Polyadic π-Calculus: A tutorial
-
MILNER, R., 1991, The Polyadic π-Calculus: a tutorial. Technical Report, ECS-LFCS-91-180.
-
(1991)
Technical Report
, vol.ECS-LFCS-91-180
-
-
Milner, R.1
-
33
-
-
0000046942
-
A security flow control algorithm and its denotational semantics correctness proof
-
MIZUNO, M. and SCHMIDT, D. A., 1992, A security flow control algorithm and its denotational semantics correctness proof. Formal Aspects of Computing, 4(6A), 727-754.
-
(1992)
Formal Aspects of Computing
, vol.4
, Issue.6 A
, pp. 727-754
-
-
Mizuno, M.1
Schmidt, D.A.2
-
34
-
-
0026821935
-
Overview of ASN.1
-
February
-
NEUFELD, G. and VUONG, S., 1992, Overview of ASN.1. Computer Networks and ISDN Systems, 23(5), February, 393-415.
-
(1992)
Computer Networks and ISDN Systems
, vol.23
, Issue.5
, pp. 393-415
-
-
Neufeld, G.1
Vuong, S.2
-
35
-
-
84958750915
-
A process algebra based on Linda
-
P. Ciancarini and C. Hankin, (eds), (Springer-Verlag)
-
NICOLA, R. D. and PUGLIESE, R., 1996, A process algebra based on Linda. In P. Ciancarini and C. Hankin, (eds), Proceedings of Coordination '96, Lecture Notes in Computer Science, 1061 (Springer-Verlag), pp. 160-178.
-
(1996)
Proceedings of Coordination '96, Lecture Notes in Computer Science
, vol.1061
, pp. 160-178
-
-
Nicola, R.D.1
Pugliese, R.2
-
36
-
-
84957013187
-
Locality based Linda: Programming with explicit localities
-
Proceedings of TAPSOFT '97, M. Bidoit and M. Dauchet (eds), (Springer-Verlag)
-
NICOLA, R. D., FERRARI, G. and PUGLIESE, R., 1997a, Locality based Linda: programming with explicit localities. In Proceedings of TAPSOFT '97, M. Bidoit and M. Dauchet (eds), Lecture Notes in Computer Science, No. 1214, (Springer-Verlag), pp. 712-726.
-
(1997)
Lecture Notes in Computer Science
, vol.1214
, pp. 712-726
-
-
Nicola, R.D.1
Ferrari, G.2
Pugliese, R.3
-
37
-
-
84957074415
-
Coordinating mobile agents via blackboards and access rights
-
D. Garlan and D. Le Metayer (eds), (Springer-Verlag)
-
NICOLA, R. D., FERRARI, G. and PUGLIESE, R., 1997b, Coordinating mobile agents via blackboards and access rights. In D. Garlan and D. Le Metayer (eds), Proceedings of Coordination '97, Lecture Notes in Computer Science, No. 1282 (Springer-Verlag), pp. 230-237.
-
(1997)
Proceedings of Coordination '97, Lecture Notes in Computer Science
, vol.1282
, pp. 230-237
-
-
Nicola, R.D.1
Ferrari, G.2
Pugliese, R.3
-
38
-
-
0000372791
-
KLAIM: A kernel language for agent interaction and mobility
-
May
-
NICOLA, R. D., FERRARI, G. L. and PUGLIESE, R., 1998, KLAIM: a kernel language for agent interaction and mobility. IEEE Transactions on Software Engineering, 24(5), May.
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.5
-
-
Nicola, R.D.1
Ferrari, G.L.2
Pugliese, R.3
-
39
-
-
0034264732
-
Mobile agents for world wide web distributed database access
-
September/October
-
PAPASTAVROU, S., SAMARAS, G. and PITOURA, E., 2000, Mobile agents for world wide web distributed database access. IEEE Transactions on Knowledge and Database Engineering, 12(5), September/October.
-
(2000)
IEEE Transactions on Knowledge and Database Engineering
, vol.12
, Issue.5
-
-
Papastavrou, S.1
Samaras, G.2
Pitoura, E.3
-
40
-
-
0242345144
-
-
PhD thesis VIII-96-6, Diploma Scienze dell'Informazione, University di Roma 'La Sapienza'
-
PUGLIESE, R., 1996, Semantic theories for asynchronous languages. PhD thesis VIII-96-6, Diploma Scienze dell'Informazione, University di Roma 'La Sapienza'.
-
(1996)
Semantic Theories for Asynchronous Languages
-
-
Pugliese, R.1
-
41
-
-
0242376680
-
Introduction to the technology strategy and industrial applications of information-based manufacturing
-
SHAW, M. J. and FULKERSON, W. F., 2000, Introduction to the technology strategy and industrial applications of information-based manufacturing. International Journal of Flexible Manufacturing Systems, 12, 111-113.
-
(2000)
International Journal of Flexible Manufacturing Systems
, vol.12
, pp. 111-113
-
-
Shaw, M.J.1
Fulkerson, W.F.2
-
44
-
-
0001905093
-
A sound type system for secure flow analysis
-
VOLPANO, D., SMITH, G. and IRVINE, C., 1996, A sound type system for secure flow analysis. Journal of Computer Security, 4(3).
-
(1996)
Journal of Computer Security
, vol.4
, Issue.3
-
-
Volpano, D.1
Smith, G.2
Irvine, C.3
-
45
-
-
0031599765
-
Security and reliability in Concordia
-
Hawaii
-
WALSH, T., PACIOREK, N. and WONG, D., 1998, Security and reliability in Concordia. In Proceedings of the IEEE 31st Hawaii International Conference on System Sciences, Vol. 7, pp. 44-53, Hawaii.
-
(1998)
Proceedings of the IEEE 31st Hawaii International Conference on System Sciences
, vol.7
, pp. 44-53
-
-
Walsh, T.1
Paciorek, N.2
Wong, D.3
-
47
-
-
0242345148
-
-
WONG, J., HELMER, G., NAGANATHAN, V., POLAVARAPU, S., HONAVAR, V. and MILLER, L., 1998, SMART mobile agent facility. Available at http://www.cs.iastate.edu/̃wong/homepage.html
-
(1998)
Smart Mobile Agent Facility
-
-
Wong, J.1
Helmer, G.2
Naganathan, V.3
Polavarapu, S.4
Honavar, V.5
Miller, L.6
|