top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Modelling foundations and applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / Pieter van Gorp, Tom Ritter, Louis M. Rose (eds.).
Modelling foundations and applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / Pieter van Gorp, Tom Ritter, Louis M. Rose (eds.).
Creatore [ECMFA (Conference) (9th : 2013 : Montpellier, France)]
Estensione 1 online resource (x, 235 pages) : illustrations (black and white).
Accesso persona Gorp, Pieter van, editor
Ritter, Tom, editor
Rose, Louis M., editor.
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Information Systems
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Management of Computing and Information Systems
Programming Techniques
ISBN 9783642390135
3642390137
9783642390128
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Foundations. Employing the Object Constraint Language in Model-Based Engineering / Martin Gogolla -- MOCQL: A Declarative Language for Ad-Hoc Model Querying / Harald Störrle -- Supporting Different Process Views through a Shared Process Model / Jochen Küster [and others] -- Characterization of Adaptable Interpreted-DSML / Eric Cariou [and others] -- Transformation as Search / Mathias Kleiner, Marcos Didonet Del Fabro, Davi De Queiroz Santos -- Model-Based Generation of Run-Time Monitors for AUTOSAR / Lars Patzina [and others] -- End-User Support for Debugging Demonstration-Based Model Transformation Execution / Yu Sun, Jeff Gray -- DPMP: A Software Pattern for Real-Time Tasks Merge / Rania Mzid [and others] -- Using Model Types to Support Contract-Aware Model Substitutability / Wuliang Sun [and others] -- Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing / Fabrice Ambert [and others] -- Applications. A Network-Centric BPMN Model for Business Network Management / Daniel Ritter -- Design Management: A Collaborative Design Solution / Maged Elaasar, James Conallen -- Umbra Designer: Graphical Modelling for Telephony Services / Nicolás Buezas [and others] -- Experience with Industrial Adoption of Business Process Models for User Acceptance Testing / Deepali Kholkar [and others] -- A Case Study in Evidence-Based DSL Evolution / Jeroen van den Bos, Tijs van der Storm -- Model Driven Software Development / Vinay Kulkarni.
Record Nr. UCHICAGO-11079572
[ECMFA (Conference) (9th : 2013 : Montpellier, France)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Advances in information and computer security : 6th international workshop, IWSEC 2011, Tokyo, Japan, November 8-10, 2011 : proceedings / Tetsu Iwata, Masakatsu Nishigaki (eds.).
Advances in information and computer security : 6th international workshop, IWSEC 2011, Tokyo, Japan, November 8-10, 2011 : proceedings / Tetsu Iwata, Masakatsu Nishigaki (eds.).
Creatore [International Workshop on Security (6th : 2011 : Tokyo, Japan)]
Estensione 1 online resource (xii, 229 pages) : illustrations (some color).
Accesso persona Iwata, Tetsu
Nishigaki, Masakatsu
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Data encryption (Computer science)
Computer software
Information Systems
Systems and Data Security
Management of Computing and Information Systems
Data Encryption
Computers and Society
Algorithm Analysis and Problem Complexity
ISBN 9783642251412
3642251412
9783642251405
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076292
[International Workshop on Security (6th : 2011 : Tokyo, Japan)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Sensor systems and software : second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, revised selected papers / Gerard par Philip Morrow (eds.).
Sensor systems and software : second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, revised selected papers / Gerard par Philip Morrow (eds.).
Creatore [International ICST Conference on Sensor Systems and Software (2nd : 2010 : Miami, Fla.)]
Estensione 1 online resource (x, 250 pages).
Accesso persona Par, Gerard
Morrow, Philip
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Operating systems (Computers)
Information Systems
Telecommunication
Management of Computing and Information Systems
Computers and Society
Operating Systems
Communications Engineering, Networks
ISBN 9783642235832
3642235832
9783642235825
3642235824
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076309
[International ICST Conference on Sensor Systems and Software (2nd : 2010 : Miami, Fla.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
SDL 2011 : integrating system and software modeling : 15th International SDL Forum, Toulouse, France, July 5-7, 2011 : revised papers / Iulian Ober, Ileana Ober (eds.).
SDL 2011 : integrating system and software modeling : 15th International SDL Forum, Toulouse, France, July 5-7, 2011 : revised papers / Iulian Ober, Ileana Ober (eds.).
Creatore [SDL Forum (15th : 2011 : Toulouse, France)]
Estensione 1 online resource (x, 275 pages) : illustrations (some color).
Accesso persona Ober, Iulian
Ober, Ileana
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer network architectures
Computer Communication Networks
Software engineering
Logic design
Information Systems
Computer Systems Organization and Communication Networks
Programming Languages, Compilers, Interpreters
Management of Computing and Information Systems
ISBN 9783642252648
3642252648
364225263X
9783642252631
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076394
[SDL Forum (15th : 2011 : Toulouse, France)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Software quality : process automation in software development ; 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012, proceedings / Stefan Biffl, Dietmar Winkler, Johannes Bergsmann (eds.).
Software quality : process automation in software development ; 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012, proceedings / Stefan Biffl, Dietmar Winkler, Johannes Bergsmann (eds.).
Creatore [SWQD 2012 (2012 : Vienna, Austria)]
Estensione 1 online resource (xii, 229 pages).
Accesso persona Biffl, Stefan
Winkler, Dietmar
Bergsmann, Johannes
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Information Systems
Management of Computing and Information Systems
Project Management
ISBN 9783642272134
3642272134
3642272126
9783642272127
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076632
[SWQD 2012 (2012 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Medical content-based retrieval for clinical decision support : second MICCAI International Workshop, MCBR-CDS 2011, Toronto, ON, Canada, September 22, 2011, Revised selected papers / edited by Henning Müller, Hayit Greenspan, Tanveer Syeda-Mahmood
Medical content-based retrieval for clinical decision support : second MICCAI International Workshop, MCBR-CDS 2011, Toronto, ON, Canada, September 22, 2011, Revised selected papers / edited by Henning Müller, Hayit Greenspan, Tanveer Syeda-Mahmood
Creatore [MCBR-CDS 2011 (2011 : Toronto, Ont.)]
Estensione 1 online resource (x, 151 pages) : illustrations (some color).
Accesso persona Müller, Henning (Medical scientist)
Greenspan, Hayit
Syeda-Mahmood, Tanveer
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Data mining
Information storage and retrieval systems
Computer vision
Optical pattern recognition
Biometrics
Information Systems
Data Mining and Knowledge Discovery
Pattern Recognition
Information Storage and Retrieval
Computer Imaging, Vision, Pattern Recognition and Graphics
Management of Computing and Information Systems
ISBN 9783642284601
3642284604
3642284590
9783642284595
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076693
[MCBR-CDS 2011 (2011 : Toronto, Ont.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Information security applications : 12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011. Revised selected papers / Souhwan Jung, Moti Yung (eds.).
Information security applications : 12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011. Revised selected papers / Souhwan Jung, Moti Yung (eds.).
Creatore [WISA (Workshop : Information security) (12th : 2011 : Cheju-do, Korea)]
Estensione 1 online resource (xii, 270 pages).
Accesso persona Jung, Souhwan
Yung, Moti
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Data encryption (Computer science)
Computer software
Information Systems
Algorithm Analysis and Problem Complexity
Management of Computing and Information Systems
Information Systems Applications (incl. Internet)
Systems and Data Security
ISBN 9783642278907
3642278906
9783642278891
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076711
[WISA (Workshop : Information security) (12th : 2011 : Cheju-do, Korea)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Traffic monitoring and analysis : 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012. Proceedings / Antonio Pescapè, Luca Salgarelli, Xenofontas Dimitropoulos (eds.).
Traffic monitoring and analysis : 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012. Proceedings / Antonio Pescapè, Luca Salgarelli, Xenofontas Dimitropoulos (eds.).
Creatore [TMA (Workshop) (4th : 2012 : Vienna, Austria)]
Estensione 1 online resource (x, 174 pages).
Accesso persona Pescapè, Antonio
Salgarelli, Luca
Dimitropoulos, Xenofontas
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Information storage and retrieval systems
Information Systems
System Performance and Evaluation
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Management of Computing and Information Systems
ISBN 9783642285349
3642285341
9783642285332
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Assessing the Real-World Dynamics of DNS / Andreas Berger and Eduard Natale -- Uncovering the Big Players of the Web / Vinicius Gehlen, Alessandro Finamore, Marco Mellia and Maurizio M. Munafò -- Internet Access Traffic Measurement and Analysis / Steffen Gebert, Rastin Pries, Daniel Schlosser and Klaus Heck -- From ISP Address Announcement Patterns to Routing Scalability / Liang Chen, Xingang Shi and Dah Ming Chiu -- I2P's Usage Characterization / Juan Pablo Timpanaro, Isabelle Chrisment and Olivier Festor -- Experimental Assessment of BitTorrent Completion Time in Heterogeneous TCP/uTP Swarms / Claudio Testa, Dario Rossi, Ashwin Rao and Arnaud Legout -- Steps towards the Extraction of Vehicular Mobility Patterns from 3G Signaling Data / Pierdomenico Fiadino, Danilo Valerio, Fabio Ricciato and Karin Anna Hummel -- Identifying Skype Nodes in the Network Exploiting Mutual Contacts / Jan Jusko and Martin Rehak -- Padding and Fragmentation for Masking Packet Length Statistics / Alfonso Iacovazzi and Andrea Baiocchi -- Real-Time Traffic Classification Based on Cosine Similarity Using Sub-application Vectors / Cihangir Beşiktaş and Hacı Ali Mantar -- Towards Efficient Flow Sampling Technique for Anomaly Detection / Karel Bartos and Martin Rehak -- Detecting and Profiling TCP Connections Experiencing Abnormal Performance / Aymen Hafsaoui, Guillaume Urvoy-Keller, Matti Siekkinen and Denis Collange -- Geographical Internet PoP Level Maps / Yuval Shavitt and Noa Zilberman -- Distributed Troubleshooting of Web Sessions Using Clustering / Heng Cui and Ernst Biersack -- Using Metadata to Improve Experiment Reliability in Shared Environments / Pehr Söderman, Markus Hidell and Peter Sjödin -- tsdb: A Compressed Database for Time Series / Luca Deri, Simone Mainardi and Francesco Fusco -- Flexible High Performance Traffic Generation on Commodity Multi-core Platforms / Nicola Bonelli, Andrea Di Pietro, Stefano Giordano and Gregorio Procissi -- Improving Network Measurement Efficiency through Multiadaptive Sampling / João Marco C. Silva and Solange Rito Lima.
Record Nr. UCHICAGO-11076728
[TMA (Workshop) (4th : 2012 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Critical infrastructure protection : information infrastructure models, analysis, and defense / Javier Lopez, Roberto Setola, Stephen D. Wolthusen (eds.).
Critical infrastructure protection : information infrastructure models, analysis, and defense / Javier Lopez, Roberto Setola, Stephen D. Wolthusen (eds.).
Estensione 1 online resource (xiv, 355 pages).
Accesso persona López, Javier
Setola, Roberto
Wolthusen, Stephen D.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Data protection
Data encryption (Computer science)
Computer software
Information Systems
Systems and Data Security
Management of Computing and Information Systems
Computers and Society
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
ISBN 9783642289200
3642289207
3642289193
9783642289194
Classificazione 54.61
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Overview of Critical Information Infrastructure Protection / Javier Lopez, Roberto Setola and Stephen D. Wolthusen -- The Art of CIIP Strategy: Tacking Stock of Content and Processes / Myriam Dunn Cavelty and Manuel Suter -- Infrastructure Sectors and the Information Infrastructure / Andrea Glorioso and Andrea Servida -- Understanding Cyber Threats and Vulnerabilities / Eric Luiijf -- Modelling Approaches / Nils Kalstad Svendsen and Stephen D. Wolthusen -- Anomaly Detection in Water Management Systems / Massimiliano Raciti, Jordi Cucurull and Simin Nadjm-Tehrani -- Security Aspects of SCADA and DCS Environments / Cristina Alcaraz, Gerardo Fernandez and Fernando Carvajal -- SCADA Protocol Vulnerabilities / Julian L. Rrushi -- Protection of SCADA Communication Channels / Abdelmajid Khelil, Daniel Germanus and Neeraj Suri -- Cyber Vulnerability in Power Systems Operation and Control / Ettore Bompard, Paolo Cuccia, Marcelo Masera and Igor Nai Fovino -- Sector-Specific Information Infrastructure Issues in the Oil, Gas, and Petrochemical Sector / Stig O. Johnsen, Andreas Aas and Ying Qian -- Telecommunications / Stuart Goldman and Huseyin Uzunalioglu -- Financial Services Industry / Bernhard Hämmerli -- Transportation / Mark Hartong, Rajn Goel and Duminda Wijesekera.
Record Nr. UCHICAGO-11076752
Materiale a stampa
Lo trovi qui: University of Chicago
Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised selected papers / Marco Carbone, Jean-Marc Petit (eds.).
Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised selected papers / Marco Carbone, Jean-Marc Petit (eds.).
Creatore [WS-FM (Workshop) (8th : 2011 : Clermont-Ferrand, France)]
Estensione 1 online resource (vi, 142 pages).
Accesso persona Carbone, Marco
Petit, Jean-Marc
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Information storage and retrieval systems
Information Systems
Management of Computing and Information Systems
Information Storage and Retrieval
User Interfaces and Human Computer Interaction
ISBN 9783642298349
3642298346
9783642298332
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Understanding Distributed Services through the [pi]-Calculus / Kohei Honda -- Reliable Contracts for Unreliable Half-Duplex Communications / Étienne Lozes and Jules Villard -- Behavior Based Service Composition / Fangzhe Chang, Pavithra Prabhakar and Ramesh Viswanathan -- Compatibility of Data-Centric Web Services / Benoît Masson, Loïc Hélouët and Albert Benveniste -- Time and Exceptional Behavior in Multiparty Structured Interactions / Hugo A. López and Jorge A. Pérez -- Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations / A Process Algebra Perspective / Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni and Anirban Bhattacharyya -- An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework / José Antonio Mateo, Valentín Valero and Gregorio Díaz -- Design of a BPEL Verification Tool / Elie Fares, Jean-Paul Bodeveix and Mamoun Filali -- Applying Process Analysis to the Italian eGovernment Enterprise Architecture / Roberto Bruni, Andrea Corradini, Gianluigi Ferrari, Tito Flagella and Roberto Guanciale, et al. -- Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures / Juan Pedro Silva Gallino, Miguel de Miguel, Javier F. Briones and Alejandro Alonso.
Record Nr. UCHICAGO-11076820
[WS-FM (Workshop) (8th : 2011 : Clermont-Ferrand, France)]  
Materiale a stampa
Lo trovi qui: University of Chicago