MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Flavio Corradini" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

24 documents found, showing 1 through 10. Next 10 →

ATOM

Specification and Analysis of Timed and Functional TRMCS Behaviours
by Mauro Cioffi, Flavio Corradini — 2000 — In IEEE Proc. of Int. Work. on Software Specification and Design, IWSSD-10
…Specification and Analysis of Timed and Functional TRMCS Behaviours Mauro Cioffi, Flavio…
Cited by 2 (1 self) – Add To MetaCart

On Synchronous and Asynchronous Communication Paradigms
by Diletta Cacciagrano, Flavio Corradini — 2000 — Proc. of ICTCS ’01, LNCS
…On Synchronous and Asynchronous Communication Paradigms Diletta Cacciagrano, Flavio Corradini…
Cited by 2 (1 self) – Add To MetaCart

Hermes: agent-based middleware for mobile computing
by Flavio Corradini, Emanuela Merelli — 2005 — In Mobile Computing
…Hermes: Agent-based Middleware for Mobile Computing ⋆ Flavio Corradini and Emanuela Merelli…
Cited by 10 (6 self) – Add To MetaCart

An Agent-Based Layered Middleware as Tool Integration
by Flavio Corradini Dipartimento, Flavio Corradini — 2003 — International Journal on Software Tools for Technology Transfer
…An agent-based layered middleware as tool integration ∗ Flavio Corradini Dipartimento di…
Add To MetaCart

Universit"at Augsburg ROMUNHSG0 Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS
by Flavio Corradini, Walter Vogler, Lars Jenner, Copyright Cfl Flavio Corradini, Walter Vogler, Lars Jenner
… with PAFAS Flavio Corradini, Walter Vogler, Lars Jenner Report 2000-6 Dezember 2000 Institut f…
Add To MetaCart

A Programming Environment for Global Activity-based Applications
by Flavio Corradini, Leonardo Mariani, Emanuela Merelli — 2003 — In WOA 2003 dagli Oggetti agli Agenti - Sistemi Intelligenti e Computazione Pervasiva
…A Programming Environment for Global Activity-based Applications Flavio Corradini Dipartimento di…
Cited by 3 (3 self) – Add To MetaCart

An agent-based matchmaker
by Flavio Corradini Chiara Ercoli — 2004 — In proceedings of WOA 2004 dagli Oggetti agli Agenti - Sistemi Complessi e Agenti Razionali
…An Agent-based Matchmaker (A case study in biomedical services discovery) Flavio Corradini, Chiara…
Cited by 1 (1 self) – Add To MetaCart

An Agent-Based Approach To Tool Integration
by Flavio Corradini, Leonardo Mariani, Emanuela Merelli — 2004 — Journal of Software Tools Technology Transfer
…10009-004-0158-5 An agent-based approach to tool integration Flavio Corradini 1 , Leonardo Mariani 2…
Cited by 9 (5 self) – Add To MetaCart

Yet Another Real-time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance
by Candida Attanasio, Ida Attanasio, Flavio Corradini, Paola Inverardi — 1999 — Proc. of Fase'99, LNCS, Springer-Verlag
… Systems Performance ? Candida Attanasio, Flavio Corradini, and Paola Inverardi Dipartimento di…
Cited by 1 (1 self) – Add To MetaCart

Static Analysis of Real-Time Component-based Systems Configurations
by Candida Attanasio, Ida Attanasio, Flavio Corradini, Paola Inverardi — 1999 — Proc. of Coordination'99, Lecture Notes in Computer Science
…Static Analysis of Real-Time Component-based Systems Configurations ? Candida Attanasio, Flavio…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB