LEADER 05358nam 22008895 450 001 9910483048603321 005 20251226200514.0 010 $a1-280-94077-8 010 $a9786610940776 010 $a3-540-72736-1 024 7 $a10.1007/978-3-540-72736-1 035 $a(CKB)1000000000478473 035 $a(EBL)3037345 035 $a(SSID)ssj0000244402 035 $a(PQKBManifestationID)11208829 035 $a(PQKBTitleCode)TC0000244402 035 $a(PQKBWorkID)10164494 035 $a(PQKB)11053101 035 $a(DE-He213)978-3-540-72736-1 035 $a(MiAaPQ)EBC3037345 035 $a(MiAaPQ)EBC6700456 035 $a(Au-PeEL)EBL6700456 035 $a(PPN)123162637 035 $a(EXLCZ)991000000000478473 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aService Availability $e4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings /$fedited by Miroslaw Malek, Manfred Reitenspieß, Aad van Moorsel 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (163 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v4526 300 $aDescription based upon print version of record. 311 08$a3-540-72735-3 320 $aIncludes bibliographical references and index. 327 $aAutonomous Decentralized System for Service Assurance and Its Application -- Autonomous Decentralized System for Service Assurance and Its Application -- Middleware -- A Message Oriented Middleware Solution Enabling Non-repudiation Evidence Generation for Reliable Web Services -- Comparing Robustness of AIS-Based Middleware Implementations -- Service-Oriented Operating System: A Key Element in Improving Service Availability -- Software Systems -- Implementation of Highly Available Memory Database as SAF Component -- Fault Tolerant Schemes for Hot-Swappable and Non Hot-Swappable Mezzanine Cards -- Experience in Developing a High Availability and Continuous TCP Using OpenAIS and TCPCP -- Modeling and Analysis -- Client-Centric Performance Analysis of a High-Availability Cluster -- A Faster Estimation Algorithm for Periodic Preventive Rejuvenation Schedule Maximizing System Availability -- Model-Driven Development and Human Engineering -- An Eclipse-Based Framework for AIS Service Configurations -- MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems -- Applying US DoD Human Engineering Methods to Reduce Procedural Error Related Outages. 330 $aProgram Chairs? Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition of its predecessors by bringing together researchers and practitioners from both academia and industry to address the problems of service availability. The unique characteristic of a strong academic and industrial partnership was vividly - flected in this year?s event, from the Organizing Committee to the contributions and the participants. Recognizing the value of broadening the scope of ISAS 2007, we included new topic areas that cover model-driven design and human factors. We received a total of 25 submissions, each of which was thoroughly reviewed by at least three members of the Program Committee. Due to the limited time allocated for the symposium, many worthwhile manuscripts unfortunately did not make it into the final program. Our sincere thanks go to the Program Committee for conducting a vigorous review process in a rather tight time schedule. The detailed reviews and their generous comments have shaped the contributions into an excellent program. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v4526 606 $aComputer science 606 $aComputer networks 606 $aApplication software 606 $aInformation storage and retrieval systems 606 $aSoftware engineering 606 $aElectronic data processing$xManagement 606 $aTheory of Computation 606 $aComputer Communication Networks 606 $aComputer and Information Systems Applications 606 $aInformation Storage and Retrieval 606 $aSoftware Engineering 606 $aIT Operations 615 0$aComputer science. 615 0$aComputer networks. 615 0$aApplication software. 615 0$aInformation storage and retrieval systems. 615 0$aSoftware engineering. 615 0$aElectronic data processing$xManagement. 615 14$aTheory of Computation. 615 24$aComputer Communication Networks. 615 24$aComputer and Information Systems Applications. 615 24$aInformation Storage and Retrieval. 615 24$aSoftware Engineering. 615 24$aIT Operations. 676 $a004.6 702 $aMalek$b Miroslaw 702 $aReitenspiess$b Manfred 702 $aMoorsel$b Aad van 712 12$aInternational Service Availability Symposium 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483048603321 996 $aService Availability$9772157 997 $aUNINA LEADER 05328nam 22009495 450 001 9910483041503321 005 20251226202218.0 010 $a3-540-76876-9 024 7 $a10.1007/978-3-540-76876-0 035 $a(CKB)1000000000490612 035 $a(SSID)ssj0000317951 035 $a(PQKBManifestationID)11230725 035 $a(PQKBTitleCode)TC0000317951 035 $a(PQKBWorkID)10294636 035 $a(PQKB)10097715 035 $a(DE-He213)978-3-540-76876-0 035 $a(MiAaPQ)EBC3063018 035 $a(MiAaPQ)EBC336937 035 $a(MiAaPQ)EBC6698773 035 $a(Au-PeEL)EBL336937 035 $a(OCoLC)191471405 035 $a(Au-PeEL)EBL6698773 035 $a(PPN)123729092 035 $a(EXLCZ)991000000000490612 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aGeoSpatial Semantics $eSecond International Conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007 /$fedited by Frederico Fonseca, M. Andrea Rodriguez, Sergei Levashkin 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (V, 289 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v4853 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-76875-0 320 $aIncludes bibliographical references and index. 327 $aModels and Languages for Geo-Ontologies -- Two Types of Hierarchies in Geospatial Ontologies -- Semantic Annotation of Maps Through Knowledge Provenance -- Architecture for a Grounded Ontology of Geographic Information -- Alignment and Integration of Geo-Ontologies -- Towards Effective Geographic Ontology Matching -- An Algorithm for Merging Geographic Datasets Based on the Spatial Distributions of Their Values -- Structure-Based Methods to Enhance Geospatial Ontology Alignment -- Ontology-Based Spatial Information Retrieval -- Geographic Information Retrieval by Topological, Geographical, and Conceptual Matching -- A Rule-Based Description Framework for the Composition of Geographic Information Services -- Algorithm, Implementation and Application of the SIM-DL Similarity Server -- Formal Representation for GeoSpatial Data -- A Location and Action-Based Model for Route Descriptions -- Spatio-temporal Conceptual Schema Development for Wide-Area Sensor Networks -- Modeling Spatio-temporal Network Computations: A Summary of Results -- Integration of Semantics into Spatial Query Processing -- Building Geospatial Ontologies from Geographical Databases -- Applying Spatial Reasoning to Topographical Data with a Grounded Geographical Ontology -- Supporting Complex Thematic, Spatial and Temporal Queries over Semantic Web Data -- Short Papers -- Semantic Similarity Applied to Generalization of Geospatial Data -- Towards Semantics for Map Styles -- DAGIS: A Geospatial Semantic Web Services Discovery and Selection Framework -- The Gravity Data Ontology: Laying the Foundation for Workflow-Driven Ontologies. 330 $aThis book constitutes the refereed proceedings of the Second International Conference on GeoSpatial Semantics, GeoS 2007, held in Mexico City, Mexico in November 2007. The 15 revised full papers presented together with 4 revised short papers were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on models and languages for geo-ontologies, alignment and integration of geo-ontologies, ontology-based spatial information retrieval, formal representation for geospatial data, and integration of semantics into spatial query processing. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v4853 606 $aDatabase management 606 $aData mining 606 $aArtificial intelligence 606 $aApplication software 606 $aBusiness information services 606 $aEarth sciences 606 $aDatabase Management 606 $aData Mining and Knowledge Discovery 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 606 $aIT in Business 606 $aEarth Sciences 615 0$aDatabase management. 615 0$aData mining. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aBusiness information services. 615 0$aEarth sciences. 615 14$aDatabase Management. 615 24$aData Mining and Knowledge Discovery. 615 24$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 615 24$aIT in Business. 615 24$aEarth Sciences. 676 $a910.285 686 $aDAT 616f$2stub 686 $aDAT 825f$2stub 686 $aGEO 007f$2stub 686 $aRB 10104$2rvk 686 $aSS 4800$2rvk 702 $aFonseca$b Frederico 702 $aRodri?guez$b M. Andrea 702 $aLevashkin$b Sergei 712 12$aInternational Conference on Geospatial Semantics 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483041503321 996 $aGeoSpatial Semantics$9772732 997 $aUNINA