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.
Advanced Information Systems Engineering Workshops : CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings / / edited by John Krogstie, Haralambos Mouratidis, Jianwen Su
| Advanced Information Systems Engineering Workshops : CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings / / edited by John Krogstie, Haralambos Mouratidis, Jianwen Su |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXIII, 276 p. 75 illus.) |
| Disciplina | 005.365 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Business information services
Application software Software engineering Data protection Information technology - Management Business Information Systems Computer and Information Systems Applications Software Engineering Enterprise Architecture Data and Information Security Computer Application in Administrative Data Processing |
| ISBN | 3-319-39564-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Third International Workshop on Advances in Services Design Based on the Notion of Capability - ASDENCA 2016 Preface -- ASDENCA 2016 Organization -- First International Workshop on Business Model Dynamics and Information Systems Engineering (BumDISE 2016) Preface -- Fourth International Workshop on Cognitive Aspects of Information Systems Engineering (COGNISE 2016) Preface -- First International Workshop on Energy-Awareness and Big Data Management in Information Systems - EnBIS 2016 Preface -- Second International Workshop on Enterprise Modeling (EM 2016) Preface -- The Sixth International Workshop on Information Systems Security Engineering (WISSE 2016) Preface -- Contents -- ASDENCA/BUMDISE 2016 - Capability-Based Development Methods -- Selection and Evolutionary Development of Software-Service Bundles: A Capability Based Method -- Abstract -- 1 Introduction -- 2 Method Overview -- 2.1 Problem Statement -- 2.2 Evolutionary Development Process -- 2.3 Capability Modeling -- 3 Evolutionary Development Stages -- 3.1 Design Stage -- 3.2 Delivery Stage -- 3.3 Evolution -- 4 Application Example -- 4.1 Description -- 4.2 Model -- 4.3 Results -- 5 Related Work -- 6 Summary and Future Work -- References -- LightCDD: A Lightweight Capability-Driven Development Method for Start-Ups -- Abstract -- 1 Introduction -- 2 Problem Investigation -- 3 First Experiences on Applying CDD for Enterprise Development -- 3.1 Capability as a Service in a Nutshell -- 3.2 Two Practical Start-up Cases -- 3.3 Applying the CDD in Full -- 3.4 Lessons Learnt, Experiences -- 4 Light CDD for Enterprise Modelling of Start-Ups -- 5 Conclusions and Discussion -- References -- ASDENCA/BUMDISE 2016 - Integration of Capability with Goals and Context -- Comparison of Tool Support for Goal Modelling in Capability Management -- Abstract -- 1 Introduction -- 2 Background.
2.1 Capability Management -- 2.2 Capability Modelling in CaaS -- 2.3 4EM Enterprise Modelling Method -- 3 Experiment Design and Results -- 3.1 Experiment Design -- 3.2 Experiment Results -- 4 Summary and Future Work -- References -- Extending Capabilities with Context Awareness -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Capability and Context Analysis -- 4 Selecting Design Time Integration -- 4.1 Design Time Options in the Symbiosis Case -- 5 Selecting Run-Time Integration -- 5.1 Monitoring Tool Extension -- 5.2 Adjustment Tool Extension -- 5.3 Run Time Options in the Symbiosis Case -- 6 Summarize Tool Support Needed -- 7 Conclusions -- Acknowledgments -- References -- Design of Capability Delivery Adjustments -- Abstract -- 1 Introduction -- 2 Capability Adjustment -- 2.1 Background -- 2.2 Types of Adjustments -- 3 Elaboration of Adjustments -- 4 Example -- 5 Related Work -- 6 Conclusion -- References -- ASDENCA/BUMDISE 2016 - Business Modeling -- The Fast Fashion Business Model -- Abstract -- 1 The Apparel Industry -- 2 Research Design and Setting -- 3 The Creative Machine -- 4 The Shop Connection -- 5 The Relay -- 6 The Fast Fashion Business Model -- 7 Conclusion -- References -- Cycles of Organizational Renewal: The Interplay of Strategy and Innovation at Bang & Olufsen -- Abstract -- 1 Introduction -- 2 Methods -- 3 Preliminary Findings -- 4 Conclusion -- References -- Information Systems for Innovation: A Comparative Analysis of Maturity Models' Characteristics -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Innovation Maturity Models in Research and Practice -- 4 Models' Structures and Validation -- 5 Discussion of the Results -- 6 Conclusion and Future Work -- References -- COGNISE 2016 -- Learning from Errors as a Pedagogic Approach for Reaching a Higher Conceptual Level in Database Modeling -- Abstract -- 1 Introduction. 2 Teaching Database Modelling as a Challenge to IS Educators -- 3 Learning from Errors in Educating Database Modeling -- 4 Rasmussen's Three Level Model of Human Performance -- 4.1 Skill-Based Behavior -- 4.2 Rule-Based Behavior -- 4.3 Knowledge-Based Behavior -- 5 Errors as means for Shifting Between Levels of Abstraction -- 6 Conclusions: Future Directions and Instructional Implications -- References -- `Mathematical' Does Not Mean `Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts -- 1 Introduction -- 2 Previous Works -- 3 The Gen2sat Assignment -- 3.1 Gen2sat -- 3.2 The Assignment -- 3.3 Results and Feedback -- 4 Summary and Future Research -- References -- User Involvement in Applications of the PoN -- 1 Introduction -- 2 Reviewing Applications of the PoN -- 2.1 Literature Review Protocol -- 2.2 Relevant Findings -- 3 Potential Reasons for the Lack of User Involvement -- 3.1 Notation Designers Considered as the Prototypical User -- 3.2 Users are Involved, but Afterwards -- 3.3 Requirements are Derived from Theory -- 3.4 Existing Theory is Assumed to Cover Requirements -- 3.5 Cognitive Effectiveness is an Afterthought -- 4 A Benefit of Involving Users in Notations Design -- 5 Concluding Outlook -- References -- A Visual Logical Language for System Modelling in Combinatorial Test Design -- 1 Introduction -- 2 Logical Restrictions in CTD Models -- 3 A New Visual Logical Language -- 4 Summary and Future Research -- References -- Peel the Onion: Use of Collaborative and Gamified Tools to Enhance Software Engineering Education -- Abstract -- 1 Introduction -- 2 Scientific Background -- 2.1 Collaborative Tools in Education -- 2.2 Gamification in IS and SE Education -- 3 Collaborative and Gamified Teaching Method -- 3.1 The Method -- 3.2 Analyzing the Teaching Model from a Motivational Perspective. 4 Students' Responses to the Teaching Method -- 5 Expected Contribution and Further Evaluation -- References -- ENBIS 2016 -- Energy Enhancement of Multi-application Monitoring Systems for Smart Buildings -- 1 Introduction -- 2 Related Works -- 3 Overview of Multi-application Monitoring System -- 4 Optimization of Application Requirements -- 4.1 Formalization of Application Requirements and Sensor Configuration -- 4.2 Algorithm -- 5 Experimental Platform -- 5.1 Continuous Query Engine: SoCQ Engine -- 5.2 WSN Simulator: Modified WSNet -- 5.3 Gateway: 3SoSM Gateway -- 6 Experiments -- 6.1 Experiment Setup -- 6.2 Experimental Scenario -- 7 Conclusion -- References -- Micro-accounting for Optimizing and Saving Energy in Smart Buildings -- 1 Introduction -- 2 The OPlatform -- 3 Energy Savings in Offices -- 4 Smart Energy Switch -- 5 Conclusions and Future Works -- References -- Modeling CO2 Emissions to Reduce the Environmental Impact of Cloud Applications -- 1 Introduction -- 2 Related Work -- 3 Energy Mix Analysis -- 3.1 Analysis of the Problem -- 3.2 Conceptualization -- 3.3 Calibration -- 3.4 Validation -- 4 CO2-Driven Site Selection -- 5 Concluding Remarks -- References -- EM 2016 -- Modeling and Enacting Enterprise Decisions -- 1 Introduction and Related Work -- 2 Background -- 2.1 Decision Model and Notation (DMN) -- 2.2 Formalization -- 3 The Role of Decision Models -- 3.1 A Decision Model Corresponding to a Single Decision Activity in a Process Model -- 3.2 A Decision Model Spanning over Multiple Decision Activities in an Existing Process Model -- 3.3 A Decision Model that can Be Translated to a Straightforward Process for Execution -- 3.4 Executing a Decision Model Beyond One Fixed Decision: Flexibility -- 4 Three Scenarios for the Execution of Decision Models -- 4.1 Standard Forward Decision Execution -- 4.2 Optimized Forward Decision Execution. 4.3 Flexible Decision Execution Scenarios -- 5 Conclusions and Future Work -- References -- A Modelling Environment for Business Process as a Service -- Abstract -- 1 Introduction -- 2 Literature Review -- 3 Overview of the BPaaS Design Environment -- 4 Methodology -- 5 BPaaS Modelling Method -- 6 BPaaS Ontology -- 7 Alignment Support -- 8 Semantic Lifting -- 9 Conclusion -- Acknowledgement -- Reference -- Understanding Production Chain Business Process Using Process Mining: A Case Study in the Manufacturing Scenario -- 1 Introduction -- 2 Working Scenario -- 3 Process Mining Techniques -- 4 Process Mining into Practice -- 4.1 Evaluation Criteria -- 4.2 Preliminary Results -- 4.3 Discussion and Comparison -- 5 Conclusion and Future Work -- References -- WISSE 2016 -- Software Vulnerability Life Cycles and the Age of Software Products: An Empirical Assertion with Operating System Products -- 1 Introduction -- 2 The Assertion -- 3 Evaluation -- 3.1 Data -- 3.2 Control Variables -- 3.3 Methods -- 3.4 Sampling -- 3.5 Results -- 4 Discussion -- References -- APPARATUS: Reasoning About Security Requirements in the Internet of Things -- 1 Introduction -- 2 Related Work -- 3 Presentation of APPARATUS Reasoning -- 4 Example of Security Reasoning -- 5 Conclusion -- References -- Associating the Severity of Vulnerabilities with their Description -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Database, Characteristics and Scoring Systems -- 4 Correlation Analysis -- 5 Conclusion -- References -- Discovering Potential Interaction Violations among Requirements -- 1 Introduction -- 2 Background and Related Work -- 3 Discovering Undocumented Scenarios -- 3.1 Modeling a Domain -- 3.2 Analysing the Model -- 3.3 The Loophole Algorithm -- 4 Conclusion and Future Work -- References -- Extending HARM to make Test Cases for Penetration Testing -- Abstract. 1 Introduction. |
| Record Nr. | UNINA-9910254945503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Web-Age Information Management [[electronic resource] ] : Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002. Proceedings / / edited by Xiaofeng Meng, Jianwen Su, Yujun Wang
| Advances in Web-Age Information Management [[electronic resource] ] : Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002. Proceedings / / edited by Xiaofeng Meng, Jianwen Su, Yujun Wang |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XVI, 452 p.) |
| Disciplina | 005.75/8 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Data structures (Computer science) Database management Information storage and retrieval Application software Artificial intelligence Popular Computer Science Data Structures and Information Theory Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Artificial Intelligence |
| ISBN | 3-540-45703-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | XML (Session 1A) -- Efficient Supporting XML Query and Keyword Search in Relational Database Systems -- Performance Evaluation of a DOM-Based XML Database: Storage, Indexing, and Query Optimization -- Structural Map: A New Index for Efficient XML Path Expression Processing -- Spatio-Temporal Databases (Session 1B) -- An Advanced Discrete Model for Uncertain Spatial Data -- A Spatio-Temporal Representation Scheme for Content- and Semantic-Based Video Retrieval on Moving Objects’ Trajectories -- Efficient Access Technique Using Levelized Data in Web-Based GIS -- Using PR-Tree and HPIR to Manage Coherence of Semantic Cache for Location Dependent Data in Mobile Database -- Data Mining and Learning (Session 2A) -- Towards Efficient Re-mining of Frequent Patterns upon Threshold Changes -- Mining Predicate Association Rule by Gene Expression Programming -- Learning with Concept Hierarchies in Probabilistic Relational Data Mining -- An Empirical Study of Learning-Based Web Search -- Outlier Detection Integrating Semantic Knowledge -- XML and Web (Session 2B) -- Extracting Information from Semistructured Data -- Maintaining Consistency of Integrated XML Trees -- Extract Frequent Pattern from Simple Graph Data -- XML-Based Data Rendering Engine for Content Management System -- Text Distinguishers Used in an Interactive Meta Search Engine -- Workflows and E-services (Session 3A) -- Team Work Oriented Flexible Workflow Management System -- EROICA: A Rule-Based Approach to Organizational Policy Management in Workflow Systems -- The Admon-Time Workflow Client: Why Do We Need the Third Type of Workflow Client Designated for Administration and Monitoring Services? -- Progressive Content Delivery for Mobile E-services -- Bioinformatics, Views, and OLAP (Session 3B) -- GeneAround: A Browsing System for Gene Annotation Using XML Technologies -- What Difference Heuristics Make: Maintenance-Cost View-Selection Revisited -- Representing Conceptual Multidimensional Properties Using the Common Warehouse Metamodel (CWM) -- OLAP Query Processing Algorithm Based on Relational Storage -- Clustering and High Dimentional Data (Session 4A) -- Querying and Clustering Very Large Data Sets Using Dynamic Bucketing Approach -- CBCM: A Cell-Based Clustering Method for Data Mining Applications -- C2VA: Trim High Dimensional Indexes -- Web Search (Session 4B) -- Topic Exploration and Distillation for Web Search by a Similarity-Based Analysis -- Efficient and Simple Encodings for the Web Graph -- Object-Extraction-Based Hidden Web Information Retrieval -- An Improved Usage-Based Ranking -- Optimization and Updates (Session 5A) -- On Linear-Spline Based Histograms -- A General and Efficient Approach for Solving Nearest Neighbor Problem in the Vague Query System -- A Client-Based Web-Cache Management System -- Immediate and Partial Validation Mechanism for the Conflict Resolution of Update Operations in XML Databases -- Transactions and Multimedia (Session 5B) -- Relaxed Atomic Commit for Real-Time Transactions in Mobile Computing Environment -- Real-Time Facial Patterns Mining and Emotion Tracking -- Data Reduction and Noise Filtering for Predicting Times Series -- Exploiting the Intrinsic Irreversibility of Adaptive Technologies to Enhance the Security of Digital Watermarking -- Demos -- Web-Linkage Viewer: Finding Graph Structures in the Web -- GDWFMS: A Workflow System for Submitting Graphs and Documents. |
| Record Nr. | UNISA-996466339803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Web-Age Information Management : Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002. Proceedings / / edited by Xiaofeng Meng, Jianwen Su, Yujun Wang
| Advances in Web-Age Information Management : Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002. Proceedings / / edited by Xiaofeng Meng, Jianwen Su, Yujun Wang |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XVI, 452 p.) |
| Disciplina | 005.75/8 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Data structures (Computer science) Database management Information storage and retrieval Application software Artificial intelligence Popular Computer Science Data Structures and Information Theory Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Artificial Intelligence |
| ISBN | 3-540-45703-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | XML (Session 1A) -- Efficient Supporting XML Query and Keyword Search in Relational Database Systems -- Performance Evaluation of a DOM-Based XML Database: Storage, Indexing, and Query Optimization -- Structural Map: A New Index for Efficient XML Path Expression Processing -- Spatio-Temporal Databases (Session 1B) -- An Advanced Discrete Model for Uncertain Spatial Data -- A Spatio-Temporal Representation Scheme for Content- and Semantic-Based Video Retrieval on Moving Objects’ Trajectories -- Efficient Access Technique Using Levelized Data in Web-Based GIS -- Using PR-Tree and HPIR to Manage Coherence of Semantic Cache for Location Dependent Data in Mobile Database -- Data Mining and Learning (Session 2A) -- Towards Efficient Re-mining of Frequent Patterns upon Threshold Changes -- Mining Predicate Association Rule by Gene Expression Programming -- Learning with Concept Hierarchies in Probabilistic Relational Data Mining -- An Empirical Study of Learning-Based Web Search -- Outlier Detection Integrating Semantic Knowledge -- XML and Web (Session 2B) -- Extracting Information from Semistructured Data -- Maintaining Consistency of Integrated XML Trees -- Extract Frequent Pattern from Simple Graph Data -- XML-Based Data Rendering Engine for Content Management System -- Text Distinguishers Used in an Interactive Meta Search Engine -- Workflows and E-services (Session 3A) -- Team Work Oriented Flexible Workflow Management System -- EROICA: A Rule-Based Approach to Organizational Policy Management in Workflow Systems -- The Admon-Time Workflow Client: Why Do We Need the Third Type of Workflow Client Designated for Administration and Monitoring Services? -- Progressive Content Delivery for Mobile E-services -- Bioinformatics, Views, and OLAP (Session 3B) -- GeneAround: A Browsing System for Gene Annotation Using XML Technologies -- What Difference Heuristics Make: Maintenance-Cost View-Selection Revisited -- Representing Conceptual Multidimensional Properties Using the Common Warehouse Metamodel (CWM) -- OLAP Query Processing Algorithm Based on Relational Storage -- Clustering and High Dimentional Data (Session 4A) -- Querying and Clustering Very Large Data Sets Using Dynamic Bucketing Approach -- CBCM: A Cell-Based Clustering Method for Data Mining Applications -- C2VA: Trim High Dimensional Indexes -- Web Search (Session 4B) -- Topic Exploration and Distillation for Web Search by a Similarity-Based Analysis -- Efficient and Simple Encodings for the Web Graph -- Object-Extraction-Based Hidden Web Information Retrieval -- An Improved Usage-Based Ranking -- Optimization and Updates (Session 5A) -- On Linear-Spline Based Histograms -- A General and Efficient Approach for Solving Nearest Neighbor Problem in the Vague Query System -- A Client-Based Web-Cache Management System -- Immediate and Partial Validation Mechanism for the Conflict Resolution of Update Operations in XML Databases -- Transactions and Multimedia (Session 5B) -- Relaxed Atomic Commit for Real-Time Transactions in Mobile Computing Environment -- Real-Time Facial Patterns Mining and Emotion Tracking -- Data Reduction and Noise Filtering for Predicting Times Series -- Exploiting the Intrinsic Irreversibility of Adaptive Technologies to Enhance the Security of Digital Watermarking -- Demos -- Web-Linkage Viewer: Finding Graph Structures in the Web -- GDWFMS: A Workflow System for Submitting Graphs and Documents. |
| Record Nr. | UNINA-9910768181403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web Services and Formal Methods [[electronic resource] ] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / / edited by Cosimo Laneve, Jianwen Su
| Web Services and Formal Methods [[electronic resource] ] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / / edited by Cosimo Laneve, Jianwen Su |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (VII, 197 p. 60 illus.) |
| Disciplina | 006.7 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Application software Computer communication systems Information storage and retrieval Software engineering Multimedia information systems Information Systems and Communication Service Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval Software Engineering Multimedia Information Systems |
| ISBN |
1-280-38801-3
9786613565938 3-642-14458-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sessions and Session Types: An Overview -- Choreography Rehearsal -- A Graph Syntax for Processes and Services -- A Formalisation of Adaptable Pervasive Flows -- Compliance Preorders for Web Services -- A Formal Semantics for the WS-BPEL Recovery Framework -- Realizability Is Controllability -- Specification and Verification of Multi-user Data-Driven Web Applications -- Automated Composition of Nondeterministic Stateful Services -- Towards Compensation Correctness in Interactive Systems -- Small Specifications for Tree Update. |
| Record Nr. | UNISA-996466431803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / / edited by Cosimo Laneve, Jianwen Su
| Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / / edited by Cosimo Laneve, Jianwen Su |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (VII, 197 p. 60 illus.) |
| Disciplina | 006.7 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Application software Computer communication systems Information storage and retrieval Software engineering Multimedia information systems Information Systems and Communication Service Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval Software Engineering Multimedia Information Systems |
| ISBN |
1-280-38801-3
9786613565938 3-642-14458-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sessions and Session Types: An Overview -- Choreography Rehearsal -- A Graph Syntax for Processes and Services -- A Formalisation of Adaptable Pervasive Flows -- Compliance Preorders for Web Services -- A Formal Semantics for the WS-BPEL Recovery Framework -- Realizability Is Controllability -- Specification and Verification of Multi-user Data-Driven Web Applications -- Automated Composition of Nondeterministic Stateful Services -- Towards Compensation Correctness in Interactive Systems -- Small Specifications for Tree Update. |
| Record Nr. | UNINA-9910483589003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||