Marco Ajmone Marsan's Books

Quality of Service in Multiservice IP Networks

International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings

By: Marco Ajmone Marsan

Write a review Read reviews Take a Quiz Solve Book Puzzle

Quality of Service in Multiservice IP Networks

International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings

By: Marco Ajmone Marsan

This book constitutes the refereed proceedings of the International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2001, held in Rome, Italy, in January 2001. The 26 revised full papers presented together with two invited papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on connection admission control, statistical bounds, novel architectures for QoS provisioning, QoS for multicast traffic, source modeling, IP telephony, router and switch algorithms, multicast routing, differentiated services, and QoS in wireless networks.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

437

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540415122

ISBN 13

9783540415121

A Process Algebraic Approach to Software Architecture Design

By: Alessandro Aldini,Marco Bernardo,Flavio Corradini

Write a review Read reviews Take a Quiz Solve Book Puzzle

A Process Algebraic Approach to Software Architecture Design

By: Alessandro Aldini,Marco Bernardo,Flavio Corradini

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on process algebra, like CWB [70] and CADP [93], some of which have been used in industrial case studies. Furthermore, process calculi and behavioral equivalencesare by now adopted in university-levelcourses to teach the foundations of concurrent programming as well as the model-driven design of concurrent, distributed, and mobile systems. Nevertheless, after 30 years since its introduction, process algebra is rarely adopted in the practice of software development. On the one hand, its technica- ties often obfuscate the way in which systems are modeled. As an example, if a process term comprises numerous occurrences of the parallel composition operator, it is hard to understand the communicationscheme among the varioussubterms. On the other hand, process algebra is perceived as being dif?cult to learn and use by practitioners, as it is not close enough to the way they think of software systems.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

316

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1848002238

ISBN 13

9781848002234

Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

By: Marco Montali

Write a review Read reviews Take a Quiz Solve Book Puzzle

Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

By: Marco Montali

Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension of quite diverse approaches into a computational logic-based comprehensive framework. This framework allows non IT experts to graphically specify interaction models that are then automatically transformed into a corresponding formal representation and a set of fully automated sound and complete verification facilities. The book constitutes a revised and extended version of the author’s PhD thesis, which was honored with the 2009 “Marco Cadoli” prize, awarded by the Italian Association for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between the years 2007 and 2009.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

416

Publisher

Springer

Published Date

ISBN 10

3642145388

ISBN 13

9783642145384

Formal Methods for Software Architectures

Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

By: Marco Bernardo

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Methods for Software Architectures

By: Marco Bernardo

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

293

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540200835

ISBN 13

9783540200833

Wireless On-Demand Network Systems

First IFIP TC6 Working Conference, WONS 2004, Madonna Di Campiglio, Italy, January 21-23, 2004, Proceedings

By: Roberto Battiti,Marco Conti,Renato Lo Cigno

Write a review Read reviews Take a Quiz Solve Book Puzzle

Wireless On-Demand Network Systems

First IFIP TC6 Working Conference, WONS 2004, Madonna Di Campiglio, Italy, January 21-23, 2004, Proceedings

By: Roberto Battiti,Marco Conti,Renato Lo Cigno

This book constitutes the refereed proceedings of the First IFIP TC6 Working Conference on Wireless On-Demand Network Systems, WONS 2004, held in Madonna di Campiglio, Italy in January 2004. The 25 revised full papers presented together with 7 short papers were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on localization and mobility management; MAC and radio resource management; Bluetooth scatternets; ad-hoc routing; security, applications, and service support; MAC analytical models; and on-demand Internet access.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

417

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540207902

ISBN 13

9783540207900

Quality of Service in Multiservice IP Networks

International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings

By: Marco Ajmone Marsan,Andrea Bianco

Write a review Read reviews Take a Quiz Solve Book Puzzle

Quality of Service in Multiservice IP Networks

International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings

By: Marco Ajmone Marsan,Andrea Bianco

IP is clearly emerging as the networking paradigm for the integration of the tr- ?c ?ows generated by a variety of new applications (IP telephony, multimedia multicasting, e-business, ...), whose performance requirements may be extremely di?erent. This situation has generated a great interest in the development of te- niques for the provision of quality of service (QoS) guarantees in IP networks. Two proposals have already emerged from the IETF groups IntServ and Di?- Serv, but research and experiments are continuing, in order to identify the most e?ective architectures and protocols. The Italian Ministry for University and Scienti?c Research has been funding a research program on these topics, named “Techniques for quality of service guarantees in multiservice telecommunication networks” or MQOS for short, in the years 1999 and 2000. At the end of its activity, the MQOS program has organized in Rome (Italy) in January 2001 the International Workshop on QoS in Multiserevice IP N- works (QoS-IP 2001), for the presentation of high-quality recent research results on QoS in IP networks, and the dissemination of the most relevant research results obtained within the MQOS program.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

442

Publisher

Springer

Published Date

ISBN 10

3540415122

ISBN 13

9783540415121

Application and Theory of Petri Nets 1993

14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings

By: Marco Ajmone Marsan

Write a review Read reviews Take a Quiz Solve Book Puzzle

Application and Theory of Petri Nets 1993

14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings

By: Marco Ajmone Marsan

This volume contains the proceedings of the 14th International Conference onApplication and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of whom come from industry, while the rest are from universities and research institutes. The volume includes three invited papers, "Modeling and enactment of workflow systems" (C.A. Ellis, G.J. Nutt), "Interleaving functional and performance structural analysis of net models" (M. Silva), and "FSPNs: fluid stochastic Petri nets" (K.S. Trivedi, V.G. Kulkarni), together with 26 full papers (selected from 102 submissions) and 6 project papers.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

598

Publisher

Springer

Published Date

ISBN 10

3662185881

ISBN 13

9783662185889

Book's by Marco Ajmone Marsan

Quality of Service in Multiservice IP Networks

Quality of Service in Multiservice IP Networks

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Specification and Verification of Declarative Open Interaction Models

Specification and Verification of Declarative Open Interaction Models

Formal Methods for Software Architectures

Formal Methods for Software Architectures

Wireless On-Demand Network Systems

Wireless On-Demand Network Systems

Quality of Service in Multiservice IP Networks

Quality of Service in Multiservice IP Networks

Application and Theory of Petri Nets 1993

Application and Theory of Petri Nets 1993

Username

Password

Username

Password

Password again

Birthday

Email