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.
Achieving systems safety [electronic resource] : proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 / Chris Dale, Tom Anderson, editors
Achieving systems safety [electronic resource] : proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 / Chris Dale, Tom Anderson, editors
Creatore [Safety-Critical Systems Symposium (20th : 2012 : Bristol, England)]
Estensione 1 online resource (x, 293 p.)
Disciplina 620.8/6
Accesso persona Dale, Chris, 1953-
Anderson, Tom, 1947-
Accesso ente Safety-Critical Systems Club
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer system performance
Software engineering
Data protection
Systems and Data Security
System Performance and Evaluation
ISBN 9781447124948 (electronic bk.)
1447124944 (electronic bk.)
9781447124931
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-8872447
[Safety-Critical Systems Symposium (20th : 2012 : Bristol, England)]  
Materiale a stampa
Lo trovi qui: University of Chicago
The design of cloud workflow systems [electronic resource] / Xiao Liu... [et al.].
The design of cloud workflow systems [electronic resource] / Xiao Liu... [et al.].
Estensione 1 online resource (xiv, 97 p.)
Disciplina 004.6782
Accesso persona Liu, Xiao
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Software Engineering/Programming and Operating Systems
ISBN 9781461419334 (electronic bk.)
1461419336 (electronic bk.)
9781461419327
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-8871842
Materiale a stampa
Lo trovi qui: University of Chicago
Foundational Java [electronic resource] : key elements and practical programming / David Parsons
Foundational Java [electronic resource] : key elements and practical programming / David Parsons
Creatore [Parsons, David, 1959 October 13-]
Estensione 1 online resource (xx, 543 p.) : ill.
Disciplina 005.13/3
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Programming Languages, Compilers, Interpreters
Programming Techniques
ISBN 9781447124795 (electronic bk.)
1447124790 (electronic bk.)
9781447124788
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Compiling and Running Java Programs -- Data Types, Arithmetic, and Arrays -- Control Structures -- Creating Objects -- Creating Domain Classes -- Objects Working Together: Association, Aggregation, and Composition -- Inheritance, Polymorphism, and Interfaces -- Exception Handling -- Unit Testing with JUnit -- Exploring the Java Libraries -- The Collections Framework and Generics -- Input and Output Streams -- Automatic Building and Testing with Ant -- Java and the Database (JDBC) -- Multithreading -- Building GUIs with the JFC Swing Library -- Event-Driven Programming -- Dialogs and Menus, Models and Views -- Java Web Start and Applets.
Record Nr. UCHICAGO-8872993
[Parsons, David, 1959 October 13-]  
Materiale a stampa
Lo trovi qui: University of Chicago
Business process management [electronic resource] : concepts, languages, architectures / Mathias Weske
Business process management [electronic resource] : concepts, languages, architectures / Mathias Weske
Creatore [Weske, Mathias, 1963-]
Edizione [2nd ed.]
Estensione 1 online resource (xv, 403 p.) : ill.
Disciplina 658.4/038011
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Information systems
Management information systems
Computer Appl. in Administrative Data Processing
Business Information Systems
Information Systems Applications (incl. Internet)
e-Commerce/e-business
ISBN 9783642286162 (electronic bk.)
364228616X (electronic bk.)
9783642286155
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. Foundation Introduction -- Evolution of Enterprise Systems Architectures -- Part 2. Business Process Modelling Business Process Modelling Foundation -- Process Orchestrations -- Process Choreographies -- Properties of Business Processes -- Part 3. Architectures and Methodologies Business Process Management Architectures -- Business Process Management Methodology.
Record Nr. UCHICAGO-8873920
[Weske, Mathias, 1963-]  
Materiale a stampa
Lo trovi qui: University of Chicago
Service-oriented computing--ICSOC 2012 Workshops : ICSOC 2012 International Workshops : ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and satellite events, Shanghai, China, November 12-15, 2012 : revised selected papers / Aditya Ghose [and others] (eds.).
Service-oriented computing--ICSOC 2012 Workshops : ICSOC 2012 International Workshops : ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and satellite events, Shanghai, China, November 12-15, 2012 : revised selected papers / Aditya Ghose [and others] (eds.).
Creatore [ICSOC (Conference) (2012 : Shanghai, China)]
Estensione 1 online resource (xv, 466 pages) : illustrations.
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 Congresses
Electronic books
Conference papers and proceedings
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
3642378048
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 [and others] -- 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 [and others] -- 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 [and others] -- Introducing the Vienna Platform for Elastic Processes / Stefan Schulte [and others].
SCEB 2012. TrustVis: A Trust Visualisation Service for Online Communities / Sanat Kumar Bista [and others] -- 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 [and others] -- Protecting Sensitive Attributes in Attribute Based Access Control / Guoping Zhang, Jing Liu, Jianbo Liu -- A Hybrid Indoor Positioning Approach for Supermarkets / Weishan Zhang [and others].
WESOA 2012. Introduction to the 8th International Workshop on Engineering Service-Oriented Applications (WESOA'12) / George Feuerlicht [and others] -- 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 [and others] -- 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 [and others] -- Realizing Elastic Processes with ViePEP / Stefan Schulte [and others] -- A Social Network Based Collaborative Video Story Composition Platform / Chen Wang [and others] -- BPMashup: Dynamic Execution of RESTful Processes / Xiwei Xu [and others] -- Soda: A Tool Support for the Detection of SOA Antipatterns / Mathieu Nayrolles [and others] -- Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities / Heiko Witteborg [and others] -- Supporting Business and IT through Updatable Process Views: The proView Demonstrator / Jens Kolb, Manfred Reichert.
Record Nr. NYU-004401482
[ICSOC (Conference) (2012 : Shanghai, China)]  
Materiale a stampa
Lo trovi qui: New York University
Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 : revised selected papers / Matteo Baldoni [and others] (eds.).
Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 : revised selected papers / Matteo Baldoni [and others] (eds.).
Creatore [International Workshop on Declarative Agent Languages and Technologies (10th : 2012 : Valencia, Spain)]
Estensione 1 online resource (xii, 207 pages) : illustrations.
Disciplina 005.13
Accesso persona Baldoni, Matteo, 1968-
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
ISBN 9783642378904
3642378900
9783642378898
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Handling Change in Normative Specifications / Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian Padget -- Latest Developments of WADE to Support User-Centric Business Processes / Federico Bergenti, Giovanni Caire, Danilo Gotta -- Strong Planning in the Logics of Communication and Change / Pere Pardo, Mehrnoosh Sadrzadeh -- Agent Deliberation via Forward and Backward Chaining in Linear Logic / Luke Trodd, James Harland, John Thangarajah -- Contributed Papers -- Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason / Davide Ancona, Sophia Drossopoulou, Viviana Mascardi -- A Generalized Commitment Machine for 2CL Protocols and Its Implementation / Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti -- Solving Fuzzy Distributed CSPs: An Approach with Naming Games / Stefano Bistarelli, Giorgio Gosti, Francesco Santini -- Commitment Protocol Generation / Akın Günay, Michael Winikoff, Pınar Yolum -- Goal-Based Qualitative Preference Systems / Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker -- SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems / Bożena Woźna-Szcześniak, Andrzej Zbrzezny -- Position Papers -- Some Thoughts about Commitment Protocols / Matteo Baldoni, Cristina Baroglio -- Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends / Viviana Mascardi, James Hendler, Laura Papaleo -- Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell / Alessandro Solimando, Riccardo Traverso.
Record Nr. NYU-004401553
[International Workshop on Declarative Agent Languages and Technologies (10th : 2012 : Valencia, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.).
Integrated formal methods : 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 (xiii, 442 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Johnsen, Einar Broch, editor
Petre, Luigia, 1974-editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
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
364238613X
3642386121
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 [and others].
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 [and others] -- 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 [and others] -- 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 [and others].
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 [and others] -- A Formal Semantics for Complete UML State Machines with Communications / Shuang Liu [and others] -- 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 [and others] -- 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 [and others].
Record Nr. NYU-004637862
[International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)]  
Materiale a stampa
Lo trovi qui: New York University
Testing software and systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / Brian Nielsen, Carsten Weise (eds.).
Testing software and systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / Brian Nielsen, Carsten Weise (eds.).
Creatore [ICTSS 2012 (2012 : Aalborg, Denmark)]
Estensione 1 online resource.
Disciplina 005.1/4
Accesso persona Nielsen, Brian, Ph. D.
Weise, Carsten
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information Systems
Programming Languages, Compilers, Interpreters
Special Purpose and Application-Based Systems
Logics and Meanings of Programs
ISBN 9783642346910
364234691X
9783642346903
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Requirements-Driven Log Analysis (Extended Abstract) / Klaus Havelund -- Active Learning of Extended Finite State Machines / Frits Vaandrager -- Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools / Jörg Brauer, Jan Peleska and Uwe Schulze -- Managing Execution Environment Variability during Software Testing: An Industrial Experience / Aymeric Hervieu, Benoit Baudry and Arnaud Gotlieb -- A Technique for Agile and Automatic Interaction Testing for Product Lines / Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson and Jan Endresen, et al. -- CaPTIF: Comprehensive Performance TestIng Framework / Daniel A. Mayer, Orie Steele, Susanne Wetzel and Ulrike Meyer -- Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems / Mariam Lahami, Fairouz Fakhfakh, Moez Krichen and Mohamed Jmaiel -- Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol / Nanxing Chen and César Viho -- Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems / Mariam Lahami, Moez Krichen, Mariam Bouchakwa and Mohamed Jmaiel -- Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing / Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston and Pascale Le Gall -- Querying Parametric Temporal Logic Properties on Embedded Systems / Hengyi Yang, Bardh Hoxha and Georgios Fainekos -- State Estimation and Property-Guided Exploration for Hybrid Systems Testing / Thao Dang and Noa Shalev -- Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes / Angelo Gargantini, Marco Guarnieri and Eros Magri -- Using Behaviour Inference to Optimise Regression Test Sets / Ramsay Taylor, Mathew Hall, Kirill Bogdanov and John Derrick -- Machine Learning Approach in Mutation Testing / Joanna Strug and Barbara Strug -- Lightweight Automatic Error Detection by Monitoring Collar Variables / João Santos and Rui Abreu -- Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution / Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino -- Parameterized GUI Tests / Stephan Arlt, Pedro Borromeo, Martin Schäf and Andreas Podelski.
Record Nr. NYU-004388818
[ICTSS 2012 (2012 : Aalborg, Denmark)]  
Materiale a stampa
Lo trovi qui: New York University
Transactions on aspect-oriented software development X [electronic resource] / Gary T. Leavens, Shigeru Chiba, Éric Tanter (eds.).
Transactions on aspect-oriented software development X [electronic resource] / Gary T. Leavens, Shigeru Chiba, Éric Tanter (eds.).
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Leavens, Gary T.
Chiba, Shigeru, 1968-
Tanter, Éric
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Programming Languages, Compilers, Interpreters
Programming Techniques
ISBN 9783642369643
3642369642
3642369634
9783642369636
Classificazione 54.52
54.51
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Fine-Grained, Customizable Debugger for Aspect-Oriented Programming / Haihan Yin, Christoph Bockisch, Mehmet Akşit -- Two-Way Traceability and Conflict Debugging for AspectLTL Programs / Shahar Maoz, Yaniv Sa'ar -- Intraprocedural Dataflow Analysis for Software Product Lines / Claus Brabrand, Márcio Ribeiro -- Modularity and Variability of Distributed Software Architectures through Multi-view Refinement of AO-Connectors / Steven Op de beeck, Marko van Dooren -- Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory Study / Robert Dyer, Hridesh Rajan, Yuanfang Cai.
Record Nr. NYU-004391086
Materiale a stampa
Lo trovi qui: New York University
Enterprise interoperability : 5th International IFIP Working Conference, IWEI 2013, Enschede, the Netherlands, March 27-28, 2013. Proceedings / Marten van Sinderen, Paul Oude Luttighuis, Erwin Folmer, Steven Bosems (eds.).
Enterprise interoperability : 5th International IFIP Working Conference, IWEI 2013, Enschede, the Netherlands, March 27-28, 2013. Proceedings / Marten van Sinderen, Paul Oude Luttighuis, Erwin Folmer, Steven Bosems (eds.).
Creatore [IFIP International Working Conference on Enterprise Interoperability (5th : 2013 : Enschede, Netherlands)]
Estensione 1 online resource (xiii, 224 pages) : illustrations.
Disciplina 004.6
Accesso persona Sinderen, Marten J. van, 1958-editor
Luttighuis, Paul Oude, editor
Folmer, Erwin, editior of compilation
Bosems, Steven, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Economics
Software engineering
Information systems
Management information systems
Economics/Management Science
Business Information Systems
Computer Appl. in Administrative Data Processing
Information Systems Applications (incl. Internet)
ISBN 9783642367960
3642367968
9783642367953
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynotes. Modeling Enterprise Interoperability: Taming the Information Explosion / Richard Mark Soley -- Collaboration and Interoperability Support for Agile Enterprises in a Networked World: Emerging Scenarios, Research Challenges, Enabling Technologies / Manfred Reichert -- Invited Paper. Enhancing the Maturity of Open Service Ecosystems and Inter-enterprise Collaborations / Lea Kutvonen -- Enterprise Service Interoperability. An Interoperability Points Based Interoperability Approach for SaaS Applications / Yanyan Han [and others] -- Similarity Evaluation Based on Intuitionistic Fuzzy Set for Service Cluster Selection as Cloud Service Candidate / Jorick Lartigau [and others] -- Enterprise Interoperability in Sectors. Achieving Flexible Process Interoperability in the Homecare Domain through Aspect-Oriented Service Composition / Duc Viet Bui [and others].
On the Extended Clinical Workflows for Personalized Healthcare / Milan Zdravković, Miroslav Trajanović -- Cross-Organizational Business Processes Modeling Using Design-by-Contract Approach / Malik Khalfallah, Nicolas Figay, Parisa Ghodous, Catarina Ferreira Da Silva -- Interoperability Methodology. Fit for Purpose: Toward an Engineering Basis for Data Exchange Standards / Arnon Rosenthal [and others] -- P2AMF: Predictive, Probabilistic Architecture Modeling Framework / Pontus Johnson [and others] -- Business Model Risk Analysis: Predicting the Probability of Business Network Profitability / Pontus Johnson [and others] -- Interoperability for Specific Application Types. -- Linked Services for Enabling Interoperability in the Sensing Enterprise / Matthias Thoma, Alexandru-Florian Antonescu, Theano Mintsi, Torsten Braun.
Business Rules Management Solutions: Added Value by Effective Means of Business Interoperability / Martijn Zoet, Johan Versendaal -- Behavioural Evaluation of Reputation-Based Trust Systems / Sini Ruohomaa, Lea Kutvonen -- Strategic and Tactic Aspects of Enterprise Interoperability. Mass Customization Oriented and Cost-Effective Service Network / Zhongjie Wang, Xiaofei Xu, Xianzhi Wang -- Toward a Methodology to Control Interoperability Improvement Projects Execution / Abderrahim Taoudi, Bouchaib Bounabat, Badr Elmir -- Ontology-Based Interoperability. A Panorama of the Semantic EAI Initiatives and the Adoption of Ontologies by these Initiatives / Julio Cesar Nardi, Ricardo de Almeida Falbo, João Paulo A. Almeida -- Using Metamodels and Ontologies for Enterprise Model Reconciliation / Sabina El Haoum, Axel Hahn.
Record Nr. NYU-004391333
[IFIP International Working Conference on Enterprise Interoperability (5th : 2013 : Enschede, Netherlands)]  
Materiale a stampa
Lo trovi qui: New York University