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.
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 | |
