|
|
libcats.org
Information Technology: Selected TutorialsReis R. (ed.)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).
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
What Should I Read Next?: 70 University of Virginia Professors Recommend Readings in History, Politics, Literature, Math, Science, Technology, the Arts, and MoreАвтор: Jessica Feldman, Автор: Robert Stilling
Размер книги: 2.38 Mb
The U.S. Machine Tool Industry and the Defense Industrial BaseАвтор: Committee on Machine Tool Industry, Автор: Commission on Engineering and Technical Systems, Автор: National Research CouncilКатегория: Техника
Размер книги: 1.82 Mb
Natural Computing in Computational Finance, Volume 4Автор: Anthony Brabazon, Автор: Michael O'Neill, Автор: Dietmar Maringer
Размер книги: 3.26 Mb
|
|
|