Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings were also p- lished in this series, in volumes 1061, 1282 and 1594. The need for increased programmer productivity and rapid development of complex systems provides pragmatic motivation for the development of coordination languages and m- els. The intellectual excitement associated with such endeavors is rooted in the decades-old desire to cope with increasingly higher levels of abstraction. Coordination-based methods provide a clean separation between individual so- ware components and their interactions within the overall software organization. This separation promises to make application development more tractable, to support global analysis, and to enhance software reuse. These are indeed major concerns in the information age, at a time when all aspects of society are relying, to an ever increasing degree, on software systems of unprecedented complexity. Research on coordination methods is likely to play a central role in addressing these technological concerns by changing the software culture around us and by leading to the development of e?ective technical solutions for a broad range of important problems.

681.3*I2 --- Artificial intelligence. AI --- Parallel processing (Electronic computers) --- Electronic data processing --- Computer Science --- Engineering & Applied Sciences --- Distributed processing --- 681.3*I2 Artificial intelligence. AI --- Computer science. --- Computer communication systems. --- Software engineering. --- Computer programming. --- Computers. --- Artificial intelligence. --- Computer Science. --- Programming Techniques. --- Software Engineering/Programming and Operating Systems. --- Computer Communication Networks. --- Computation by Abstract Devices. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Programming --- Artificial Intelligence. --- Parallel processing (Electronic computers) - Congresses --- Electronic data processing - Distributed processing - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Livingstone --- David --- 1813-1873

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Information Technology --- Computer Science (Hardware & Networks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)