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.
Web reasoning and rule systems [electronic resource] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings / Wolfgang Faber, Domenico Lembo (eds.).
Web reasoning and rule systems [electronic resource] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings / Wolfgang Faber, Domenico Lembo (eds.).
Creatore [RR (Conference) (7th : 2013 : Mannheim, Germany)]
Estensione 1 online resource.
Disciplina 025.042/7
Accesso persona Faber, Wolfgang
Lembo, Domenico
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Information systems
Data mining
Information storage and retrieval systems
Information Systems Applications (incl. Internet)
Information Systems and Communication Service
Logics and Meanings of Programs
ISBN 9783642396663 (electronic bk.)
3642396666 (electronic bk.)
9783642396656
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960108973503681
[RR (Conference) (7th : 2013 : Mannheim, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Software engineering and formal methods [electronic resource] : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Software engineering and formal methods [electronic resource] : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Creatore [International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)]
Estensione 1 online resource (xiv, 504 p.) : ill. (some col.
Disciplina 005.3
Accesso persona Barthe, Gilles
Pardo, Alberto
Schneider, Gerardo
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Artificial Intelligence (incl. Robotics)
ISBN 9783642246906 (electronic bk.)
3642246907 (electronic bk.)
9783642246890
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960088593503681
[International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Implementation and application of functional languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers / Jurriaan Hage, Marco T. Morazán (eds)
Implementation and application of functional languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers / Jurriaan Hage, Marco T. Morazán (eds)
Creatore [International Symposium on Implementation and Application of Functional Languages (22nd : 2010 : Alphen aan den Rijn, Netherlands)]
Estensione 1 online resource (x, 216 p.) : ill
Disciplina 005.13
Accesso persona Hage, Jurriaan
Morazán, Marco T.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Programming Techniques
ISBN 9783642242762 (electronic bk.)
3642242766 (electronic bk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960088123503681
[International Symposium on Implementation and Application of Functional Languages (22nd : 2010 : Alphen aan den Rijn, Netherlands)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Fundamental approaches to software engineering [electronic resource] : 15th International Conference, FASE 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Juan de Lara, Andrea Zisman (eds.).
Fundamental approaches to software engineering [electronic resource] : 15th International Conference, FASE 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Juan de Lara, Andrea Zisman (eds.).
Creatore [FASE 2012 (2012 : Tallinn, Estonia)]
Estensione 1 online resource (xvi, 518 p.)
Disciplina 005.1
Accesso persona Lara, Juan de (Lara Jaramillo)
Zisman, Andrea
Accesso convegno ETAPS (Conference) (2012 : Tallinn, Estonia)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Information Systems
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
ISBN 9783642288722 (electronic bk.)
3642288723 (electronic bk.)
3642288715
9783642288715
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Distributed Process Discovery and Conformance Checking / Wil M. P. van der Aalst -- Model-Driven Techniques to Enhance Architectural Languages Interoperability / Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio -- Moving from Specifications to Contracts in Component-Based Design / Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen and Axel Legay, et al. -- The SynchAADL2Maude Tool / Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer and Abdullah Al-Nayeem -- Consistency of Service Composition / José Luiz Fiadeiro and Antónia Lopes -- Stable Availability under Denial of Service Attacks through Formal Patterns / Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer and Martin Wirsing -- Loose Programming with PROPHETS / Stefan Naujokat, Anna-Lena Lamprecht and Bernhard Steffen -- Schedule Insensitivity Reduction / Vineet Kahlon -- Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems / Leo Hatvani, Paul Pettersson and Cristina Seceleanu -- Verified Resource Guarantees for Heap Manipulating Programs / Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle and Guillermo Román-Díez -- An Operational Decision Support Framework for Monitoring Business Constraints / Fabrizio Maria Maggi, Marco Montali and Wil M. P. van der Aalst.
Intermodeling, Queries, and Kleisli Categories / Zinovy Diskin, Tom Maibaum and Krzysztof Czarnecki -- Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars / Frank Hermann, Hartmut Ehrig, Claudia Ermel and Fernando Orejas -- Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus / Julian Bradfield and Perdita Stevens -- Graph Transforming Java Data / Maarten de Mol, Arend Rensink and James J. Hunt -- Language Independent Refinement Using Partial Modeling / Rick Salay, Michalis Famelis and Marsha Chechik -- A Conceptual Framework for Adaptation / Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente and Andrea Vandin -- Applying Design by Contract to Feature-Oriented Programming / Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel and Gunter Saake -- Integration Testing of Software Product Lines Using Compositional Symbolic Execution / Jiangfan Shi, Myra B. Cohen and Matthew B. Dwyer -- Combining Related Products into Product Lines / Julia Rubin and Marsha Chechik -- Tracing Your Maintenance Work - A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages / Andreas Mauczka, Markus Huber, Christian Schanes, Wolfgang Schramm and Mario Bernhart, et al. -- Cohesive and Isolated Development with Branches / Earl T. Barr, Christian Bird, Peter C. Rigby, Abram Hindle and Daniel M. German, et al.
Making Software Integration Really Continuous / Mário Luís Guimarães and António Rito Silva -- Extracting Widget Descriptions from GUIs / Giovanni Becce, Leonardo Mariani, Oliviero Riganelli and Mauro Santoro -- Language-Theoretic Abstraction Refinement / Zhenyue Long, Georgel Calin, Rupak Majumdar and Roland Meyer -- Learning from Vacuously Satisfiable Scenario-Based Specifications / Dalal Alrajeh, Jeff Kramer, Alessandra Russo and Sebastian Uchitel -- Explanations for Regular Expressions / Martin Erwig and Rahul Gopinath -- On the Danger of Coverage Directed Test Case Generation / Matt Staats, Gregory Gay, Michael Whalen and Mats Heimdahl -- Reduction of Test Suites Using Mutation / Macario Polo Usaola, Pedro Reales Mateo and Beatriz Pérez Lamancha -- Model-Based Filtering of Combinatorial Test Suites / Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau and Julien Botella -- A New Design Defects Classification: Marrying Detection and Correction / Rim Mahouachi, Marouane Kessentini and Khaled Ghedira -- Fine Slicing / Theory and Applications for Computation Extraction / Aharon Abadi, Ran Ettinger and Yishai A. Feldman -- System Dependence Graphs in Sequential Erlang / Josep Silva, Salvador Tamarit and César Tomás -- A Domain-Specific Language for Scripting Refactorings in Erlang / Huiqing Li and Simon Thompson.
Record Nr. UPENN-9960093323503681
[FASE 2012 (2012 : Tallinn, Estonia)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Formal methods for dynamical systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced lectures / Marco Bernardo...[et al.] (eds.).
Formal methods for dynamical systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced lectures / Marco Bernardo...[et al.] (eds.).
Creatore [International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)]
Estensione 1 online resource.
Disciplina 004.01/51
Accesso persona Bernardo, Marco
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Bioinformatics
Logics and Meanings of Programs
Computational Biology/Bioinformatics
Computation by Abstract Devices
ISBN 9783642388743 (electronic bk.)
3642388744 (electronic bk.)
9783642388736
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960107723503681
[International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Algorithmic learning theory [electronic resource] : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings / Nader H. Bshouty...[et al.] (eds.).
Algorithmic learning theory [electronic resource] : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings / Nader H. Bshouty...[et al.] (eds.).
Creatore [ALT 2012 (2012 : Lyon, France)]
Estensione 1 online resource.
Disciplina 006.3/1
Accesso persona Bshouty, Nader H.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Optical pattern recognition
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
ISBN 9783642341069 (electronic bk.)
3642341063 (electronic bk.)
9783642341052
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Editors' Introduction / Nader H. Bshouty, Gilles Stoltz, Nicolas Vayatis and Thomas Zeugmann -- Declarative Modeling for Machine Learning and Data Mining / Luc De Raedt -- Learnability beyond Uniform Convergence / Shai Shalev-Shwartz -- Some Rates of Convergence for the Selected Lasso Estimator / Pascal Massart and Caroline Meynet -- Recent Developments in Pattern Mining / Toon Calders -- Exploring Sequential Data / Gilbert Ritschard -- Enlarging Learnable Classes / Sanjay Jain, Timo Kötzing and Frank Stephan -- Confident and Consistent Partial Learning of Recursive Functions / Ziyuan Gao and Frank Stephan -- Automatic Learning from Positive Data and Negative Counterexamples / Sanjay Jain and Efim Kinber -- Regular Inference as Vertex Coloring / Christophe Costa Florêncio and Sicco Verwer -- Sauer's Bound for a Notion of Teaching Complexity / Rahim Samei, Pavel Semukhin, Boting Yang and Sandra Zilles -- On the Learnability of Shuffle Ideals / Dana Angluin, James Aspnes and Aryeh Kontorovich -- New Analysis and Algorithm for Learning with Drifting Distributions / Mehryar Mohri and Andres Muñoz Medina -- On the Hardness of Domain Adaptation and the Utility of Unlabeled Target Samples / Shai Ben-David and Ruth Urner -- Efficient Protocols for Distributed Classification and Optimization / Hal Daumé III, Jeff M. Phillips, Avishek Saha and Suresh Venkatasubramanian --
The Safe Bayesian / Learning the Learning Rate via the Mixability Gap / Peter Grünwald -- Data Stability in Clustering: A Closer Look / Lev Reyzin -- Thompson Sampling: An Asymptotically Optimal Finite-Time Analysis / Emilie Kaufmann, Nathaniel Korda and Rémi Munos -- Regret Bounds for Restless Markov Bandits / Ronald Ortner, Daniil Ryabko, Peter Auer and Rémi Munos -- Minimax Number of Strata for Online Stratified Sampling Given Noisy Samples / Alexandra Carpentier and Rémi Munos -- Weighted Last-Step Min-Max Algorithm with Improved Sub-logarithmic Regret / Edward Moroshko and Koby Crammer -- Online Prediction under Submodular Constraints / Daiki Suehiro, Kohei Hatano, Shuji Kijima, Eiji Takimoto and Kiyohito Nagano -- Lower Bounds on Individual Sequence Regret / Eyal Gofer and Yishay Mansour -- A Closer Look at Adaptive Regret / Dmitry Adamskiy, Wouter M. Koolen, Alexey Chernov and Vladimir Vovk -- Partial Monitoring with Side Information / Gábor Bartók and Csaba Szepesvári -- PAC Bounds for Discounted MDPs / Tor Lattimore and Marcus Hutter -- Buy Low, Sell High / Wouter M. Koolen and Vladimir Vovk -- Kernelization of Matrix Updates, When and How? / Manfred K. Warmuth, Wojciech Kotłowski and Shuisheng Zhou -- Predictive Complexity and Generalized Entropy Rate of Stationary Ergodic Processes / Mrinalkanti Ghosh and Satyadev Nandakumar.
Record Nr. UPENN-9960101213503681
[ALT 2012 (2012 : Lyon, France)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Computer safety, reliability, and security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.)
Computer safety, reliability, and security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.)
Creatore [SAFECOMP (Conference) (2012 : Magdeburg, Germany)]
Estensione 1 online resource.
Disciplina 005.8
Accesso persona Ortmeier, Frank
Daniel, Peter, 1950-
Accesso convegno Sassur 2012 (2012 : Magdeburg, Germany)
ASCoMS 2012 (2012 : Magdeburg, Germany)
DESEC4LCCI 2012 (2012 : Magdeburg, Germany)
ERCIM/EWICS 2012 (2012 : Magdeburg, Germany)
International Workshop on Digital Engineering (2012 : Magdeburg, Germany)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data protection
Logic design
Artificial intelligence
Systems and Data Security
Logics and Meanings of Programs
Computers and Society
ISBN 9783642336751 (electronic bk.)
3642336752 (electronic bk.)
9783642336744
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction to Sassur 2012 / Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh and Didier Van Den Abeele -- AdvoCATE: An Assurance Case Automation Toolset / Ewen Denney, Ganesh Pai and Josef Pohl -- Towards a Case-Based Reasoning Approach for Safety Assurance Reuse / Alejandra Ruiz, Ibrahim Habli and Huáscar Espinoza -- Modeling for Safety in a Synthesis-Centric Systems Engineering Framework / Jasen Markovski and J. M. van de Mortel-Fronczak -- A Model Based Approach for Safety Analysis / Fabien Belmonte and Elie Soubiran -- Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards / Jose Luis de la Vara, Sunil Nair, Eric Verhulst, Janusz Studzizba and Piotr Pepek, et al. -- A New Approach to Assessment of Confidence in Assurance Cases / Xingyu Zhao, Dajian Zhang, Minyan Lu and Fuping Zeng -- An Unified Meta-model for Trustworthy Systems Engineering / Eric Verhulst and Bernhard H. C. Sputh -- A Preliminary Fault Injection Framework for Evaluating Multicore Systems / Anna Lanzaro, Antonio Pecchia, Marcello Cinque, Domenico Cotroneo and Ricardo Barbosa, et al. --
Meeting Real-Time Requirements with Multi-core Processors / Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann and Gernot Gebhard, et al. -- Assessing Software Interference Management When Modifying Safety-Related Software / Patrick J. Graydon and Tim P. Kelly -- Introduction to ASCoMS 2012 / António Casimiro and Jörg Kaiser -- Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults / Luís Marques and António Casimiro -- An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems / Sebastian Zug, Tino Brade, Jörg Kaiser and Sasanka Potluri -- Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles / Kenneth Östberg and Rolf Johansson -- From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering / Christian Berger -- Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems / Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin and Daniel Karlsson -- Introduction to DESEC4LCCI 2012 / Christian Esposito, Marco Platania and Francesco Brancati --
Quantitative Security Evaluation of a Multi-biometric Authentication System / Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli and Ernesto La Mattina -- Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology / Luigi Romano, Salvatore D'Antonio, Valerio Formicola and Luigi Coppolino -- On Securing Communications among Federated Health Information Systems / Mario Ciampi, Giuseppe De Pietro, Christian Esposito, Mario Sicuranza and Paolo Mori, et al. -- How Secure Is ERTMS? / Richard Bloomfield, Robin Bloomfield, Ilir Gashi and Robert Stroud -- International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead / Craig Gibson, Matteo Melideo, Luigi Romano and Salvatore D'Antonio -- A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace / Magali Andreia Rossi, Jorge Rady de Almeida Junior, Andrea Bondavalli and Paolo Lollini -- HSIENA: A Hybrid Publish/Subscribe System / Fabio Petroni and Leonardo Querzoni --
WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms / Roeland Dillen, Jonas Buys, Vincenzo De Florio and Chris Blondia -- Formal Verification of a Safety Argumentation and Application to a Complex UAV System / Julien Brunel and Jacques Cazin -- Electronic Reliability Estimation: How Reliable Are the Results? / Nuno Silva and Rui Lopes -- Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics / Silvano Chiaradonna, Felicita Di Giandomenico and Nicola Nostro -- Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012 / Erwin Schoitsch and Amund Skavhaug -- The Cyber-Physical Attacker / Roberto Vigo -- Dependable and Secure Embedded Node Demonstrator / Przemysław Osocha, João Carlos Cunha and Fabio Giovagnini -- Towards Secure Time-Triggered Systems / Florian Skopik, Albert Treytl, Arjan Geven, Bernd Hirschler and Thomas Bleier, et al. -- Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems / Alexander Hanzlik and Erwin Kristen -- Compiling for Time Predictability / Peter Puschner, Raimund Kirner, Benedikt Huber and Daniel Prokesch --
Towards the Automated Qualification of Tool Chain Design / Fredrik Asplund, Matthias Biehl and Frédéric Loiret -- A Systematic Elaboration of Safety Requirements in the Avionic Domain / Antoaneta Kondeva, Martin Wassmuth and Andreas Mitschke -- Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems / Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis and Alberto Ferrari -- Supporting Assurance by Evidence-Based Argument Services / Janusz Górski, Aleksander Jarzębowicz, Jakub Miler, Michał Witkowicz and Jakub Czyżnikiewicz, et al. -- Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform / Erwin Schoitsch, Wolfgang Herzner, Carmen Alonso-Montes, P. Chmelar and Lars Dalgaard -- Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment / Marte E. B. Skjønsfjell, Aslak R. Normann, Dag Sjong and Amund Skavhaug --
Introduction to IWDE 2012 / Veit Köppen and Gunter Saake -- Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems / Max Steiner, Patric Keller and Peter Liggesmeyer -- Towards Artificial Perception / André Dietrich, Sebastian Zug and Jörg Kaiser -- A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes / Michael Soffner, Mykhaylo Nykolaychuk, Friederike Adler and Klaus Richter -- Visual Approach Facilitating the Importance Analysis of Component Fault Trees / Yi Yang, Patric Keller and Peter Liggesmeyer -- Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation / Sven Kuhlmann, Jana Fruth, Tobias Hoppe and Jana Dittmann -- From Discrete Event Simulation to Virtual Reality Environments / Sebastian Nielebock, Frank Ortmeier, Marco Schumann and André Winge -- Program Comprehension in Preprocessor-Based Software / Janet Siegmund, Norbert Siegmund, Jana Fruth, Sven Kuhlmann and Jana Dittmann, et al.
Record Nr. UPENN-9960100243503681
[SAFECOMP (Conference) (2012 : Magdeburg, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Logics in artificial intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.).
Logics in artificial intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.).
Creatore [JELIA 2012 (2012 : Toulouse, France)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Fariñas del Cerro, Luis
Herzig, Andreas
Mengin, Jérôme
Genere/Forma Electronic books
Soggetto non controllato Computer science
Logic design
Information storage and retrieval systems
Artificial intelligence
Computer vision
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Techniques
ISBN 9783642333538 (electronic bk.)
3642333532 (electronic bk.)
9783642333521
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models / Régis Alenda and Nicola Olivetti -- Nested Sequent Calculi for Conditional Logics / Régis Alenda, Nicola Olivetti and Gian Luca Pozzato -- Conflict-Tolerant Semantics for Argumentation Frameworks / Ofer Arieli -- Knowledge Means 'All', Belief Means 'Most' / Dimitris Askounis, Costas D. Koutras and Yorgos Zikos -- Generalized DEL-Sequents / Guillaume Aucher, Bastien Maubert and François Schwarzentruber -- Deciding the Bisimilarity Relation between Datalog Goals / Philippe Balbiani and Antoun Yaacoub -- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results / Harald Beck, Thomas Eiter and Thomas Krennwallner -- Conditional Epistemic Planning / Mikkel Birkegaard Andersen, Thomas Bolander and Martin Holm Jensen -- PTL: A Propositional Typicality Logic / Richard Booth, Thomas Meyer and Ivan Varzinczak -- The Complexity of One-Agent Refinement Modal Logic / Laura Bozzelli, Hans van Ditmarsch and Sophie Pinchinat -- The View-Update Problem for Indefinite Databases / Luciano Caroprese, Irina Trubitsyna, Mirosław Truszczyński and Ester Zumpano --
Three-Valued Logics for Incomplete Information and Epistemic Logic / Davide Ciucci and Didier Dubois -- Exploiting Unfounded Sets for HEX-Program Evaluation / Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl and Peter Schüller -- Using Satisfiability for Non-optimal Temporal Planning / Masood Feyzbakhsh Rankooh, Ali Mahjoob and Gholamreza Ghassem-Sani -- How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic / Marc Finthammer and Christoph Beierle -- Exact Query Reformulation with First-Order Ontologies and Databases / Enrico Franconi, Volha Kerhet and Nhung Ngo -- A Selective Semantics for Logic Programs with Preferences / Alfredo Gabaldon -- A Minimal Model Semantics for Nonmonotonic Reasoning / Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato -- Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights / Lluís Godo, Enrico Marchioni and Pere Pardo -- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility / Joanna Golińska-Pilarek --
Fault Tolerance in Belief Formation Networks / Sarah Holbrook and Pavel Naumov -- Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference / Naoya Inoue and Kentaro Inui -- Belief Base Change Operations for Answer Set Programming / Patrick Krümpelmann and Gabriele Kern-Isberner -- A Framework for Semantic-Based Similarity Measures for ELH-Concepts / Karsten Lehmann and Anni-Yasmin Turhan -- Sequent Systems for Lewis' Conditional Logics / Björn Lellmann and Dirk Pattinson -- Relevant Minimal Change in Belief Update / Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin and Dongmo Zhang -- Minimal Proof Search for Modal Logic K Model Checking / Abdallah Saffidine -- Building an Epistemic Logic for Argumentation / François Schwarzentruber, Srdjan Vesic and Tjitze Rienstra -- A Unifying Perspective on Knowledge Updates / Martin Slota and João Leite -- Verifying Brahms Human-Robot Teamwork Models / Richard Stocker, Louise Dennis, Clare Dixon and Michael Fisher -- On Satisfiability in ATL with Strategy Contexts / Nicolas Troquard and Dirk Walther --
Jumping to Conclusions / A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments / Bart Verheij -- Beyond Maxi-Consistent Argumentation Operators / Srdjan Vesic and Leendert van der Torre -- Reasoning about Agent Programs Using ATL-Like Logics / Nitin Yadav and Sebastian Sardina -- Qualitative Approximate Behavior Composition / Nitin Yadav and Sebastian Sardina -- A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information / Anna Zamansky -- DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas / Julien Balax, Florence Dupin de Saint-Cyr and David Villard -- OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver / Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger and Antonius Weinzierl -- The Multi-Engine ASP Solver me-asp / Marco Maratea, Luca Pulina and Francesco Ricca -- A System for the Use of Answer Set Programming in Reinforcement Learning / Matthias Nickles -- The Tableau Prover Generator MetTeL2 / Dmitry Tishkovsky, Renate A. Schmidt and Mohammad Khodadadi.
Record Nr. UPENN-9960099763503681
[JELIA 2012 (2012 : Toulouse, France)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Stabilization, safety, and security of distributed systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings / Andréa W. Richa, Christian Scheideler (eds.).
Stabilization, safety, and security of distributed systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings / Andréa W. Richa, Christian Scheideler (eds.).
Creatore [SSS 2012 (2012 : Toronto, Ont.)]
Estensione 1 online resource.
Disciplina 004.2
Accesso persona Richa, Andréa W.
Scheideler, Christian
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data protection
Computer software
Logic design
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Systems and Data Security
ISBN 9783642335365 (electronic bk.)
3642335365 (electronic bk.)
9783642335358
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Communication-Efficient Self-stabilization in Wireless Networks / Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa -- Self-stabilizing Local k-Placement of Replicas with Minimal Variance / Sven Köhler, Volker Turau and Gerhard Mentges -- Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles / Brahim Neggazi, Mohammed Haddad and Hamamache Kheddouci -- Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults / Mahyar R. Malekpour -- Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network / Ajoy K. Datta, Stéphane Devismes and Lawrence L. Larmore -- On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings / Fukuhito Ooshita and Sébastien Tixeuil -- Optimal Grid Exploration by Asynchronous Oblivious Robots / Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond and Sébastien Tixeuil -- Terminating Population Protocols via Some Minimal Global Knowledge Assumptions / Othon Michail, Ioannis Chatzigiannakis and Paul G. Spirakis --
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer / Matthias Függer, Alexander Kö€ler, Thomas Nowak and Martin Zeiner -- Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings / Tomoko Izumi, Yukiko Yamauchi and Sayaka Kamei -- High-Level Executable Specifications of Distributed Algorithms / Yanhong A. Liu, Scott D. Stoller and Bo Lin -- Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud / Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang and Makan Pourzandi -- Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback / Jordan Adamek, Mikhail Nesterenko and Sébastien Tixeuil -- Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks (Extended Abstract) / Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller and Shantanu Sharma -- Self-stabilizing Distributed Data Fusion / Bertrand Ducourthial, Véronique Cherfaoui and Thierry Denoeux --
From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering / Colette Johnen and Fouzi Mekhaldi -- Brief Announcement: Verification of Stabilizing Programs with SMT Solvers / Jingshu Chen and Sandeep Kulkarni -- Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems / Can Arda Muftuoglu, Péter Bokor and Neeraj Suri -- Oblivious Assignment with m Slots / Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi and Giuseppe Antonio Di Luna -- BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters / Mohammad Alaggan, Sébastien Gambs and Anne-Marie Kermarrec -- DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments / Johannes Behl, Tobias Distler and Rüdiger Kapitza -- Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems / António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller and Philippas Tsigas, et al. -- Brief Announcement: Arbitrators in the Security Infrastructure / Shlomi Dolev, Niv Gilboa and Ofer Hermoni --
Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems / Eddy Caron, Florent Chuffart, Anissa Lamani and Franck Petit -- Scalable Byzantine Agreement with a Random Beacon / Olumuyiwa Oluwasanmi and Jared Saia -- On Finding Better Friends in Social Networks / Philipp Brandes and Roger Wattenhofer -- Brief Announcement: Detecting Users' Connectivity on Online Social Networks / Na Li, Sajal K. Das and Nan Zhang -- Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols / François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru and Sébastien Tixeuil -- All-to-All Gradecast Using Coding with Byzantine Failures / John F. Bridgman III and Vijay K. Garg -- Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents / Paola Flocchini, Matthew Kellett, Peter C. Mason and Nicola Santoro -- A Theory of Fault Recovery for Component-Based Models / Borzoo Bonakdarpour, Marius Bozga and Gregor Gössler.
Record Nr. UPENN-9960100953503681
[SSS 2012 (2012 : Toronto, Ont.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Integrated formal methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.).
Integrated formal methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.).
Creatore [International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)]
Estensione 1 online resource.
Disciplina 004.01/51
Accesso persona Johnsen, Einar Broch
Petre, Luigia, 1974-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642386138 (electronic bk.)
364238613X (electronic bk.)
3642386121 (Print)
9783642386121 (Print)
9783642386121
Classificazione 54.50
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper 1: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs / Jean-Raymond Abrial -- Refinement, Integration, Translation. Systems Design Guided by Progress Concerns / Simon Hudon, Thai Son Hoang -- Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement / Christian Prehofer -- Translating VDM to Alloy / Kenneth Lausdahl -- Verification of EB3 Specifications Using CADP / Dimitris Vekris ... [et al.] --
Invited Paper 2: Knowledge for the Distributed Implementation of Constrained Systems / Susanne Graf, Sophie Quinton -- Verification. Automated Anonymity Verification of the ThreeBallot Voting System / Murat Moran, James Heather, Steve Schneider -- Compositional Verification of Software Product Lines / Jean-Vivien Millo ... [et al.] -- Deductive Verification of State-Space Algorithms / Frédéric Gava, Jean Fortin, Michael Guedj -- Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus / Daisuke Ishii, Guillaume Melquiond, Shin Nakajima --
Invited Paper 3: Priced Timed Automata and Statistical Model Checking / Kim Guldstrand Larsen -- Reachability and Model Checking. Improved Reachability Analysis in DTMC via Divide and Conquer / Songzheng Song ... [et al.] -- Solving Games Using Incremental Induction / Andreas Morgenstern, Manuel Gesell, Klaus Schneider -- Model-Checking Software Library API Usage Rules / Fu Song, Tayssir Touili -- Formal Modelling and Verification of Population Protocols / Dominique Méry, Michael Poppleton -- Usability and Testing. Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing / Aymerick Savary, Marc Frappier, Jean-Louis Lanet -- Integrating Formal Predictions of Interactive System Behaviour with User Evaluation / Rimvydas Rukšėnas, Paul Curzon, Michael D. Harrison -- Automatic Inference of Erlang Module Behaviour / Ramsay Taylor, Kirill Bogdanov, John Derrick -- Distributed Systems. Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms / Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh -- Quantified Abstractions of Distributed Systems / Elvira Albert ... [et al.] --
Invited Paper 4 An Algebraic Theory for Web Service Contracts / Cosimo Laneve, Luca Padovani -- Semantics. A Compositional Automata-Based Semantics for Property Patterns / Kalou Cabrera Castillos ... [et al.] -- A Formal Semantics for Complete UML State Machines with Communications / Shuang Liu ... [et al.] -- From Small-Step Semantics to Big-Step Semantics, Automatically / Ştefan Ciobâcă -- Program Equivalence by Circular Reasoning / Dorel Lucanu, Vlad Rusu -- System-Level Analysis. Structural Transformations for Data-Enriched Real-Time Systems / Ernst-Rüdiger Olderog, Mani Swaminathan -- Deadlock Analysis of Concurrent Objects: Theory and Practice / Elena Giachino ... [et al.] -- Broadcast, Denial-of-Service, and Secure Communication / Roberto Vigo, Flemming Nielson, Hanne Riis Nielson -- Characterizing Fault-Tolerant Systems by Means of Simulation Relations / Ramiro Demasi ... [et al.]
Record Nr. UPENN-9960106713503681
[International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania