Sfoglia per Autore
Spatial and Temporal Refinement of Graph Transformation Systems
1998-01-01 Martin Grosse, Rhode; Francesco Parisi, Presicce; Simeoni, Marta
Cooperating Graph Grammar Systems
1999-01-01 Simeoni, Marta; Maria, Staniszkis
Refinements and Modules for Typed Graph Transformation Systems
1999-01-01 Martin Grosse, Rhode; Francesco Parisi, Presicce; Simeoni, Marta
From Formulae to Rewriting Systems
2000-01-01 Paolo, Bottoni; Francesco Parisi, Presicce; Simeoni, Marta
On a Uniform Representation of Transformation Systems
2000-01-01 Bottoni, P; PARISI PRESICCE, F; Simeoni, Marta
Modeling Distributed Systems by Modular Graph Transformation based on Refinement via Rule Expressions
2000-01-01 GROSSE RHODE, M; PARISI PRESICCE, F; Simeoni, Marta; Taentzer, G.
Refinements of Graph Transformation Systems via Rule Expressions
2000-01-01 Martin Grosse, Rhode; Francesco Parisi, Presicce; Simeoni, Marta
An AGG Application Supporting Visual Reasoning
2001-01-01 Formisano, A; Simeoni, Marta
On Transforming UML models into performance models
2001-01-01 Balsamo, Maria Simonetta; Simeoni, Marta
Deriving Performance Models from Software Architecture Specifications
2001-01-01 Balsamo, Maria Simonetta; Simeoni, Marta
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems
2002-01-01 GROSSE RHODE, M; PARISI PRESICCE, F; Simeoni, Marta
Interactive Rule-based Specification with an Application to Visual Language Definition
2002-01-01 GROSSE RHODE, M; Bardohl, R; Simeoni, Marta
An Abstract Module Concept for Graph Transformation Systems
2002-01-01 Simeoni, Marta
Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis
2002-01-01 Balsamo, Maria Simonetta; M., Bernardo; Simeoni, Marta
A graphical approach to relational reasoning
2003-01-01 Formisano, A; Omodeo, E. G.; Simeoni, Marta
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
2003-01-01 Antoniotti, M; Mishra, B; Piazza, C; Policriti, A; Simeoni, Marta
Performance Evaluation at the Software Architecture Level
2003-01-01 Simeoni, Marta; Balsamo, Maria Simonetta; Bernardo, M.
A Sense of Life: Computational and Experimental Investigations with Models of Biochemical and Evolutionary Processes
2003-01-01 Bud, Mishra; Raoul Sam, Daruwala; Yi, Zhou; Nadia, Ugel; Alberto, Policriti; Marco, Antoniotti; Salvatore, Paxia; Marc, Rejali; Archisman, Rudra; Vera, Cherepinsky; Naomi, Silver; William, Casey; Carla, Piazza; Simeoni, Marta; Paolo, Barbano; Marina, Spivak; Jiawu, Feng; Ofer, Gill; Mysore, Venkatesh; Fang, Cheng; Bing, Sun; Iuliana, Ioniata; Thomas, Anantharaman; E., Jane Albert Hubbard; Amir, Pnueli; David, Harel; Vijay, Chandru; Ramesh, Hariharan; Michael, Wigler; Frank, Park; Shih Chieh, Lin; Yuri, Lazebnik; Franz, Winkler; Charles R., Cantor; Alessandra, Carbone; Mikhael, Gromov
Ordering BAC Clones from Fingerprint Data obtained through Four Enzymes Digestion and Fluorescent Labeling
2004-01-01 Marcon, G; Cannata, N; Llabres, M; Simeoni, Marta; Valle, G.
Integrating performance modeling in the software development process
2004-01-01 Balsamo, Maria Simonetta; Simeoni, Marta
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