Rocco de Nicola's Books

Trustworthy Global Computing

International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

By: Rocco De Nicola

Write a review Read reviews Take a Quiz Solve Book Puzzle

Trustworthy Global Computing

International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

By: Rocco De Nicola

This book constitutes the thoroughly refereed post-proceedings of the International Symposium on Trustworthy Global Computing, TGC 2005, held in Edinburgh, UK, in April 2005, and colocated with the events of ETAPS 2005. The 11 revised full papers presented together with 8 papers contributed by the invited speakers were carefully selected during 2 rounds of reviewing and improvement from numerous submissions. Topical issues covered by the workshop are resource usage, language-based security, theories of trust and authentication, privacy, reliability and business integrity access control and mechanisms for enforcing them, models of interaction and dynamic components management, language concepts and abstraction mechanisms, test generators, symbolic interpreters, type checkers, finite state model checkers, theorem provers, software principles to support debugging and verification.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

379

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540300074

ISBN 13

9783540300076

Coordination Models and Languages

6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

By: Rocco De Nicola,Gianluigi Ferrari,Greg Meredith

Write a review Read reviews Take a Quiz Solve Book Puzzle

Coordination Models and Languages

6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

By: Rocco De Nicola,Gianluigi Ferrari,Greg Meredith

This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. Among the topics addressed are context-aware coordination, the Linda coordination model, component adaptation, aspect-oriented programming, coordination middleware, peer-to-peer systems, coordination languages, network coordination, logic based coordination, agent coordination, as well as several coordination tools.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

336

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354021044X

ISBN 13

9783540210443

The Other Renaissance

Italian Humanism Between Hegel and Heidegger

By: Rocco Rubini

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Other Renaissance

Italian Humanism Between Hegel and Heidegger

By: Rocco Rubini

This title offers a cultural translation of modern Italian intellectual and philosophical history, a development book-ended by Giambattista Vico and Antonio Gramsci. It shows Italian philosophy to have emerged during the age of the Risorgimento in reaction to 18th century French revolutionary and rationalist standards in politics and philosophy and in critical assimilation of the German reaction to the same, mainly Hegelian idealism and, eventually, Heideggerian existentialism. This is the story of modern Italian philosophy told through the lens of Renaissance scholarship.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

407

Publisher

University of Chicago Press

Published Date

ISBN 10

022618613X

ISBN 13

9780226186139

Concurrency, Graphs and Models

Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

By: Pierpaolo Degano,Rocco de Nicola,José Meseguer

Write a review Read reviews Take a Quiz Solve Book Puzzle

Concurrency, Graphs and Models

Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

By: Pierpaolo Degano,Rocco de Nicola,José Meseguer

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa. The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification. Each of these six sections starts with an introductory paper giving an account of Ugo Montanari’s contribution to the area and describing the papers in the section. The final section consists of a number of papers giving a laudation of Ugo Montanari’s numerous achievements.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

823

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540686762

ISBN 13

9783540686767

Book's by Rocco de Nicola

Trustworthy Global Computing

Trustworthy Global Computing

Coordination Models and Languages

Coordination Models and Languages

The Other Renaissance

The Other Renaissance

Concurrency, Graphs and Models

Concurrency, Graphs and Models

Username

Password

Username

Password

Password again

Birthday

Email