Business Process Management [[electronic resource] ] : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings / / edited by Wil M.P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XII, 480 p.) |
Disciplina | 658/.05 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Information storage and retrieval User interfaces (Computer systems) Computers and civilization Management information systems Computer science Information technology Business—Data processing Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems IT in Business |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Research Papers -- Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry -- An Organisational Perspective on Collaborative Business Processes -- Mining Hierarchies of Models: From Abstract Views to Concrete Specifications -- Flexible Business Process Management Using Forward Stepping and Alternative Paths -- Semi-automatic Generation of Web Services and BPEL Processes – A Model-Driven Approach -- A Human-Oriented Tuning of Workflow Management Systems -- The Price of Coordination in Resource Management -- sPAC (Web Services Performance Analysis Center): Performance Analysis and Estimation Tool of Web Services -- Specifying Web Workflow Services for Finding Partners in the Context of Loose Inter-organizational Workflow -- An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis -- Using the ?-Calculus for Formalizing Workflow Patterns -- Mining Workflow Recovery from Event Based Logs -- Behavior Based Integration of Composite Business Processes -- Visualization Support for Managing Large Business Process Specifications -- Transforming BPEL to Petri Nets -- Event-Based Coordination of Process-Oriented Composite Applications -- Integrating Process Learning and Process Evolution – A Semantics Based Approach -- An Analysis and Taxonomy of Unstructured Workflows -- A Framework for Document-Driven Workflow Systems -- Service Interaction Patterns -- Industrial Papers -- Modeling and Assessment of Production Printing Workflows Using Petri Nets -- Process Management in Health Care: A System for Preventing Risks and Medical Errors -- A Pathway for Process Improvement Activities in a Production Environment: A Case Study in a Rework Department -- IT Support for Healthcare Processes -- From RosettaNet PIPs to BPEL Processes: A Three Level Approach for Business Protocols -- Short Papers -- Using Software Quality Characteristics to Measure Business Process Quality -- Business Process Modelling and Improvement Using TAD Methodology -- On the Suitability of Correctness Criteria for Business Process Models -- Service Retrieval Based on Behavioral Specifications and Quality Requirements -- On the Semantics of EPCs: Efficient Calculation and Simulation -- Towards Integrating Business Policies with Business Processes -- A Contract Layered Architecture for Regulating Cross-Organisational Business Processes -- An Effective Content Management Methodology for Business Process Management -- Specification and Management of Policies in Service Oriented Business Collaboration -- Yet Another Event-Driven Process Chain -- Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective -- Overview of Transactional Patterns: Combining Workflow Flexibility and Transactional Reliability for Composite Web Services -- Accelerated Enterprise Process Modeling Through a Formalized Functional Typology -- Introducing Business Process into Legacy Information Systems -- Spheres of Isolation: Adaptation of Isolation Levels to Transactional Workflow -- Verification of SAP Reference Models. |
Record Nr. | UNISA-996465926603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Conceptual Modeling - ER 2009 [[electronic resource] ] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009, Proceedings / / edited by Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. de Oliverira |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XVIII, 516 p.) |
Disciplina | 005.74 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Software engineering
Computers Computer programming Data structures (Computer science) Software Engineering/Programming and Operating Systems Theory of Computation Programming Techniques Software Engineering Models and Principles Data Structures |
Soggetto genere / forma |
Gramado (2009)
Kongress. |
ISBN | 3-642-04840-4 |
Classificazione |
DAT 310f
DAT 600f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ER 30th Anniversary Paper -- Thirty Years of ER Conferences: Milestones, Achievements, and Future Directions -- Keynotes -- A Frame Manipulation Algebra for ER Logical Stage Modelling -- Conceptual Modeling in the Time of the Revolution: Part II -- Data Auditor: Analyzing Data Quality Using Pattern Tableaux -- Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration -- Conceptual Modeling -- A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models -- An Empirical Study of Enterprise Conceptual Modeling -- Formalizing Linguistic Conventions for Conceptual Models -- Requirements Engineering -- Monitoring and Diagnosing Malicious Attacks with Autonomic Software -- A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations -- Modeling Domain Variability in Requirements Engineering with Contexts -- Foundational Aspects -- Information Networking Model -- Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations -- Inducing Metaassociations and Induced Relationships -- Query Approaches -- Tractable Query Answering over Conceptual Schemata -- Query-By-Keywords (QBK): Query Formulation Using Semantics and Feedback -- Cluster-Based Exploration for Effective Keyword Search over Semantic Datasets -- Space and Time Modeling -- Geometrically Enhanced Conceptual Modelling -- Anchor Modeling -- Evaluating Exceptions on Time Slices -- Schema Matching and Integration -- A Strategy to Revise the Constraints of the Mediated Schema -- Schema Normalization for Improving Schema Matching -- Extensible User-Based XML Grammar Matching -- Ontology-Based Approaches -- Modeling Associations through Intensional Attributes -- Modeling Concept Evolution: A Historical Perspective -- FOCIH: Form-Based Ontology Creation and Information Harvesting -- Specifying Valid Compound Terms in Interrelated Faceted Taxonomies -- Application Contexts -- Conceptual Modeling in Disaster Planning Using Agent Constructs -- Modelling Safe Interface Interactions in Web Applications -- A Conceptual Modeling Approach for OLAP Personalization -- Creating User Profiles Using Wikipedia -- Process and Service Modeling -- Hosted Universal Composition: Models, Languages and Infrastructure in mashArt -- From Static Methods to Role-Driven Service Invocation – A Metamodel for Active Content in Object Databases -- Business Process Modeling: Perceived Benefits -- Industrial Session -- Designing Law-Compliant Software Requirements -- A Knowledge-Based and Model-Driven Requirements Engineering Approach to Conceptual Satellite Design -- Virtual Business Operating Environment in the Cloud: Conceptual Architecture and Challenges. |
Record Nr. | UNISA-996466364803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Service-Oriented Computing – ICSOC 2005 [[electronic resource] ] : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings / / edited by Boualem Benatallah, Fabio Casati, Paolo Traverso |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XVIII, 606 p.) |
Disciplina | 004.6 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer communication systems
Application software Information storage and retrieval Software engineering Computers and civilization Information technology Business—Data processing Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Software Engineering Computers and Society IT in Business |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Vision Papers -- Autonomic Web Processes -- The (Service) Bus: Services Penetrate Everyday Life -- Service Oriented Architectures for Science Gateways on Grid Systems -- Service Specification and Modelling -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems -- A Rule Driven Approach for Developing Adaptive Service Oriented Business Collaboration -- Service Design and Validation -- Pattern-Based Specification and Validation of Web Services Interaction Properties -- Using Test Cases as Contract to Ensure Service Compliance Across Releases -- Towards a Classification of Web Service Feature Interactions -- Service Selection and Discovery -- A High-Level Functional Matching for Semantic Web Services -- Service Selection Algorithms for Composing Complex Services with Multiple QoS Constraints -- On Service Discovery Process Types -- SPiDeR: P2P-Based Web Service Discovery -- An Approach to Temporal-Aware Procurement of Web Services -- Service Composition and Aggregation -- Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm -- Modeling and Analyzing Context-Aware Composition of Services -- Towards Semi-automated Workflow-Based Aggregation of Web Services -- Choreography and Orchestration: A Synergic Approach for System Design -- Service Monitoring -- PerfSONAR: A Service Oriented Architecture for Multi-domain Network Monitoring -- DySOA: Making Service Systems Self-adaptive -- Towards Dynamic Monitoring of WS-BPEL Processes -- Service Management -- Template-Based Automated Service Provisioning – Supporting the Agreement-Driven Service Life-Cycle -- Proactive Management of Service Instance Pools for Meeting Service Level Agreements -- Adaptive Component Management Service in ScudWare Middleware for Smart Vehicle Space -- Semantic Web and Grid Services -- Semantic Caching for Web Services -- ODEGSG Framework, Knowledge-Based Annotation and Design of Grid Services -- Implicit Service Calls in ActiveXML Through OWL-S -- Semantic Tuplespace -- Security, Exception Handling, and SLAs -- Trust-Based Secure Workflow Path Construction -- Reputation-Based Service Level Agreements for Web Services -- Handling Faults in Decentralized Orchestration of Composite Web Services -- What’s in an Agreement?An Analysis and an Extension of WS-Agreement -- Industrial and Application Papers -- SOA in the Real World – Experiences -- Service-Oriented Design: The Roots -- A Service Oriented Architecture for Deploying and Managing Network Services -- Demo Papers -- Dynamo: Dynamic Monitoring of WS-BPEL Processes -- WofBPEL: A Tool for Automated Analysis of BPEL Processes -- OpenWS-Transaction: Enabling Reliable Web Service Transactions -- ASTRO: Supporting Composition and Execution of Web Services -- Demonstrating Dynamic Configuration and Execution of Web Processes -- Short Papers -- Programming and Compiling Web Services in GPSL -- Semantic Management of Web Services -- Composition of Services with Nondeterministic Observable Behavior -- Efficient and Transparent Web-Services Selection -- An Approach to Parameterizing Web Service Flows -- Dynamic Policy Management on Business Performance Management Architecture -- A Lightweight Formal Framework for Service-Oriented Applications Design -- A MDE Approach for Power Distribution Service Development -- Semantic Web Services for Activity-Based Computing -- The Price of Services -- Managing End-to-End Lifecycle of Global Service Policies -- Applying a Web Engineering Method to Design Web Services -- An Architecture for Unifying Web Services Authentication and Authorization -- Specifying Web Service Compositions on the Basis of Natural Language Requests. |
Record Nr. | UNISA-996465527103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Technologies for E-Services [[electronic resource] ] : Second International Workshop, TES 2001, Rome, Italy, September 14-15, 2001. Proceedings / / edited by Fabio Casati, Dimitrios Georgakopoulos, Ming-Chien Shang |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (422 p.) |
Disciplina | 005.276 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer science
Computer hardware E-commerce Database management Computer communication systems Application software Popular Computer Science Computer Hardware e-Commerce/e-business Database Management Computer Communication Networks Information Systems Applications (incl. Internet) |
ISBN |
1-280-63497-9
9786610634972 3-540-44809-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Laminar Free Convection -- Basic Conservation Equations for Laminar Free Convection -- Brief Review of Previous Method for Analysis of Laminar Free Convection -- Laminar Free Convection of Monatomic and Diatomic Gases, Air, and Water Vapor -- Laminar Free Convection of Polyatomic Gas -- Laminar Free Convection of Liquid -- Heat Transfer Deviation of Laminar Free Convection Caused by Boussinesq Approximation -- Experimental Measurements of Free Convection with Large Temperature Difference -- Relationship on Laminar Free Convection and Heat Transfer Between Inclined and Vertical Cases -- Film Boiling and Condensation -- Laminar Film Boiling of Saturated Liquid -- Laminar Film Boiling of Subcooled Liquid -- Laminar Film Condensation of Saturated Vapor -- Effects of Various Physical Conditions on Film Condensations -- Laminar Film Condensation of Superheated Vapor -- Falling Film Flow of Non-Newtonian Fluids -- Hydrodynamics of Falling Film Flow of Non-Newtonian Power-Law Fluids -- Pseudosimilarity and Boundary Layer Thickness for Non-Newtonian Falling Film Flow -- Heat Transfer of the Falling Film Flow. |
Record Nr. | UNISA-996466131703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Technologies for E-Services : Second International Workshop, TES 2001, Rome, Italy, September 14-15, 2001. Proceedings / / edited by Fabio Casati, Dimitrios Georgakopoulos, Ming-Chien Shang |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (422 p.) |
Disciplina | 005.276 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer science
Computer hardware E-commerce Database management Computer communication systems Application software Popular Computer Science Computer Hardware e-Commerce/e-business Database Management Computer Communication Networks Information Systems Applications (incl. Internet) |
ISBN |
1-280-63497-9
9786610634972 3-540-44809-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Laminar Free Convection -- Basic Conservation Equations for Laminar Free Convection -- Brief Review of Previous Method for Analysis of Laminar Free Convection -- Laminar Free Convection of Monatomic and Diatomic Gases, Air, and Water Vapor -- Laminar Free Convection of Polyatomic Gas -- Laminar Free Convection of Liquid -- Heat Transfer Deviation of Laminar Free Convection Caused by Boussinesq Approximation -- Experimental Measurements of Free Convection with Large Temperature Difference -- Relationship on Laminar Free Convection and Heat Transfer Between Inclined and Vertical Cases -- Film Boiling and Condensation -- Laminar Film Boiling of Saturated Liquid -- Laminar Film Boiling of Subcooled Liquid -- Laminar Film Condensation of Saturated Vapor -- Effects of Various Physical Conditions on Film Condensations -- Laminar Film Condensation of Superheated Vapor -- Falling Film Flow of Non-Newtonian Fluids -- Hydrodynamics of Falling Film Flow of Non-Newtonian Power-Law Fluids -- Pseudosimilarity and Boundary Layer Thickness for Non-Newtonian Falling Film Flow -- Heat Transfer of the Falling Film Flow. |
Record Nr. | UNINA-9910768455303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Web Engineering [[electronic resource] ] : 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings / / edited by Boualem Benatallah, Fabio Casati, Gerti Kappel, Gustavo Rossi |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (528 p. 231 illus.) |
Disciplina | 006.7 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computer programming
Application software Artificial intelligence Information storage and retrieval Database management Computer communication systems Programming Techniques Information Systems Applications (incl. Internet) Artificial Intelligence Information Storage and Retrieval Database Management Computer Communication Networks |
Soggetto genere / forma | Congress |
ISBN |
1-280-38749-1
9786613565419 3-642-13911-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Search -- Searching Repositories of Web Application Models -- Toward Approximate GML Retrieval Based on Structural and Semantic Characteristics -- Advancing Search Query Autocompletion Services with More and Better Suggestions -- Designing Service Marts for Engineering Search Computing Applications -- Web Services -- Engineering Autonomic Controllers for Virtualized Web Applications -- AWAIT: Efficient Overload Management for Busy Multi-tier Web Services under Bursty Workloads -- Normative Management of Web Service Level Agreements -- Combining Schema and Level-Based Matching for Web Service Discovery -- Web Messaging for Open and Scalable Distributed Sensing Applications -- On Actors and the REST -- Development Process -- Multi-level Tests for Model Driven Web Applications -- Capture and Evolution of Web Requirements Using WebSpec -- Re-engineering Legacy Web Applications into Rich Internet Applications -- Deriving Vocal Interfaces from Logical Descriptions in Multi-device Authoring Environments -- Quality, Quality in Use, Actual Usability and User Experience as Key Drivers for Web Application Evaluation -- Interfaces for Scripting: Making Greasemonkey Scripts Resilient to Website Upgrades -- Web 2.0 -- Context-Aware Interaction Approach to Handle Users Local Contexts in Web 2.0 -- Rethinking Microblogging: Open, Distributed, Semantic -- A Web-Based Collaborative Metamodeling Environment with Secure Remote Model Access -- Carbon: Domain-Independent Automatic Web Form Filling -- Scalable and Mashable Location-Oriented Web Services -- Linked Data -- A Flexible Rule-Based Method for Interlinking, Integrating, and Enriching User Data -- Ranking the Linked Data: The Case of DBpedia -- Linkator: Enriching Web Pages by Automatically Adding Dereferenceable Semantic Annotations -- Performance and Security -- A Generic Proxy for Secure Smart Card-Enabled Web Applications -- Efficient Term Cloud Generation for Streaming Web Content -- Industry Papers -- Experiences in Building a RESTful Mixed Reality Web Service Platform -- WebRatio BPM: A Tool for Designing and Deploying Business Processes on the Web -- A Visual Tool for Rapid Integration of Enterprise Software Applications -- Customization Realization in Multi-tenant Web Applications: Case Studies from the Library Sector -- Challenges and Experiences in Deploying Enterprise Crowdsourcing Service -- Business Conversation Manager: Facilitating People Interactions in Outsourcing Service Engagements -- Demo and Poster Papers -- Tools for Modeling and Generating Safe Interface Interactions in Web Applications -- Linking Related Documents: Combining Tag Clouds and Search Queries -- GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis -- Open, Distributed and Semantic Microblogging with SMOB -- The ServFace Builder - A WYSIWYG Approach for Building Service-Based Applications -- Extracting Client-Side Web User Interface Controls -- Applying Semantic Web Technology in a Mobile Setting: The Person Matcher -- Syncro - Concurrent Editing Library for Google Wave -- An Eclipse Plug-in for Model-Driven Development of Rich Internet Applications -- A Cross-Platform Software System to Create and Deploy Mobile Mashups -- A Blog-Centered IPTV Environment for Enhancing Contents Provision, Consumption, and Evolution -- Factic: Personalized Exploratory Search in the Semantic Web -- Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. |
Record Nr. | UNISA-996465877803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|