Contributi di Biancardi83
Utente con 62 modifiche. Utenza creata il 6 mag 2015.
7 feb 2016
- 10:2910:29, 7 feb 2016 diff cron +129 N Utente:Biancardi83/Sandbox ←Nuova pagina: Idee da sviluppare CCS => Calculus of Communicating Systems (come lo traduco in italiano? Calcolo dei sistemi di comunicazione?) attuale
- 10:2810:28, 7 feb 2016 diff cron +83 m Sistema a transizione di stati aggiunta la definizione di LTS Etichetta: Modifica visuale
6 feb 2016
- 16:4316:43, 6 feb 2016 diff cron −81 Logica di Hoare Nessun oggetto della modifica Etichetta: Modifica visuale: commutato
- 16:4216:42, 6 feb 2016 diff cron +214 Logica di Hoare →Bibliografia
- 16:3716:37, 6 feb 2016 diff cron +64 Logica di Hoare →Bibliografia
- 16:3616:36, 6 feb 2016 diff cron +125 m Logica di Hoare inizio lavoro su bibliografia Etichetta: Modifica visuale: commutato
- 12:1812:18, 6 feb 2016 diff cron +347 m Discussione:Logica di Hoare Nessun oggetto della modifica attuale
- 10:4310:43, 6 feb 2016 diff cron +385 Logica di Hoare aggiornamento degli assiomi e regole Etichetta: Modifica visuale: commutato
- 10:2810:28, 6 feb 2016 diff cron +195 Logica di Hoare aggiunto il concetto di assioma e di regola di inferenza Etichetta: Modifica visuale: commutato
5 feb 2016
- 16:1816:18, 5 feb 2016 diff cron +4 Logica di Hoare →Tripla di Hoare: Correzione formale di una formula Etichette: Modifica da mobile Modifica da web per mobile
- 13:1813:18, 5 feb 2016 diff cron +212 N Discussione:Logica di Hoare ←Nuova pagina: = Ma la regola condizionale ? = Manca la casistica sull'if, cercherò di inserire un paragrafo dedicato --~~~~
25 mag 2015
- 20:0620:06, 25 mag 2015 diff cron +138 Publish/subscribe aggiunto un collegamento con il middleware Etichetta: Modifica visuale
11 mag 2015
- 10:4110:41, 11 mag 2015 diff cron +1 013 Database distribuito →Trasparenza: specifica sulle trasparenze esistenti Etichetta: Modifica visuale
- 10:3510:35, 11 mag 2015 diff cron +383 Database distribuito →Replicazione: Aggiunta definizione della replicazione Etichetta: Modifica visuale
- 10:3110:31, 11 mag 2015 diff cron +266 Database distribuito Nessun oggetto della modifica
- 10:3010:30, 11 mag 2015 diff cron +351 N Discussione:Database distribuito →Simbolo selezione usato nella frammentazione orizzontale: nuova sezione
- 10:2810:28, 11 mag 2015 diff cron +589 Database distribuito →Frammentazione Verticale: definizione formale della frammentazione orizzontale, dubbio su un simbolo che ho utilizzato nella formula matematica! ho inserito una nota nelle discussioni Etichetta: Modifica visuale
- 09:3709:37, 11 mag 2015 diff cron +537 Database distribuito →Frammentazione: definizione della frammentazione verticale Etichetta: Modifica visuale
- 09:1809:18, 11 mag 2015 diff cron +852 Database distribuito →Frammentazione: specifica della frammentazione Etichetta: Modifica visuale
- 09:1009:10, 11 mag 2015 diff cron +1 Database distribuito →Trasparenza Etichetta: Modifica visuale
- 09:0909:09, 11 mag 2015 diff cron +525 Database distribuito aggiunte le proprietà tipiche del database distribuito Etichetta: Modifica visuale
- 09:0509:05, 11 mag 2015 diff cron +379 Database distribuito estensione della descrizione generale Etichetta: Modifica visuale
8 mag 2015
- 13:3013:30, 8 mag 2015 diff cron −2 Database management system Nessun oggetto della modifica Etichette: Modifica da mobile Modifica da web per mobile
- 12:5312:53, 8 mag 2015 diff cron +120 Base di dati →Bibliografia
- 12:5012:50, 8 mag 2015 diff cron +481 m Base di dati →Descrizione: aggiunta evoluzione delle architetture dati Etichetta: Modifica visuale
- 11:4211:42, 8 mag 2015 diff cron +162 Utente:Biancardi83/sandbox/FrameworkZachmanSandbox →Bibliografia attuale
- 11:2511:25, 8 mag 2015 diff cron +6 Utente:Biancardi83/sandbox/FrameworkZachmanSandbox →Colonna How Etichetta: Modifica visuale
- 11:2211:22, 8 mag 2015 diff cron +1 019 Utente:Biancardi83/sandbox/FrameworkZachmanSandbox Nessun oggetto della modifica Etichetta: Modifica visuale
- 11:1511:15, 8 mag 2015 diff cron +1 279 Utente:Biancardi83/sandbox/FrameworkZachmanSandbox →Framework di Zachman Etichetta: Modifica visuale
- 11:0711:07, 8 mag 2015 diff cron +184 N Discussione:Framework di Zachman ←Nuova pagina: Sto scrivendo un articolo in sandbox poi caricherò tutto su questa pagina --~~~~
7 mag 2015
- 16:4216:42, 7 mag 2015 diff cron +276 Discussioni utente:Horcrux →Ampliamento e fonti: nuova sezione
- 16:3616:36, 7 mag 2015 diff cron −120 Database management system →Collegamenti esterni: link non funzionante
- 16:3516:35, 7 mag 2015 diff cron +572 Database management system →Operazioni: ho ultimato un primo aggiornamento dedicato ai guasti, bisognerebbe mettere qualche link di approfondimento interno Etichetta: Modifica visuale
- 16:2916:29, 7 mag 2015 diff cron +457 Discussione:Base di dati →Evoluzione dell'architetture dati: nuova sezione
- 16:2216:22, 7 mag 2015 diff cron +474 m Database management system →Gestione dei guasti: aggiornate le metodologie applicate dal DBMS Etichetta: Modifica visuale
- 16:0616:06, 7 mag 2015 diff cron +290 m Database management system →Tipi di guasti: ultimato il paragrafo sui guasti Etichetta: Modifica visuale
- 14:2614:26, 7 mag 2015 diff cron −122 m Database management system →Collegamenti esterni: link non più esistente! 403 Etichetta: Modifica visuale
- 13:3813:38, 7 mag 2015 diff cron +538 Database management system →Tipi di guasti
- 13:2513:25, 7 mag 2015 diff cron +579 m Database management system aggiunto paragrafo dedicato ai guasti, WIP Etichetta: Modifica visuale
- 11:5211:52, 7 mag 2015 diff cron +318 ACID →Concurrency Control Manager o WorkSpace Privato: aggiungere la getsione dello scheduler
- 11:4911:49, 7 mag 2015 diff cron +102 N Utente:Biancardi83/sandbox ←Nuova pagina: =Elenco delle sandbox= FrameworkZachmanSandBox attuale
- 11:4811:48, 7 mag 2015 diff cron +22 N Utente:Biancardi83/sandbox/FrameworkZachmanSandbox ←Nuova pagina: =Framework di Zachman=
- 11:4611:46, 7 mag 2015 diff cron +189 m Transazione (basi di dati) →Descrizione: Aggiunto paragrafo sullo schedule Etichetta: Modifica visuale
- 11:2711:27, 7 mag 2015 diff cron +239 Transazione (basi di dati) →Descrizione: aggiunto paragrafo sulle sottotransazioni Etichetta: Modifica visuale
- 11:2111:21, 7 mag 2015 diff cron +331 Discussioni utente:Pegasovagante →Framework di Zachman: nuova sezione
- 10:4910:49, 7 mag 2015 diff cron −3 m ACID errore di battitura
- 10:4810:48, 7 mag 2015 diff cron +266 ACID →Concurrency Control Manager o WorkSpace Privato: aggiornamento sulle istruzioni di lock / unlock
- 09:2809:28, 7 mag 2015 diff cron −2 m Transazione (basi di dati) →Descrizione: sistemato problema di impaginazione Etichetta: Modifica visuale
- 09:2709:27, 7 mag 2015 diff cron +318 Transazione (basi di dati) inserito il paragrafo sulle tipologie di abort
- 09:2109:21, 7 mag 2015 diff cron +358 Discussioni utente:Gac/Archivio49 →Framework di Zachman: nuova sezione