1,721,061 research outputs found
Improving bit-level model checking algorithms for scalability through circuit-based reasoning
No full textIn the last few years real-life designs have become more and more complex, thus proper circuit management, simplification and transformation proved as important as the actual verification procedure. On the other hand, given the impossibility to determine a priori the best algorithm to use for each benchmark, portfolio approaches have become the de-facto standard in model checking. Tuning parameterization and behavior of the various algorithms in play is nowadays a must. This dissertation describes the activities conducted during the whole PhD course span, concerning model checking algorithms and preprocessing techniques in the context of industrial-derived hardware designs. More in details, some studies addressed during these years focused on appropriate property management, efficient model preprocessing techniques, proper SAT solver management and the introduction of a novel model checking algorithm
I sistemi di BI in Italia: prime evidenze dell'Osservatorio SDA Bocconi
No full textLa Business Intelligence ha conquistato uno spazio sempre più ampio nel portafoglio applicativo delle aziende. In alcuni casi è diventata un vero servizio applicativo regolato da indicatori del livello di servizio interno, in molti casi si è conquistato il diritto a disporre di un budget IT dedicato, ancora perlopiù gestito dalla funzione IT e che crescerà nei prossimi tre anni
Informatica e innovazione : il decentramento e il ridimensionamento dei sistemi informativi aziendali
No full textI marketing manager si confrontano sui sistemi di business intelligence
No full textI SISTEMI DI BI RAPPRESENTANO IL COMPLEMENTO DEI SISTEMI TRANSAZIONALI
DI UN SISTEMA INFORMATIVO AZIENDALE: DA UNA PARTE, I SISTEMI TRANSAZIONALI SONO INFATTI RIVOLTI ALL’AUTOMAZIONE DEI PROCESSI OPERATIVI AZIENDALI E, DALL’ALTRA, I SISTEMI DI BI ATTINGONO I DATI PRODOTTI DA QUESTI ULTIMI (E DALL’ESTERNO) E LI SINTETIZZANO
IN INFORMAZIONI UTILI AL MANAGEMENT CHE CONDUCE IL BUSINESS.
SONO ORMAI DIFFUSAMENTE PRESENTI
NELLE IMPRESE ITALIANE SISTEMI CHE
SODDISFANO ESIGENZE FUNZIONALI
QUALI IL REPORTING DIREZIONALE, L’ANALISI MULTIDIMENSIONALE, L’ANALISI
CARTOGRAFICA, I CRUSCOTTI E LE SCORECARD, E CHE OFFRONO CONTENUTI APPLICATIVI DI VARIO GENERE QUALI
ANALYTIC APPLICATIONS DI MARKETING
(ANALISI DEI PROFILI DEI CLIENTI, DELLA
FEDELTÀ E DEI MIX DI ACQUISTO, DEGLI
ORDINI O DEL VENDUTO, DELLE CAMPAGNE PROMOZIONALI, DELLE PRESTAZIONI DELLA RETE DI VENDITA O DEI CANALI
DISTRIBUTIVI ECC.), NONCHÉ APPLICAZIONI STATISTICHE DI DATA MINING.
LA NUOVA FRONTIERA DEI SISTEMI DI BI
IN AZIENDA, CON PARTICOLARE RIFERIMENTO ALL’AREA MARKETING, CONSISTE
NELLA CAPACITÀ DI RACCOGLIERE E ANALIZZARE DATI MULTICANALE, ANCHE
POCO STRUTTURATI (DATI ESPERIENZIALI, DI COLLABORAZIONE ECC.), AL FINE DI
PRODURRE NUOVE INFORMAZIONI PER
GLI UOMINI DI MARKETIN
I sistemi informativi direzionali : le tecnologie dell'informazione a supporto dei processi manageriali d'azienda
No full textRuolo, progettazione e benefici/rischi dei sistemi informativi dedicati alla organizzazione dei dati aziendale per scopi di analisi, interpretazione e supporto alle decisioni direzionali
Una road map digitale per le imprese
No full textCapire perché affrontare una nuova digitalizzazione, quale percorso fare e come creare le necessarie precondizioni organizzative, sono tre passaggi fondamentali per una corretta e utile trasformazione digitale
Information technology in azienda
No full textL’Information Technology vive in azienda il paradosso di rappresentare un bene di largo consumo e al tempo stesso una leva di trasformazione e innovazione. Contestualmente, la funzione Sistemi Informativi vede cambiare il proprio modo di operare. Deve confrontarsi con nuove forme organizzative e di relazione con clienti interni e fornitori; con nuovi mix di responsabilità condivise con le altre direzioni; con sistemi di pianificazione e controllo delle risorse IT e di misurazione dei risultati e delle prestazioni (non solo tecnico-economiche) che è in grado di produrre. Alla ricerca di nuove modalità di coerenza con le esigenze mutevoli dell’azienda, con i suoi principi e valori di governo, con le strategie esplicitate e implementate, i SI devono immaginare nuove modalità di allineamento non sequenziale ma reciproco con l’azienda stessa, attraverso strumenti e metodi capaci di creare valore. A ogni aspetto dei SI è dedicato un capitolo: governo, piano strategico, gestione delle relazioni, organizzazione della funzione, project management, gestione dei rischi, contratti e sistema privacy, gestione dei valori economico-patrimoniali, gestione dei risultati e delle prestazioni
Decidere il decentramento dei sistemi informativi aziendali
No full textIn questa fase storica decidere il grado di accentramento/decentramento dei sistemi informativi aziendali è una delle decisioni più critiche per il loro successo e per lo user empowerment
Verso l'Expo 2015 e il ruolo dell'ict: miti, mode, realtà
No full textIL 31 MARZO 2008 GLI STATI MEMBRI DEL BIE (BUREAU INTERNATIONAL DES EXPOSITIONS) HANNO SCELTO MILANO COME SEDE
PER L’EXPO DEL 2015, ACCOGLIENDONE LA CANDIDATURA CHE
PROPONEVA IL TEMA “FEEDING THE PLANET, ENERGY FOR LIFE”.
DUE ANNI SONO PASSATI E SI VUOLE IN QUESTA SEDE PROPORRE UNA RIFLESSIONE SUL RUOLO CHE LE ICT POTREBBERO GIOCARE NEL SUCCESSO DI QUESTA IMPORTANTE OPPORTUNITÀ
NAZIONALE DI INNOVAZIONE, DI VISIBILITÀ INTERNAZIONALE,
DI CONTRIBUTO ALL’ECONOMIA DEL SISTEMA PAESE, SECONDO
UNA CHIAVE DI LETTURA DIVERSA RISPETTO A QUANTO OSSERVATO NEI DIBATTITI E NEI CONVEGNI PUBBLICI, NELLE NOTE
STAMPA, NEGLI ARTICOLI APPARSI SU VARIE RIVISTE, ICT E NO
- …
