Catalog
- Results include
-
Information Technology : Selected Tutorials
Reis, RicardoBoston, MA : Springer US, 2004.This volume reports on several important and state-of-the-art topics in information technology, including: Quality of Service in Information Networks Risk-Driven Development of Security-Critical Systems Using UMLsec Developing Portable Software Formal Reasoning about Systems, Software and Hardware Using Functionals, Predicates and Relations The Problematic of Distributed Systems Supervision Software Rejuvenation - Modeling and Analysis Test and Design-for-Test of Mixed-Signal Integrated Circuits Web Services Applications of Multi-Agent Systems Discrete Event Simulation Human-Centered Automation. Information Technology: Selected Tutorials comprises papers presented at the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France and sponsored by the International Federation for Information Processing (IFIP).This book contains a selection of tutorials on hot topics in information technology, which were presented at the IFIP World Computer Congress. WCC2004 took place at the Centre de Congres Pierre Baudis, in Toulouse, France, from 22 to 27 August 2004. The 11 chapters included in the book were chosen from tutorials proposals submitted to WCC2004. These papers report on several important and state-of-the-art topics on information technology such as: Quality of Service in Information Networks Risk-Driven Development of Security-Critical Systems Using UMLsec Developing Portable Software Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations The Problematic of Distributed Systems Supervision Software Rejuvenation - Modeling and Analysis Test and Design-for-Test of Mixed-Signal Integrated Circuits Web Services Applications of Multi-Agent Systems Discrete Event Simulation Human-Centered Automation We hereby would like to thank IFIP and more specifically WCC2004 Tutorials Committee and the authors for their contribution. We also would like to thank the congress organizers who have done a great job. Ricardo Reis Editor QUALITY OF SERVICE IN INFORMATION NETWORKS Augusto Casaca IST/INESC, R. Alves Redol, 1000-029, Lisboa, Portugal. Abstract: This article introduces the problems concerned with the provision of end-- end quality of service in IP networks, which are the basis of information networks, describes the existing solutions for that provision and presents some of the current research items on the subject. Key words: Information networks, IP networks, Integrated Services, Differentiated Services, Multiprotocol Label Switching, UMTS.
Online SpringerLink
-
Buy back PPPs [electronic resource] : An arbitrage opportunity
Miranda Sarmento, JoaquimParis : OECD Publishing, 2013.As Portugal is facing strong fiscal pressure, government spending on public-private partnerships (PPPs) in the road sector has become a main budgetary constraint. In this article, we show how the financial crisis has created a unique arbitrage opportunity that provides a solution to this problem. Since the private sector is in urgent need of liquidity, we suggest that the Portuguese government should use some of the bailout funds, borrowed at lower interest rates, to buy back the roads concessions, discounting future payments at the high interest rates currently charged to Portugal. For the roads already in operation, the purchase of the assets would significantly reduce future public payments and would also release money into banks and the economy. For the roads currently under construction, we propose that the government buys only the equity of these companies. That would also reduce future payments, and allow for the postponement or even cancelation of some of these projects, while granting private companies an exit from projects that they are no longer able to finance. This operation would save around half of PPP payments over the next 20 years.
Online OECD iLibrary
-
Informatics Curricula and Teaching Methods : IFIP TC3
Cassel, LillianBoston, MA : Springer US, 2003.Several aspects of informatics curricula and teaching methods at the university level are reported in this volume, including: *Challenges in defining an international curriculum; *The diversity in informatics curricula; *Computing programs for scientists and engineers; *Patterns of curriculum design; *Student interaction; *Teaching of programming; *Peer review in education. This book contains a selection of the papers presented at the Working Conference on Informatics Curricula, Teaching Methods and Best Practice (ICTEM 2002), which was sponsored by the International Federation for Information Processing (IFIP) Working Group 3.2, and held in Florianópolis, Brazil in July 2002. The working groups were organized in three parallel tracks. Working Group 1 discussed the "Directions and Challenges in Informatics Education". The focus of Working Group 2 was "Teaching Programming and Problem Solving". Working Group 3 discussed "Computing: The Shape of an Evolving Discipline."Several aspects of informatics curricula and teaching methods at the university level are reported in this volume, including: *Challenges in defining an international curriculum; *The diversity in informatics curricula; *Computing programs for scientists and engineers; *Patterns of curriculum design; *Student interaction; *Teaching of programming; *Peer review in education. This book contains a selection of the papers presented at the Working Conference on Informatics Curricula, Teaching Methods and Best Practice (ICTEM 2002), which was sponsored by the International Federation for Information Processing (IFIP) Working Group 3.2, and held in Florianopolis, Brazil in July 2002. The working groups were organized in three parallel tracks. Working Group 1 discussed the "Directions and Challenges in Informatics Education". The focus of Working Group 2 was "Teaching Programming and Problem Solving". Working Group 3 discussed "Computing: The Shape of an Evolving Discipline.".
Online SpringerLink
Guides
Library website
Exhibits
EarthWorks
More search tools
Tools to help you discover resources at Stanford and beyond.
