| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466318203316 |
|
|
Titolo |
On the Move to Meaningful Internet Systems: OTM 2009 [[electronic resource] ] : Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I / / edited by Robert Meersman, Tharam Dillon, Pilar Herrero |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXVI, 793 p.) |
|
|
|
|
|
|
Collana |
|
Information Systems and Applications, incl. Internet/Web, and HCI ; ; 5870 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer communication systems |
Computer security |
Computers |
Database management |
Data mining |
Application software |
Computer Communication Networks |
Systems and Data Security |
Theory of Computation |
Database Management |
Data Mining and Knowledge Discovery |
Information Systems Applications (incl. Internet) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Selected conference papers. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
CoopIS 2009 Keynote -- Developing Collaborative Working Environments and What Can We Learn from Web 2.0 -- DOA 2009 Keynote -- Third Party Services for Enabling Business-to-Business Interactions -- Cooperative Information Systems (CoopIS) International Conference 2009 -- CoopIS 2009 – PC Co-chairs’ Message -- Workflow -- Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach -- A Two-Stage Probabilistic Approach to |
|
|
|
|
|
|
|
|
|
Manage Personal Worklist in Workflow Management Systems -- Flaws in the Flow: The Weakness of Unstructured Business Process Modeling Languages Dealing with Data -- Process Models -- Maintaining Compliance in Customizable Process Models -- Measuring the Compliance of Processes with Reference Models -- Ontology Challenges -- Formalized Conflicts Detection Based on the Analysis of Multiple Emails: An Approach Combining Statistics and Ontologies -- Semantic Annotations and Querying of Web Data Sources -- An Extended Petri-Net Based Approach for Supply Chain Process Enactment in Resource-Centric Web Service Environment -- Network Complexity 1 -- Anonymity and Censorship Resistance in Unstructured Overlay Networks -- An Information Brokering Service Provider (IBSP) for Virtual Clusters -- Efficient Hierarchical Quorums in Unstructured Peer-to-Peer Networks -- Network Complexity 2 -- Load-Aware Dynamic Replication Management in a Data Grid -- Resource Planning for Massive Number of Process Instances -- Assessment of Service Protocols Adaptability Using a Novel Path Computation Technique -- Modeling Cooperation -- Enhancing Business Process Automation by Integrating RFID Data and Events -- An Integrated Approach to Managing Business Process Risk Using Rich Organizational Models -- Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL -- Information Complexity -- Understanding User Preferences and Awareness: Privacy Mechanisms in Location-Based Services -- Information Sharing Modalities for Mobile Ad-Hoc Networks -- Unveiling Hidden Unstructured Regions in Process Models -- Infrastructure -- Cafe: A Generic Configurable Customizable Composite Cloud Application Framework -- Implementing Isolation for Service-Based Applications -- An Executable Calculus for Service Choreography -- The Influence of an External Transaction on a BPEL Scope -- Cooperating SQL Dataflow Processes for In-DB Analytics -- Information -- Process Fragments -- Complex Schema Match Discovery and Validation through Collaboration -- Trust- and Location-Based Recommendations for Tourism -- Collaborative Ad-Hoc Information Sharing in Cross-Media Information Environments -- Distributed Objects and Applications (DOA) International Conference 2009 -- DOA 2009 – PC Co-chairs’ Message -- Aspect-Oriented Approaches for Distributed Middleware -- Aspect-Oriented Space Containers for Efficient Publish/Subscribe Scenarios in Intelligent Transportation Systems -- Distributed Algorithms and Communication Protocols -- Parallel Interconnection of Broadcast Systems with Multiple FIFO Channels -- Distributed Databases and Transactional Systems -- Revising 1-Copy Equivalence in Replicated Databases with Snapshot Isolation -- TMBean: Optimistic Concurrency in Application Servers Using Transactional Memory -- Distributed Infrastructures for Cluster and Grid Computing -- Optimizing Data Management in Grid Environments -- Object-Based, Component-Based, Resource-Oriented, Event-Oriented and Service-Oriented Middleware -- CA3M: A Runtime Model and a Middleware for Dynamic Context Management -- Engineering Distributed Shared Memory Middleware for Java -- Peer to Peer and Decentralized Infrastructures -- CLON: Overlay Networks and Gossip Protocols for Cloud Environments -- A Solution to Resource Underutilization for Web Services Hosted in the Cloud -- Performance Analysis of Distributed Computing Systems -- On the Cost of Prioritized Atomic Multicast Protocols -- Evaluating Throughput Stability of Protocols for Distributed Middleware -- Evaluating Transport Protocols for Real-Time Event Stream Processing Middleware and Applications -- Reliability, Fault Tolerance, Quality of Service, and Real Time Support -- Reliable Communication Infrastructure for |
|
|
|
|
|
|
|
|
|
Adaptive Data Replication -- FT-OSGi: Fault Tolerant Extensions to the OSGi Service Platform -- A Component Assignment Framework for Improved Capacity and Assured Performance in Web Portals -- A Stability Criteria Membership Protocol for Ad Hoc Networks -- Proactive Byzantine Quorum Systems -- Self* Properties in Distributed Middleware -- Model-Driven Development of Adaptive Applications with Self-Adaptive Mobile Processes -- Software Engineering for Distributed Middleware Systems -- An Architecture Independent Approach to Emulating Computation Intensive Workload for Early Integration Testing of Enterprise DRE Systems -- Security and Privacy in a Connected World -- Managing Reputation in Contract-Based Distributed Systems -- Ubiquitous and Pervasive Computing -- A Distributed Approach to Local Adaptation Decision Making for Sequential Applications in Pervasive Environments. |
|
|
|
|
|
|
Sommario/riassunto |
|
This two-volume set LNCS 5870/5871 constitutes the refereed proceedings of the four confederated international conferences on Cooperative Information Systems (CoopIS 2009), Distributed Objects and Applications (DOA 2009), Information Security (IS 2009), and Ontologies, Databases and Applications of Semantics (ODBASE 2009), held as OTM 2009 in Vilamoura, Portugal, in November 2009. The 83 revised full papers presented together with 4 keynote talks were carefully reviewed and selected from a total of 234 submissions. Corresponding to the four OTM 2009 main conferences CoopIS, DOA, IS, and ODBASE the papers are organized in topical sections on workflow; process models; ontology challenges; network complexity; modeling cooperation; information complexity; infrastructure; information; aspect-oriented approaches for distributed middleware; distributed algorithms and communication protocols; distributed infrastructures for cluster and Grid computing; object-based, component-based, resource-oriented, event-oriented, and service-oriented middleware; peer-to-peer and centralized infrastructures; performance analysis of distributed computing systems; reliability, fault tolerance, quality of service, and real time support; self* properties in distributed middleware; software engineering for distributed middleware systems; security and privacy in a connected world; ubiquitous and pervasive computing; information systems security; privacy and authentication; security policies and verification; managing ontologies; using ontologies; event processing; dealing with heterogeneity; building knowledge bases; and XML and XML schema. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910373950503321 |
|
|
Titolo |
Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems : The Fourth International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant (ISNPP) / / edited by Yang Xu, Yongbin Sun, Yanyang Liu, Yanjun Wang, Pengfei Gu, Zheming Liu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 571 p. 306 illus., 154 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Electrical Engineering, , 1876-1119 ; ; 595 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Measurement |
Measuring instruments |
Nuclear engineering |
Security systems |
Data protection |
Radiation dosimetry |
Measurement Science and Instrumentation |
Nuclear Energy |
Security Science and Technology |
Data and Information Security |
Radiation Dosimetry and Protection |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Test and research on electromagnetic compatibility of nuclear power plant -- Development and application of digital control system for nuclear power -- Validation & Verification of control system software for digital Instrumentation -- Development and application of new products and technologies for nuclear safety instrumentation -- Operation and management of instrumentation and control system in nuclear power plant -- Demonstration of instrumentation and control system in nuclear power plant -- Other relevant content. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents a compilation of selected papers from the Fourth |
|
|
|
|
|
|
|
|
|
|
International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant, held in August 2019 in Guiyang, China. The purpose of the symposium was to discuss inspection, testing, certification and research concerning the software and hardware of instrument and control (I&C) systems used at nuclear power plants (NPP), such as sensors, actuators and control systems. The event provides a venue for exchange among experts, scholars and nuclear power practitioners, as well as a platform for the combination of teaching and research at universities and enterprises to promote the safe development of nuclear power plants. Readers will find a wealth of valuable insights into achieving safer and more efficient instrumentation and control systems. |
|
|
|
|
|
| |