الصفحة 2
الصفحة 2
Web Engineering : Modelling and Implementing Web Applications
Modelling and Implementing Web Applications presents the state of the art approaches for obtaining a correct and complete Web software product from conceptual schemas, represented via well-known design notations. Describing mature and consolidated approaches to developing complex applications, this edited volume is divided into three parts and covers the challenges web application developers face; design issues for web applications; and how to measure and evaluate web applications in a consistent way.
Web and Wireless Geographical Information Systems ; Vol.4295 ; 6th International Symposium, W2GIS 2006, Hong Kong, China, December 4-5, 2006, Proceedings
These proceedings contain the papers selected for presentation at the sixth edition of the International Symposium on Web & Wireless Geographical Information Systems held in Hong Kong during December 2006. This symposium was intended to provide an up-to-date review of advances in both theoretical and technical development of 2 Web and Wireless Geographical Information Systems (W GIS). The accepted papers cover a wide range of topics from the Semantic Web, Web personalization, contextual representation and mapping to querying in mobile environments, mobile networks and recent developments in location-based services and applications.
Web and Wireless Geographical Information Systems ; Vol.3833 ; 5th International Workshop, W2GIS 2005, Lausanne, Switzerland, December 15-16, 2005, Proceedings
The aim of the series of annual W2GIS workshops is to provide an up-to-date review of advances on recent devel- ment and research results in the field of web and wireless geographical information systems. It now represents a young but rapidly - turing research community. In its 5th year, W2GIS reached new heights of recognition as a quality workshop for the dissemination and discussion on latest research and development achievements in the domain. The accepted papers cover a wide range of topics from the Semantic Web, Web personalization, contextual representation and mapping to querying in mobile environments, to mobile networks and location-based services.
Web and Wireless Geographical Information Systems ; 8th International Symposium, W2GIS 2008, Shanghai, China, December 11-12, 2008. Proceedings
This book includs but not limited to Conceptual and logical models, Data management and retrieval, Geographical search engines, Web services, Query languages and interfaces, 2D and 3D information visualization, Exploratory cartography and interfaces, Data mining, Security and usability, Location-based services, Peer-to-peer computing, Cyber-geography, Semantic geo-spatial web, Mobile & Wireless GIS, Telematics and GIS Applications, Ubiquitous GIS, Personalization and adaptation as well as Wayfinding and navigation.
Visualizing the Semantic Web : XML-based Internet and Information Visualization
This pioneering book deals specifically with the visualization of the Second-Generation Web. Now in its second edition it has been completely revised and updated, and includes extensive new material. It focuses on key topics including: Visualization of semantic and structural information and metadata in the context of the emerging Semantic Web / Ontology-based information visualization and the use of graphically represented ontologies / Semantic visualizations using topic maps and graph techniques / Web Services, e-commerce and web search applications / Recommender systems for filtering and recommending on the Semantic Web / SVG and X3D as new XML-based languages for 2D and 3D visualisations / Methods used to construct and visualize high quality metadata and ontologies / Navigating and exploring XML documents using interactive multimedia interfaces / The use of semantic association networks as well as social networks on the Second-Generation Web / Semantically enhanced solutions for the medical community / Semantic-oriented use of existing visualization methods / The design of visual interfaces for e-commerce and information retrieval is currently a challenging area of practical web development.
Visualizing Information Using SVG and X3D : XML-based Technologies for the XML-based Web
The first great graphics technology for the Web,VRML,has been mistaken for something else since its inception. Viewed variously as a game system,a format for architectural walkthroughs,a platform for multi-user chat and an augmentation of reality,VRML may qualify as the least understood invention in the history of inf- mation technology. Perhaps it is so because when VRML was originally introduced it was touted as a tool for putting the shopping malls of the world online,at once prosaic and horrifyingly mundane to those of us who were developing it. Perhaps those ?rst two initials,“VR”,created expectations of sprawling,photorealistic f- tasy landscapes for exploration and play across the Web
Visual Information and Information Systems ; 8th International Conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005, Revised Selected Papers
Vthe 8th International Conference on VISual Information Systems held in Amsterdam dealt with a variety of aspects, from visual systems of multimedia information, to systems of visual information such as image databases. Handling of visual information is boosted by the rapid increase of hardware and Internet capabilities.
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.
Verification, Model Checking, and Abstract Interpretation ; Vol. 3855 ; 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, and Abstract Interpretation,held January 8-10, 2006, at Charleston, South Carolina, USA.VMCAI provides a forum for researchers from the communities of verifica-tion, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.The program was selected from 58 submitted papers.
Verification, Model Checking, and Abstract Interpretation ; 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
The book feature current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and advancement of hybrid methods.
Verification, Model Checking, and Abstract Interpretation ; 3rd International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, Model Checking, and AbstractInterpretation, Venice (Italy), January 21-22, 2002.The main goal of the workshop was to give an overview of the main directionsdecisive for the growth and cross-fertilization of major research activities inprogram analysis and verification. The program committee selected 22 papers out of 41 submissions on the basisof at least 3 reviews. The resulting volume offers the reader an interesting perspectiveof the current research trends in the area. In particular, the papers contributeto the following topics: Security and Protocols, Timed Systems and Games,Static Analysis, Optimizations, Types and Verification, and Temporal Logicsand Systems.
Vector Semantics
Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning researchers who developed word vectors have relied primarily on the ever-increasing availability of large corpora and of computers with highly parallel GPU and TPU compute engines, and their focus is with endowing computers with natural language capabilities for practical applications such as machine translation or question answering. Cognitive linguists investigate natural language from the perspective of human cognition, the relation between language and thought, and questions about conceptual universals, relying primarily on in-depth investigation of language in use.
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due to the high cost of software errors - particularly with respect to security vulnerabilities. However, research into new analysis techniques is often hampered by the technical difficulties of analysing accesses through pointers, pointer arithmetic, coercion between types, integer wrap-around and other low-level behaviour. Axel Simon provides a concise, yet formal description of a value-range analysis that soundly approximates the semantics of C programs using systems of linear inequalities (polyhedra). The analysis is formally specified down to the bit-level while providing a precise approximation of all low-level aspects of C using polyhedral operations and, as such, it provides a basis for implementing new analyses that are aimed at verifying higher-level program properties precisely. One example of such an analysis is the tracking of the NUL position in C string buffers, which is shown as an extension to the basic analysis and which thereby demonstrates the modularity of the approach.
User Modeling 2005 ; 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings
The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ITS and adaptive advice, modeling and recognizing human activity, multimodality and ubiquitous computing, recommender systems, student modeling, user modeling and interactive systems, and Web site navigation support.
Unity, Truth and the Liar : The Modern Relevance of Medieval Solutions to the Liar Paradox
This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did not assume Uniqueness of Meaning. Stephen Read, author of the target paper, attempts to formally state a theory of truth that dates back to the 14th century logician Thomas Bradwardine; the theory offers a solution to the Liar Paradox in which the Liar sentence turns out to be false. The rest of the volume consists of papers discussing and/or challenging Read’s – and Bradwardine’s -- views one the one hand, and papers addressing the doctrinal and historical background of medieval theories of truth on the other hand. It also includes a critical edition of Heytesbury’s treatise on insolubles, closely related to Bradwardine’s view.
Unifying Theories of Programming ; 1st International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware engineer. Within these theorieswe see a number of common themes, such as abstraction, refinement, choice, ter-mination, feasibility, concurrency and communication. The commonality of suchthemes opens perspectives for unifying theories, an activity which can increaseour ability to use existing methods and notations, to recognise their limitations,and to extend and generalise them.
Unfolding Social Constructionism
This book examines social constructionism as a metatheory of psychology. It does not consider constructionist accounts of psycho-social phenomena, but it does assess certain assumptions which are said to underpin those accounts, assumptions which are primarily semantic and epistemological.
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal description of a language, it is not something that can be used as a basis for reasoning about that language nor can it serve as a definition of a programming language itself since this must allow a range of implementations. By writing a formal semantics of a language a designer can yield a far shorter description and tease out, analyse and record design choices.Early in the book the author introduces a simple notation, a meta-language, used to record descriptions of the semantics of languages. In a practical approach, he considers dozens of issues that arise in current programming languages and the key techniques that must be mastered in order to write the required formal semantic descriptions. The book concludes with a discussion of the eight key challenges: delimiting a language (concrete representation), delimiting the abstract content of a language, recording semantics (deterministic languages), operational semantics (non-determinism), context dependency, modelling sharing, modelling concurrency, and modelling exits.
Uncertainty Reasoning for the Semantic Web I ; ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
Represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty reasoning in the context of the semantic Web, capturing different models of uncertainty and approaches to deductive as well as inductive reasoning with uncertain formal knowledge.
Types for Proofs and Programs ; International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics
