Sfoglia per Autore
On the interplay between reactivity and computation
2000-01-01 Brogi, Antonio; Contiero, S; Turini, Franco
Dynamic composition of parameterised logic modules.
2000-01-01 Brogi, Antonio; C., Renso; Turini, Franco
Interaction patterns for open systems
2001-01-01 Brogi, Antonio; Bracciali, A; Turini, Franco
Coordinating Interaction Patterns
2001-01-01 Bracciali, A; Brogi, Antonio; Turini, Franco
Security Issues in Component-based Design
2001-01-01 Bracciali, A; Brogi, Antonio; Ferrari, GIAN-LUIGI; Tuosto, E.
Security and Dynamic Compositions of Open Systems
2002-01-01 A., Bracciali; Brogi, Antonio; Ferrari, GIAN-LUIGI; E., Tuosto
On the expressiveness of relative-timed coordination models
2003-01-01 I., Linden; J. M., Jacquet; K., DE BOSSCHERE; Brogi, Antonio
On the specification of software adaptation
2003-01-01 Brogi, Antonio; C., Canal; E., Pimentel
Foclasa 2003 Foundations of Coordination Languages and Software Architectures
2003-01-01 Brogi, Antonio; J. M., Jacquet; E., Pimentel
An evolvable rule-based email agent
2003-01-01 J. J., Alferes; Brogi, Antonio; J. A., Leite; L. M., Pereira
Soft component adaptation
2003-01-01 Brogi, Antonio; C., Canal; E., Pimentel
Logic Programming for Evolving Agents
2003-01-01 J. J., Alferes; Brogi, Antonio; J. A., Leite; L. M., Pereira
On the expressiveness of coordination via shared dataspaces
2003-01-01 Brogi, Antonio; J. M., Jacquet
Safe Composition of Linda-based Components
2003-01-01 A., Roldan; E., Pimentel; Brogi, Antonio
A deductive database approach to A.I. Planning
2003-01-01 Brogi, Antonio; V. S., Subrahmanian; C., Zaniolo
Measuring component adaptation
2004-01-01 Brogi, Antonio; C., Canal; E., Pimentel
Formalizing Web Services Choreographies
2004-01-01 Brogi, Antonio; Canal, C; Pimentel, E; Vallecillo, A.
Behavioural types and component adaptation
2004-01-01 Brogi, Antonio; Canal, C; Pimentel, E.
A Framework for Specifying and Verifying the Behavior of Open Systems
2005-01-01 Bracciali, Andrea; Brogi, Antonio; Turini, Franco
A formal approach to component adaptation
2005-01-01 Bracciali, A; Brogi, Antonio; Canal, C.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On the interplay between reactivity and computation | 1-gen-2000 | Brogi, Antonio; Contiero, S; Turini, Franco | |
Dynamic composition of parameterised logic modules. | 1-gen-2000 | Brogi, Antonio; C., Renso; Turini, Franco | |
Interaction patterns for open systems | 1-gen-2001 | Brogi, Antonio; Bracciali, A; Turini, Franco | |
Coordinating Interaction Patterns | 1-gen-2001 | Bracciali, A; Brogi, Antonio; Turini, Franco | |
Security Issues in Component-based Design | 1-gen-2001 | Bracciali, A; Brogi, Antonio; Ferrari, GIAN-LUIGI; Tuosto, E. | |
Security and Dynamic Compositions of Open Systems | 1-gen-2002 | A., Bracciali; Brogi, Antonio; Ferrari, GIAN-LUIGI; E., Tuosto | |
On the expressiveness of relative-timed coordination models | 1-gen-2003 | I., Linden; J. M., Jacquet; K., DE BOSSCHERE; Brogi, Antonio | |
On the specification of software adaptation | 1-gen-2003 | Brogi, Antonio; C., Canal; E., Pimentel | |
Foclasa 2003 Foundations of Coordination Languages and Software Architectures | 1-gen-2003 | Brogi, Antonio; J. M., Jacquet; E., Pimentel | |
An evolvable rule-based email agent | 1-gen-2003 | J. J., Alferes; Brogi, Antonio; J. A., Leite; L. M., Pereira | |
Soft component adaptation | 1-gen-2003 | Brogi, Antonio; C., Canal; E., Pimentel | |
Logic Programming for Evolving Agents | 1-gen-2003 | J. J., Alferes; Brogi, Antonio; J. A., Leite; L. M., Pereira | |
On the expressiveness of coordination via shared dataspaces | 1-gen-2003 | Brogi, Antonio; J. M., Jacquet | |
Safe Composition of Linda-based Components | 1-gen-2003 | A., Roldan; E., Pimentel; Brogi, Antonio | |
A deductive database approach to A.I. Planning | 1-gen-2003 | Brogi, Antonio; V. S., Subrahmanian; C., Zaniolo | |
Measuring component adaptation | 1-gen-2004 | Brogi, Antonio; C., Canal; E., Pimentel | |
Formalizing Web Services Choreographies | 1-gen-2004 | Brogi, Antonio; Canal, C; Pimentel, E; Vallecillo, A. | |
Behavioural types and component adaptation | 1-gen-2004 | Brogi, Antonio; Canal, C; Pimentel, E. | |
A Framework for Specifying and Verifying the Behavior of Open Systems | 1-gen-2005 | Bracciali, Andrea; Brogi, Antonio; Turini, Franco | |
A formal approach to component adaptation | 1-gen-2005 | Bracciali, A; Brogi, Antonio; Canal, C. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile