Page 1
Page 1
Verified Software: Theories, Tools, Experiments ; 2nd International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.
The semantic web : Research and applications ; Vol. 3532 ; 2nd European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proceedings
The vision of the Semantic Web is to enhance today’s Web via the exploi- tion of machine-processable metadata. The explicit representation of the sem- tics of data, accompanied with domain theories (ontologies), will enable a web that provides a qualitatively new level of service. It will weave together an - crediblylargenetworkofhumanknowledgeandwillcomplementitwithmachine processability. Various automated services will help the user to achieve goals by accessing and providing information in a machine-understandable form. This process may ultimately create extremely knowledgeable systems with various specialized reasoning services systems. Many technologies and methodologies are being developed within arti?cial intelligence, human language technology, machine learning, databases, software engineering and information systems that can contribute to the realization of this vision.
The Semantic Web – ASWC 2006 ; 1st Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings
This book constitutes the refereed proceedings of the First Asian Semantic Web Conference, ASWC 2006, held in Beijing, China, in September 2006. The 36 revised full papers and 36 revised short papers presented together with three invited contributions were carefully reviewed and selected from 208 full paper submissions. The papers are organized in topical sections
The Science of Citizen Science
This book discusses how the involvement of citizens into scientific endeavors is expected to contribute to solve the big challenges of our time, such as climate change and the loss of biodiversity, growing inequalities within and between societies, and the sustainability turn. The field of citizen science has been growing in recent decades.
Testing of software and communicating systems ; 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia.
Testing of Communicating Systems ; Vol. 3964 ; 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). The proceedings contain 23 papers that were selected from 48 submissionsin a carefully designed and transparent paper selection process. TestCom 2006consisted of 8 sessions, whose scope covered:–Testing theory and foundations–Testing non-deterministic and probabilistic systems–Testing the Internet and industrial systems–TTCN-3–Compositional and distributed testing–FSM-based testing and diagnosis–Testing timed systems–Testing for security
Standardization and Expectations
Technological progress has brought about a multitude of standardization problems. For instance, compatibility standards ensure the interoperability of goods, which is of decisive importance when users face positive externalities in consumption. Consumers' expectations are key to the problem of whether a new technology will prevail as de-facto standard or not. Early adopters must be confident that the network good will be successful.
Software Technologies ; 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers
Constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019. The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.
Software Composition ; Vol. 4089 ; 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers
This LNCS volume contains the proceedings of the 5th International S- posium on Software Composition, which was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Vienna, Austria, 2006. The main program consisted of pres- tations of research papers on software compositions. These proceedings contain the revised versions of the papers presented at SC 2006.
Software composition ; Vol. 3628 ; 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
Component-based software development is the next step after object-oriented programming that promises to reduce complexity and improve reusability. These advantages have also been identified by the industry, and consequently, over the past years, a large number of component-based techniques and processes have been adopted in many of these organizations.
Software Composition ; 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
The goal of the International Symposia on Software Composition is to advance the state of the research in component-based software development.
Software Composition ; 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
On behalf of the Organizing Committee we are pleased to present the proceedings of the 2007 Symposium on Software Composition (SC2007).The goal of SC2007 was to bring together the research and industrial communities in order to address the challenges of the component-based softwaredevelopment approach. SC 2007 was the sixth symposium on software composition in the SC series that seeks to develop a better understanding of how software components may be used to build and maintain large software systems. This LNCS volume contains the revised versions of the papers presented at SC 2007, which was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Braga, Portugal, March 24–25, 2007.
Semantic Web for Effective Healthcare Systems
Summarizes the trends and current research advances in web semantics, delineating the existing tools, techniques, methodologies, and research solutions. Analyzes the current status on how the semantic web is used to solve health data integration and interoperability problems, and how it provides advanced data linking capabilities that can improve search and retrieval of medical data. Chapters analyze the tools and approaches to semantic health data analysis and knowledge discovery. The book discusses the role of semantic technologies in extracting and transforming healthcare data before storing it in repositories. It also discusses different approaches for integrating heterogeneous healthcare data. This book offers: The first of its kind and highlights only the ontology driven information retrieval mechanisms and techniques being applied to healthcare as well as clinical information systems ; Presents a comprehensive examination of the emerging research in areas of the semantic web ; Discusses studies on new research areas including ontological engineering, semantic annotation and semantic sentiment analysis ; Helps readers understand key concepts in semantic web applications for the biomedical engineering and healthcare fields ; Includes coverage of key application areas of the semantic web.
Semantic Multimedia ; 3rd International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings
The book cover topics such as semantic analysis and multimedia, semantic retrieval and multimedia, semantic metadata management of multimedia, semantic user interfaces for multimedia, semantics in visualization and computer graphics, as well as applications of semantic multimedia.
Semantic Multimedia ; 1st International Conference on Semantic and Digital Media Technologies, SAMT 2006, Athens, Greece, December 6-8, 2006, Proceedings
This book constitutes the refereed proceedings of the First International Conference on Semantics and Digital Media Technologies, SAMT 2006, held in Athens, Greece in December 2006.
Research and Advanced Technology for Digital Libraries ; 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings
This book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies and system evaluation, from content-centric to person-centric systems, citation analysis, collection building, user interfaces and personalization, interoperability, information retrieval, and metadata generation.
Public Key Infrastructure ; 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings
These proceedings contain the papers accepted at the 2007 European PKI Workshop: Theory and Practice (EuroPKI 2007), held in Palma de Mallorca, Spain, during June 28–30, and hosted by the Computer Science Department of the University of Balearic Islands (UIB).
Opening Science : The evolving guide on how the Internet is changing research, Collaboration and scholarly publishing
Modern information and communication technologies, together with a cultural upheaval within the research community, have profoundly changed research in nearly every aspect. Ranging from sharing and discussing ideas in social networks for scientists to new collaborative environments and novel publication formats, knowledge creation and dissemination as we know it is experiencing a vigorous shift towards increased transparency, collaboration and accessibility. Many assume that research workflows will change more in the next 20 years than they have in the last 200. This book provides researchers, decision makers, and other scientific stakeholders with a snapshot of the basics, the tools, and the underlying visions that drive the current scientific (r)evolution, often called ‘Open Science.’
Open Source GIS : A GRASS GIS Approach
With this third edition of Open Source GIS: A GRASS GIS Approach, we enter the new era of GRASS6, the first release that includes substantial new code developed by the International GRASS Development Team. The dramatic growth in open source software libraries has made GRASS6 development more efficient, and has enhanced GRASS interoperability with a wide range of open source and proprietary geospatial tools.
Ontologies for Agents : Theory and Experiences
On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number of applications have bene?ted from the use of ontologies as a means to achieve semantic interoperability among heterogeneous, distributed systems. In principle ontologies and agents are a match made in heaven, that has failed to happen. What makes a simple piece of software an agent is its ability to communicate in a ”social” environment, to make autonomous decisions, and to be proactive on behalf of its user. Communication ultimately depends on und- standing the goals, preferences, and constraints posed by the user. Autonomy is theabilitytoperformataskwithlittleornouserintervention,whileproactiveness involves acting autonomously with no need for user prompting. Communication, but also autonomy and proactiveness, depend on knowledge. The ability to c- municate depends on understanding the syntax (terms and structure) and the semantics of a language. Ontologies provide the terms used to describe a domain and the semantics associated with them. In addition, ontologies are often comp- mented by some logical rules that constrain the meaning assigned to the terms. These constraints are represented by inference rules that can be used by agents to perform the reasoning on which autonomy and proactiveness are based.
