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.
Conceptual modelling and its theoretical foundations [electronic resource] : essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday / Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe (eds.).
Conceptual modelling and its theoretical foundations [electronic resource] : essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday / Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe (eds.).
Estensione 1 online resource (viii, 328 p.) : ill
Disciplina 003/.3
Accesso persona Düsterhöft, Antje
Klettke, Meike
Schewe, Klaus-Dieter
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Models and Principles
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters
ISBN 9783642282799 (electronic bk.)
3642282792 (electronic bk.)
9783642282782
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Dedication to a Theory of Modelling -- Bernhard Thalheim's Scientific Journey -- What about Constraints in RDF? -- Some Remarks on Relational Database Schemes Having Few Minimal Keys -- Random Databases with Correlated Data -- Statistical Inference for Rényi Entropy Functionals -- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method -- BCNF via Attribute Splitting -- Foundations for a Fourth Normal Form over SQL-Like Databases -- Independent Update Reflections on Interdependent Database Views -- SOF: A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy -- Abstract State Machines for Data-Parallel Computing -- OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling -- Cloaking Data to Ease View Creation, Query Expression, and Query Execution -- On Models of Concepts and Data -- Model Transformation By-Example: A Survey of the First Wave -- On Computing the Importance of Associations in Large Conceptual Schemas -- Conceptual Modeling of Human Genome: Integration Challenges -- Transforming Geometrically Enhanced Conceptual Model Schemas to GML -- Extensional Logic of Hyperintensions -- Culture Sensitive Aspects in Software Engineering -- Cross-Cultural Multimedia Computing with Impression-Based Semantic Spaces.
Record Nr. UPENN-9960092203503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Service-oriented computing--ICSOC 2012 Workshops [electronic resource] : ICSOC 2012 International Workshops : ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and satellite events, Shanghai, China, November 12-15, 2012 : revised selected papers / Aditya Ghose ... [et al.] (eds.).
Service-oriented computing--ICSOC 2012 Workshops [electronic resource] : ICSOC 2012 International Workshops : ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and satellite events, Shanghai, China, November 12-15, 2012 : revised selected papers / Aditya Ghose ... [et al.] (eds.).
Creatore [ICSOC (Conference) (2012 : Shanghai, China)]
Estensione 1 online resource (xv, 466 p.) : ill
Disciplina 004/.36
Accesso persona Ghose, Aditya K.
Accesso convegno ASC 2012 (2012 : Shanghai, China)
DISA 2012 (2012 : Shanghai, China)
PAASC 2012 (2012 : Shanghai, China)
SCEB 2012 (2012 : Shanghai, China)
SeMaps 2012 (2012 : Shanghai, China)
WESOA 2012 (2012 : Shanghai, China)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Computer vision
Information systems
Information Systems Applications (incl. Internet)
Business Information Systems
Computer Appl. in Administrative Data Processing
Management of Computing and Information Systems
ISBN 9783642378041 (electronic bk.)
3642378048 (electronic bk.)
9783642378034
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Workshop Track. ASC 2012. The 1st International Workshop on Analytics Services on the Cloud (ASC 2012) / Yu Deng, Liangzhao Zeng -- A Performance Evaluation of Public Cloud Using TPC-C / Jinhui Yao ... [et al.] -- An Efficient Data Maintenance Strategy for Data Service Mashup Based on Materialized View Selection / Peng Zhang, Yanbo Han, Guiling Wang -- Homomorphic-Encryption-Based Separation Approach for Outsourced Data Management / Yang Zhang, Jun-Liang Chen -- Protecting Software as a Service in the Clouds by Validation / Tien-Dung Cao, Kevin Chiew -- Identifying Fake Feedback for Effective Trust Management in Cloud Environments / Talal H. Noor ... [et al.] -- Sonata: A Workflow Model for Interactive Mobile Cloud Applications / Verdi March, Yan Gu, Bu Sung Lee -- Kachako: A Hybrid-Cloud Unstructured Information Platform for Full Automation of Service Composition, Scalable Deployment and Evaluation / Yoshinobu Kano --
DISA 2012. 2012 International Workshop on Data Intensive Services Based Application (DISA2012) / Ying Li, Shuiguang Deng, Guoray Cai, Yuyu Yin -- An End-User Oriented Approach for Business Process Personalization from Multiple Sources / Sida Xue, Budan Wu, Junliang Chen -- A Combination Approach to QoS Prediction of Web Services / Dongjin Yu, Mengmeng Wu, Yuyu Yin -- Effective and Efficient Web Reviews Extraction Based on Hadoop / Jian Wan, Jiawei Yan, Congfeng Jiang, Li Zhou, Zujie Ren, Yongjian Ren -- Intelligent Information Management of Tourist Attractions Based on Semantic Sensor Web / Xiaoming Zhang, Wanzhen Zhou, Yongqiang Zhang -- An Optimal Approach to the QoS-Based WSMO Web Service Composition Using Genetic Algorithm / Zhou Xiangbing, Ma Hongjiang, Miao Fang --
PAASC 2012. Introduction to the Second International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2012) / Claudia-Melania Chituc -- Towards the Definition of a Framework Supporting High Level Reliability of Services / Firmino Silva, Claudia-Melania Chituc -- A Service-Oriented Approach to Assess the Value of Digital Preservation / Claudia-Melania Chituc, Petra Ristau -- Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures / Christian Inzinger ... [et al.] -- Introducing the Vienna Platform for Elastic Processes / Stefan Schulte ... [et al.] --
SCEB 2012. TrustVis: A Trust Visualisation Service for Online Communities / Sanat Kumar Bista ... [et al.] -- Crowd-Sourcing Service Designs: Overview and Research Challenges / Nidhi Rajshree, Bikram Sengupta, Nirmit Desai -- Towards an Architectural Framework for Service-Oriented Enterprises / Nanjangud C. Narendra, Lam-Son Lê, Aditya Ghose, Gandhi Sivakumar -- Monitoring Business Process Interaction / Nico Herzberg, Matthias Kunze, Mathias Weske -- Interactive Product Browsing and Configuration using Remote Augmented Reality Sales Services / Ross Brown, Hye-Young Paik, Alistair Barros --
SeMaps. The 1st International Workshop on Self-Managing Pervasive Service Systems (SeMaPS 2012) / Weishan Zhang, Klaus Marius Hansen, Paolo Bellavista -- A Reformative System Architecture of Cloud Service Based on IEEE 1851 / Mingxing Jiang, Zhongwen Guo, Chao Liu -- Towards RESTful Communications in Self-managing Pervasive Systems / Meherun Nesa Lucky, Christina Tziviskou, Flavio De Paoli -- A Research Roadmap for Context-Awareness-Based Self-managed Systems / Weishan Zhang, Klaus Marius Hansen, Paolo Bellavista -- A 3D Model Based Action Recorder Using Computer Vision / Yong Li ... [et al.] -- Protecting Sensitive Attributes in Attribute Based Access Control / Guoping Zhang, Jing Liu, Jianbo Liu -- A Hybrid Indoor Positioning Approach for Supermarkets / Weishan Zhang ... [et al.] --
WESOA 2012. Introduction to the 8th International Workshop on Engineering Service-Oriented Applications (WESOA'12) / George Feuerlicht ... [et al.] -- Towards Automated and Correct Composition of Timed Services / Daniel Stöhr, Sabine Glesner -- Resolving Violations in Inter-process Relationships in Business Process Ecosystems / Tri Astoto Kurniawan, Aditya K. Ghose, Lam-Son Lê -- An Aspect-Oriented Approach to Enforce Security Properties in Business Processes / Inaya Yahya, ... [et al.] -- Evaluation of Quality of Design for Document-Centric Software Services / George Feuerlicht -- Resource Management for Pervasive Systems / Jacky Estublier, German Vega, Elmehdi Damou -- Service Oriented Requirements Engineering: Practitioner's Perspective / Muneera Bano Sahibzada, Didar Zowghi --
Phd Symposium Track. Phd Symposium Track: Message from Chairs / Olivier Perrin, Jianmin Wang, Yan Wang -- Data Consistency Enforcement on Business Process Transactions / Xi Liu -- An Auction-Based Approach for Composite Web Service Selection / Mahboobeh Moghaddam -- Data-Centric Probabilistic Process: A PhD. Symposium Paper for ICSOC / Haizhou Li -- Detection of SOA Antipatterns / Francis Palma -- Requirements-Driven Software Service Evolution / Feng-Lin Li -- Detecting Runtime Business Process Compliance with Artifact Lifecycles / Qi He --
Demo Track. Introduction to the Demo Track / Alex Delis, Quan Z. Sheng -- A Dynamic SCA-Based System for Smart Homes and Offices / Thomas Calmant ... [et al.] -- Realizing Elastic Processes with ViePEP / Stefan Schulte ... [et al.] -- A Social Network Based Collaborative Video Story Composition Platform / Chen Wang ... [et al.] -- BPMashup: Dynamic Execution of RESTful Processes / Xiwei Xu ... [et al.] -- Soda: A Tool Support for the Detection of SOA Antipatterns / Mathieu Nayrolles ... [et al.] -- Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities / Heiko Witteborg ... [et al.] -- Supporting Business and IT through Updatable Process Views: The proView Demonstrator / Jens Kolb, Manfred Reichert.
Record Nr. UPENN-9960105973503681
[ICSOC (Conference) (2012 : Shanghai, China)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Algebraic foundations in computer science [electronic resource] : essays dedicated to Symeon Bozapalidis on the occasion of his retirement / edited by Werner Kuich, George Rahonis
Algebraic foundations in computer science [electronic resource] : essays dedicated to Symeon Bozapalidis on the occasion of his retirement / edited by Werner Kuich, George Rahonis
Estensione 1 online resource (x, 362 p.) : ill., col. ports
Disciplina 004.01/51
Accesso persona Kuich, Werner, 1941-
Rachōnēs, Geōrgios, 1965-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Symbolic and Algebraic Manipulation
ISBN 9783642248979 (electronic bk.)
3642248977 (electronic bk.)
9783642248962
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960089393503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Distributed computing and networking [electronic resource] : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings / Davide Frey [and others] (eds.).
Distributed computing and networking [electronic resource] : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings / Davide Frey [and others] (eds.).
Creatore [ICDCN (Conference) (14th : 2013 : Mumbai, India)]
Estensione 1 online resource.
Disciplina 004/.36
Accesso persona Frey, Davide
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data protection
Computer software
Programming Techniques
Systems and Data Security
Information Systems Applications (incl. Internet)
ISBN 9783642356681 (electronic bk.)
3642356680 (electronic bk.)
3642356672 (print)
9783642356674 (print)
9783642356674
Classificazione 54.32
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Verifying High-Confidence Interactive Systems: Electronic Voting and Beyond / Sanjit A. Seshia -- Fast Distributed PageRank Computation / Atish Das Sarma, Anisur Rahaman Molla -- Dealing with Undependable Workers in Decentralized Network Supercomputing / Seda Davtyan, Kishori Konwar, Alexander Russell -- Decentralized Erasure Coding for Efficient Data Archival in Distributed Storage Systems / Lluis Pamies-Juarez, Frederique Oggier -- Transport Protocol with Acknowledgement-Assisted Storage Management for Intermittently Connected Wireless Sensor Networks / Ying Li, Radim Bartos, James Swan -- Iterative Approximate Byzantine Consensus under a Generalized Fault Model / Lewis Tseng, Nitin Vaidya -- A Scalable Byzantine Grid / Alexandre Maurer, Sébastien Tixeuil -- Collaborative Detection of Coordinated Port Scans / Roberto Baldoni, Giuseppe Antonio Di Luna.
Exploiting Partial-Packet Information for Reactive Jamming Detection: Studies in UWSN Environment / Manas Khatua, Sudip Misra -- Fault-Tolerant Design of Wireless Sensor Networks with Directional Antennas / Shahrzad Shirazipourazad, Arunabha Sen -- Self-stabilizing Silent Disjunction in an Anonymous Network / Ajoy K. Datta, Stéphane Devismes -- Uniform Consensus with Homonyms and Omission Failures / Carole Delporte-Gallet, Hugues Fauconnier -- Democratic Elections in Faulty Distributed Systems / Himanshu Chauhan, Vijay K. Garg -- Robust Deployment of Wireless Sensor Networks Using Gene Regulatory Networks / Azade Nazi, Mayank Raj, Mario Di Francesco -- Cellular Pulse Switching: An Architecture for Event Sensing and Localization in Sensor Networks / Qiong Huo, Bo Dong, Subir Biswas -- Asynchrony from Synchrony / Yehuda Afek, Eli Gafni.
Maximal Antichain Lattice Algorithms for Distributed Computations / Vijay K. Garg -- On the Analysis of a Label Propagation Algorithm for Community Detection / Kishore Kothapalli, Sriram V. Pemmaraju -- How to Survive and Thrive in a Private BitTorrent Community / Adele Lu Jia, Xiaowei Chen, Xiaowen Chu -- Optimal Migration Contracts in Virtual Networks: Pay-as-You-Come vs Pay-as-You-Go Pricing / Xinhui Hu, Stefan Schmid, Andrea Richa Parallel Scalar Multiplication on Elliptic Curves in Wireless Sensor Networks / Yanbo Shou, Herve Guyennet, Mohamed Lehsaini -- PeerVault: A Distributed Peer-to-Peer Platform for Reliable Data Backup / Adnan Khan, Mehrab Shahriar, Sk Kajal Arefin Imon -- Distributed Verification Using Mobile Agents / Shantanu Das, Shay Kutten, Zvi Lotker -- Sublinear Bounds for Randomized Leader Election / Shay Kutten, Gopal Pandurangan, David Peleg.
Linear Space Bootstrap Communication Schemes / Carole Delporte-Gallet, Hugues Fauconnier -- An Analysis Framework for Distributed Hierarchical Directories / Gokarna Sharma, Costas Busch -- SMT-Based Model Checking for Stabilizing Programs, / Jingshu Chen, Sandeep Kulkarni -- Deployment and Evaluation of a Decentralised Runtime for Concurrent Rule-Based Programming Models / Marko Obrovac, Cédric Tedeschi -- Weak Read/Write Registers / Gadi Taubenfeld -- Fast Leader (Full) Recovery Despite Dynamic Faults / Ajoy K. Datta, Stéphane Devismes -- Addressing the ZooKeeper Synchronization Inefficiency / Babak Kalantari, André Schiper -- Compact TCAM: Flow Entry Compaction in TCAM for Power Aware SDN / Kalapriya Kannan, Subhasis Banerjee -- A Media Access and Feedback Protocol for Reliable Multicast over Wireless Channel / Ashutosh Bhatia, R.C. Hansdah.
POSTER: Distributed Lagrangean Clustering Protocol / Ravi Tandon, Biswanath Dey, Sukumar Nandi -- Get Access -- POSTER: Broadcasting in Delay Tolerant Networks Using Periodic Contacts / Prosenjit Dhole, Arobinda Gupta, Arindam Sharma -- Get Access -- POSTER: Cryptanalysis and Security Enhancement of Anil K Sarje's Authentication Scheme Using Smart Cards / Chandra Sekhar Vorugunti, Mrudula Sarvabhatla -- Get Access -- POSTER: A New Approach to Impairment-Aware Static RWA in Optical WDM Networks / Sebastian Zawada, Shrestharth Ghosh, Fangyun Luo -- Get Access -- POSTER: Using Directional Antennas for Epidemic Routing in DTNs in Practice / Rajib Ranjan Maiti, Niloy Ganguly, Arobinda Gupta -- POSTER: A Secure and Efficient Cross Authentication Protocol in VANET Hierarchical Model / Chandra Sekhar Vorugunti, Mrudula Sarvabhatla -- Get Access -- POSTER: Approximation Algorithm for Minimizing the Size of Coverage Hole in Wireless Sensor Networks / Barun Gorain, Partha Sarathi Mandal, Sandip Das.
Record Nr. UPENN-9960103223503681
[ICDCN (Conference) (14th : 2013 : Mumbai, India)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Web information systems and mining [electronic resource] : international conference, WISM 2011, Taiyuan, China, September 24-25, 2011, proceedings. Part I / Zhiguo Gong ... [et al.] (eds.).
Web information systems and mining [electronic resource] : international conference, WISM 2011, Taiyuan, China, September 24-25, 2011, proceedings. Part I / Zhiguo Gong ... [et al.] (eds.).
Creatore [WISM (Conference) (2011 : Taiyuan Shi, China)]
Estensione 1 online resource (xxi, 450 p.)
Disciplina 025.04/27
Accesso persona Gong, Zhiguo
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Database management
Data mining
Information storage and retrieval systems
Information Storage and Retrieval
Data Mining and Knowledge Discovery
Multimedia Information Systems
ISBN 9783642239717 (electronic bk.)
3642239714 (electronic bk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960089203503681
[WISM (Conference) (2011 : Taiyuan Shi, China)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Construction and evolution of code generators [electronic resource] : a model-driven and service-oriented approach / Sven Jörges
Construction and evolution of code generators [electronic resource] : a model-driven and service-oriented approach / Sven Jörges
Creatore [Jörges, Sven]
Estensione 1 online resource.
Disciplina 005.4/5
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Information systems
Programming Languages, Compilers, Interpreters
Computer Appl. in Administrative Data Processing
ISBN 9783642361272 (electronic bk.)
3642361277 (electronic bk.)
3642361269 (print)
9783642361265 (print)
9783642361265
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Motivation and Fundamentals -- Introduction -- The State of the Art in Code Generation -- Extreme Model-Driven Development and jABC -- The Genesys Framework and Case Studies -- The Genesys Framework -- Case Studies: Code Generators for jABC -- Verification & Validation of Code Generators -- Case Study: Domain-Specific Code Generators for EMF -- Case Study: Service-Oriented Combination of Code Generation Frameworks -- Conclusions and Future Work -- Conclusions -- Future Work.
Record Nr. UPENN-9960103853503681
[Jörges, Sven]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Datalog reloaded [electronic resource] : first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised selected papers / Oege de Moor...[et al.] (eds.).
Datalog reloaded [electronic resource] : first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised selected papers / Oege de Moor...[et al.] (eds.).
Creatore [Datalog 2010 (2010 : Oxford, England)]
Estensione 1 online resource (viii, 398 p.)
Disciplina 005.74015113
Accesso persona Moor, Oege de.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
ISBN 9783642242069 (electronic bk.)
3642242065 (electronic bk.)
9783642242052
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960091853503681
[Datalog 2010 (2010 : Oxford, England)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Data engineering and management [electronic resource] : second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised selected papers / Rajkumar Kannan, Frederic Andres (eds.).
Data engineering and management [electronic resource] : second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised selected papers / Rajkumar Kannan, Frederic Andres (eds.).
Creatore [ICDEM 2010 (2010 : Tiruchchirāppalli, India)]
Estensione 1 online resource (xi, 342 p.)
Disciplina 006.3/12
Accesso persona Kannan, Rajkumar
Andres, Frederic, 1962-
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
Mathematical Logic and Formal Languages
ISBN 9783642278723 (electronic bk.)
3642278728 (electronic bk.)
9783642278716
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960092763503681
[ICDEM 2010 (2010 : Tiruchchirāppalli, India)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Transactions on pattern languages of programming III [electronic resource] / James Noble...[et al.] (eds.).
Transactions on pattern languages of programming III [electronic resource] / James Noble...[et al.] (eds.).
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Noble, James, 1967-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Information Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Management of Computing and Information Systems
ISBN 9783642386763 (electronic bk.)
3642386768 (electronic bk.)
9783642386756
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Transform! Patterns for Data Migration / Andreas Rüping -- A Pattern Language for Teaching Design Patterns / Christian Köppe -- Pattern Language for the Internal Structure of Metadata-Based Frameworks / Eduardo Guerra, Jerffeson de Souza -- User Interface Patterns for Multimodal Interaction / Andreas Ratzka -- Using Pattern-Based Architecture Reviews to Detect Quality Attribute Issues - An Exploratory Study / Neil B. Harrison, Paris Avgeriou.
Record Nr. UPENN-9960107153503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Graph transformations [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings / Hartmut Ehrig...[et al.] (eds.).
Graph transformations [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings / Hartmut Ehrig...[et al.] (eds.).
Creatore [ICGT (Conference) (6th : 2012 : Bremen, Germany)]
Estensione 1 online resource.
Disciplina 511/.5
Accesso persona Ehrig, Hartmut
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Data structures (Computer science)
Computer software
Logic design
Computational complexity
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
ISBN 9783642336546 (electronic bk.)
364233654X (electronic bk.)
9783642336539
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Graph-Based Design Framework for Services / Antónia Lopes and José Luiz Fiadeiro -- Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems / Davide Di Ruscio, Ludovico Iovino and Alfonso Pierantonio -- Completeness-Driven Development / Rolf Drechsler, Melanie Diepenbeck, Daniel Gro€e, Ulrich Kühne and Hoang M. Le, et al. -- Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models / Fabio Gadducci, Alberto Lluch Lafuente and Andrea Vandin -- Pattern-Based Graph Abstraction / Arend Rensink and Eduardo Zambon -- Well-Structured Graph Transformation Systems with Negative Application Conditions / Barbara König and Jan Stückrath -- Parallelism and Concurrency of Stochastic Graph Transformations / Reiko Heckel, Hartmut Ehrig, Ulrike Golas and Frank Hermann -- Refined Graph Rewriting in Span-Categories / A Framework for Algebraic Graph Transformation / Michael Löwe -- Borrowed Contexts for Attributed Graphs / Fernando Orejas, Artur Boronat and Nikos Mylonakis --
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars: Flexible Relations between Source and Target Elements / Ulrike Golas, Leen Lambers, Hartmut Ehrig and Holger Giese -- Graph Transformation with Focus on Incident Edges / Dominique Duval, Rachid Echahed and Frédéric Prost -- Rational Term Rewriting Revisited: Decidability and Confluence / Takahito Aoto and Jeroen Ketema -- A General Attribution Concept for Models in M-Adhesive Transformation Systems / Ulrike Golas -- DPO Transformation with Open Maps / Reiko Heckel -- M, N-Adhesive Transformation Systems / Annegret Habel and Detlef Plump -- Generalised Compositionality in Graph Transformation / Amir Hossein Ghamarian and Arend Rensink -- Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking / Holger Giese and Leen Lambers -- Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking / Christoph Blume, H. J. Sander Bruggink, Dominik Engelke and Barbara König -- Testing against Visual Contracts: Model-Based Coverage / Tamim Ahmed Khan, Olga Runge and Reiko Heckel --
A Truly Concurrent Semantics for the \mathbbKK Framework Based on Graph Transformations / Traian Florin Şerbănuţă and Grigore Roşu -- Probabilistic Graph Transformation Systems / Christian Krause and Holger Giese -- Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution / Gabriele Taentzer, Florian Mantz and Yngve Lamo -- Graph Transformations for Evolving Domain Knowledge / Bernhard Westfechtel and Manfred Nagl -- Construction of Integrity Preserving Triple Graph Grammars / Anthony Anjorin, Andy Schürr and Gabriele Taentzer -- Applying Incremental Graph Transformation to Existing Models in Relational Databases / Gábor Bergmann, Dóra Horváth and Ákos Horváth -- Incremental Pattern Matching for the Efficient Computation of Transitive Closure / Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini and Dániel Varró -- Efficient Model Synchronization with Precedence Triple Graph Grammars / Marius Lauder, Anthony Anjorin, Gergely Varró and Andy Schürr -- ICGT 2012 Doctoral Symposium / Andrea Corradini and Gabriele Taentzer -- Multi-scale Rule-Based Graph Transformation Using the Programming Language XL / Yongzhi Ong -- Verification of Graph Programs / Christopher M. Poskitt -- Specification and Verification of Modal Properties for Structured Systems / Andrea Vandin.
Record Nr. UPENN-9960100543503681
[ICGT (Conference) (6th : 2012 : Bremen, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania