Antonio Porto – författare
Visar alla böcker från författaren Antonio Porto. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Häftad, Engelska, 2000
561 kr
Skickas inom 10-15 vardagar
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.
E-bok
PDF, Engelska, 2003734 kr
Läs direkt efter köp
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.
Häftad, Engelska, 1991
561 kr
Skickas inom 10-15 vardagar
The Portuguese Association for Artificial Intelligence hasbeen organizing Portuguese Conferences on ArtificialIntelligence, now held every second year, since 1985.This volume contains selected papers from the FifthConference on Artificial Intelligence. The conference has aninternational status: 62 contributions from 13 countrieswere received, of which 26 were from Portugal. To guaranteea high scientific standard, all the contributions werereviewed by at least three researchers,and only 20 paperswere accepted and included in these proceedings. The papersare organized into sections on constraints, search,knowledge representation, temporal reasoning, planning,diagnosis and repair, and learning.