feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    almafu_BV013680752
    Format: XXV, 853 S. : , Ill., graph. Darst.
    ISBN: 1-55860-508-8 , 978-1-55860-508-4
    Series Statement: The Morgan Kaufmann series in data management systems
    Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-0-585-45682-9
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Datenbanksystem ; Transaktionsverarbeitung ; Transaktionsverarbeitung ; Verteiltes Datenbanksystem ; Wiederherstellung ; Einführung ; Einführung ; Einführung
    Author information: Vossen, Gottfried 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    gbv_1647261740
    Format: Online-Ressource (digital)
    ISBN: 9783540709305
    Series Statement: Lecture Notes in Computer Science 4922
    Content: Modeling Techniques and Infrastructures -- The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software -- Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control -- A Software and System Modeling Facility for Vehicle Environment Interactions -- Model Transformations -- Generating Sound and Resource-Aware Code from Hybrid Systems Models -- Towards Verification of Model Transformations Via Goal-Directed Certification -- Quality Assurance -- An Instrumentation-Based Approach to Controller Model Validation -- TestML - A Test Exchange Language for Model-Based Testing of Embedded Software -- Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems -- Real-Time Control -- Modeling with the Timing Definition Language (TDL) -- Towards Model-Driven Development of Hard Real-Time Systems -- Services and Components -- Reusable Services and Semi-automatic Service Composition for Automotive Software.
    Content: This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006. The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
    Note: Includes bibliographical references and author index
    Additional Edition: ISBN 9783540709299
    Additional Edition: Buchausg. u.d.T. Model-driven development of reliable automotive services Berlin : Springer, 2008 ISBN 3540709290
    Additional Edition: ISBN 9783540709299
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Kraftfahrzeugelektronik ; Softwareentwicklung ; Kraftfahrzeugelektronik ; Hardwareentwurf ; Kraftfahrzeug ; Ad-hoc-Netz ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Krüger, Ingolf 1970-
    Author information: Pandu Rangan, C. 1955-
    Author information: Broy, Manfred 1949-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    gbv_1647379938
    Format: Online-Ressource (digital)
    ISBN: 9783540709879
    Series Statement: Lecture Notes in Computer Science 5149
    Content: Keynote Speakers -- Baroque Technology -- Adaptive Navigation Support for Open Corpus Hypermedia Systems -- Altruism, Selfishness, and Destructiveness on the Social Web -- Full Papers -- A Rule-Based Recommender System for Online Discussion Forums -- Locally Adaptive Neighborhood Selection for Collaborative Filtering Recommendations -- Adaptive Retrieval of Semi-structured Data -- Using Collaborative Models to Adaptively Predict Visitor Locations in Museums -- Supporting Users in Creating Pedagogically Sound Personalised Learning Objects -- Supporting Interaction Preferences and Recognition of Misconceptions with Independent Open Learner Models -- An Evidence-Based Approach to Handle Semantic Heterogeneity in Interoperable Distributed User Models -- Concept-Based Document Recommendations for CiteSeer Authors -- Social Information Access for the Rest of Us: An Exploration of Social YouTube -- (Web Search)shared: Social Aspects of a Collaborative, Community-Based Search Network -- Evaluation of ACTSim: A Composition Tool for Authoring Adaptive Soft Skill Simulations -- Modelling Semantic Relationships and Centrality to Facilitate Community Knowledge Sharing -- LS-Plan: An Effective Combination of Dynamic Courseware Generation and Learning Styles in Web-Based Education -- Pervasive Personalisation of Location Information: Personalised Context Ontology -- Using Decision Models for the Adaptive Generation of Learning Spaces -- Accuracy in Rating and Recommending Item Features -- Does ’Notice’ Prompt Noticing? Raising Awareness in Language Learning with an Open Learner Model -- Proactive Versus Multimodal Online Help: An Empirical Study -- Re-assessing the Value of Adaptive Navigation Support in E-Learning Context -- The Effectiveness of Personalized Movie Explanations: An Experiment Using Commercial Meta-data -- User-Centric Profiling on the Basis of Cognitive and Emotional Characteristics: An Empirical Study -- Towards Computerized Adaptive Assessment Based on Structured Tasks -- Adaptation of Elaborated Feedback in e-Learning -- Adaptive Link Annotation in Distributed Hypermedia Systems: The Evaluation of a Service-Based Approach -- Short Papers -- Do Students Trust Their Open Learner Models? -- A Framework for the Development of Distributed, Context-Aware Adaptive Hypermedia Applications -- Collection Browsing through Automatic Hierarchical Tagging -- Aspect-Based Personalized Text Summarization -- What Can I Watch on TV Tonight? -- Adaptive Navigation Support, Learner Control and Open Learner Models -- Newshand: A Semantic Web Approach to Recommending News -- A SOA-Based Framework to Support User Model Interoperability -- Integrated Speaker Classification for Mobile Shopping Applications -- The Authoring Tool of ADULT: Adaptive Understanding and Learning Text Environment -- Interoperability between MOT and Learning Management Systems: Converting CAF to IMS QTI and IMS CP -- Proactively Adapting Interfaces to Individual Users for Mobile Devices -- Reuse Patterns in Adaptation Languages: Creating a Meta-level for the LAG Adaptation Language -- Implementing a Multimodal Interface to a DITA User Assistance Repository -- Analysing High-Level Help-Seeking Behaviour in ITSs -- Data-Driven Prediction of the Necessity of Help Requests in ILEs -- A Dynamic Content Generator for Adaptation in Hypermedia Systems -- Automatic Generation of User Adapted Learning Designs: An AI-Planning Proposal -- Guaranteeing the Correctness of an Adaptive Tutoring System -- Designing a Personalized Semantic Web Browser -- Towards Inferring Sequential-Global Dimension of Learning Styles from Mouse Movement Patterns -- VUMA: A Visual User Modelling Approach for the Personalisation of Adaptive Systems -- Bookmark Category Web Page Classification Using Four Indexing and Clustering Approaches -- Personalization Using Ontologies and Rules -- RSS-Based Interoperability for User Adaptive Systems -- Assisting in Reuse of Adaptive Hypermedia Creator’s Models -- Demo Papers -- Convergence of Web and TV Broadcast Data for Adaptive Content Access and Navigation -- Recommending Background Information and Related Content in Web 2.0 Portals -- Adaptive Portals: Context Adaptive Navigation through Large Information Spaces -- Personalized Recommendations for the Web 3D -- Doctoral Consortium -- Adaptive User Modelling and Recommendation in Constrained Physical Environments -- Learning Style as a Parameter in a Unified e-Learning System Architecture: The Adaptive Diagnosis -- Facilitating Collaboration in Virtual Environments -- Learner Modelling in Exploratory Learning for Mathematical Generalisation -- GAF: Generic Adaptation Framework -- Engineering Information Systems towards Facilitating Scrutable and Configurable Adaptation -- Flexible Adaptivity in AEHS Using Policies -- A Validation Framework for Formal Models in Adaptive Work-Integrated Learning -- A Scrutable User Modelling Infrastructure for Enabling Life-Long User Modelling -- Merging Adaptive Hypermedia and Intelligent Tutoring Systems Using Knowledge Spaces -- SemWeB: A Semantic Web Browser for Supporting the Browsing of Users Using Semantic and Adaptive Links.
    Content: This book constitutes the refereed proceedings of the 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2008, held in Hannover, Germany in July 2008. The 24 revised full papers and 26 revised short papers presented together with abstracts of 3 keynotes, 4 demo papers, and 11 doctoral consortium posters were carefully reviewed and selected from 185 papers submitted. The papers focus on pioneering theories, techniques, and innovative technologies to provide dynamic personalization, adaptation, and contextualization of hypermedia resources and services.
    Additional Edition: ISBN 9783540709848
    Additional Edition: Buchausg. u.d.T. Adaptive hypermedia and adaptive web-based systems Berlin : Springer, 2008 ISBN 3540709843
    Additional Edition: ISBN 9783540709848
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: World Wide Web ; Anwendungssystem ; Benutzermodell ; Adaptives System ; Hypermedia ; Anwendungssystem ; Benutzermodell ; Adaptives System ; World Wide Web ; Anwendungssystem ; Benutzermodell ; Adaptives System ; Hypermedia ; Anwendungssystem ; Benutzermodell ; Adaptives System ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    gbv_1647392594
    Format: Online-Ressource (digital)
    ISBN: 9783540850724
    Series Statement: Lecture Notes in Computer Science 5132
    Content: Computational Immunology -- A Stochastic Model of the Interleukin (IL)-1? Network -- Modelling the Tunability of Early T Cell Signalling Events -- Immune Responses: A Stochastic Model -- Applied AIS -- Adaptive Spam Detection Inspired by a Cross-Regulation Model of Immune Dynamics: A Study of Concept Drift -- MOBAIS: A Bayesian Artificial Immune System for Multi-Objective Optimization -- An Advanced Clonal Selection Algorithm with Ad-Hoc Network-Based Hypermutation Operators for Synthesis of Topology and Sizing of Analog Electrical Circuits -- A Multi-Objective Multipopulation Approach for Biclustering -- Viral System to Solve Optimization Problems: An Immune-Inspired Computational Intelligence Approach -- Computing the State of Specknets: Further Analysis of an Innate Immune-Inspired Model -- A Hybrid Model for Immune Inspired Network Intrusion Detection -- Credit Card Fraud Detection with Artificial Immune System -- Artificial Immune Recognition System with Nonlinear Resource Allocation Method and Application to Traditional Malay Music Genre Classification -- Further Exploration of the Dendritic Cell Algorithm: Antigen Multiplier and Time Windows -- Evaluation and Extension of the AISEC Email Classification System -- Dynamic Polymorphic Agents Scheduling and Execution Using Artificial Immune Systems -- AIS-Based Bootstrapping of Bayesian Networks for Identifying Protein Energy Route -- A Neuro-Immune Inspired Robust Real Time Visual Tracking System -- Negative Selection with Antigen Feedback in Intrusion Detection -- A Neuro-Immune Algorithm to Solve the Capacitated Vehicle Routing Problem -- Improving Artificial Immune System Performance: Inductive Bias and Alternative Mutations -- Flexible Immune Network Recognition System for Mining Heterogeneous Data -- An Artificial Immune System for Evolving Amino Acid Clusters Tailored to Protein Function Prediction -- Optimization of Steel Catenary Risers for Offshore Oil Production Using Artificial Immune System -- An Idiotypic Immune Network as a Short-Term Learning Architecture for Mobile Robots -- Conserved Self Pattern Recognition Algorithm -- Theoretical AIS -- The Deterministic Dendritic Cell Algorithm -- Artificial Immune Systems and Kernel Methods -- Boosting the Immune System -- The Limitations of Frequency Analysis for Dendritic Cell Population Modelling -- Empirical Investigation of an Artificial Cytokine Network -- An Empirical Study of Self/Non-self Discrimination in Binary Data with a Kernel Estimator -- Position/Conceptual Papers -- The Pathways of Complement -- Adaptable Lymphocytes for Artificial Immune Systems -- On the Relevance of Cellular Signaling Pathways for Immune-Inspired Algorithms -- AIS Based Distributed Wireless Sensor Network for Mobile Search and Rescue Robot Tracking -- Eating Data Is Good for Your Immune System: An Artificial Metabolism for Data Clustering Using Systemic Computation -- An Immune System Based Multi-robot Mobile Agent Network.
    Content: This book constitutes the refereed proceedings of the 7th International Conference on Artificial Immune Systems, ICARIS 2008, held in Phuket, Thailand, in August 2008. The 40 revised full papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on computational immunology, applied AIS, and theoretical AIS. Position papers and conceptual papers are also included.
    Additional Edition: ISBN 9783540850717
    Additional Edition: Buchausg. u.d.T. Artificial immune systems Berlin : Springer, 2008 ISBN 3540850716
    Additional Edition: ISBN 9783540850717
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Künstliche Intelligenz ; Immunsystem ; Modell ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Bentley, Peter J. 1972-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    gbv_164739483X
    Format: Online-Ressource (digital)
    ISBN: 9783540851943
    Series Statement: Lecture Notes in Computer Science 5204
    Content: Invited Papers -- Quantum Experiments Can Test Mathematical Undecidability -- Computational Challenges and Opportunities in the Design of Unconventional Machines from Nucleic Acids -- Predictions for the Future of Optimisation Research -- Immune Systems and Computation: An Interdisciplinary Adventure -- Regular Contributions -- Distributed Learning of Wardrop Equilibria -- Oracles and Advice as Measurements -- From Gene Regulation to Stochastic Fusion -- A Biologically Inspired Model with Fusion and Clonation of Membranes -- Computing Omega-Limit Sets in Linear Dynamical Systems -- The Expressiveness of Concentration Controlled P Systems -- On Faster Integer Calculations Using Non-arithmetic Primitives -- A Framework for Designing Novel Magnetic Tiles Capable of Complex Self-assemblies -- The Role of Conceptual Structure in Designing Cellular Automata to Perform Collective Computation -- A Characterisation of NL Using Membrane Systems without Charges and Dissolution -- Quantum Wireless Sensor Networks -- On the Computational Complexity of Spiking Neural P Systems -- Self-assembly of Decidable Sets -- Ultrafilter and Non-standard Turing Machines -- Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder -- Automata on Multisets of Communicating Objects.
    Content: This book constitutes the refereed proceedings of the 7th International Conference on Unconventional Computation, UC 2008, held in Vienna, Austria, in August 2008. The 16 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various applications. Typical topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing, chaos and dynamical system-based computing, and various proposals for computations that go beyond the Turing model.
    Note: Includes bibliographical references and index
    Additional Edition: ISBN 9783540851936
    Additional Edition: Buchausg. u.d.T. Unconventional computation Berlin : Springer, 2008 ISBN 3540851933
    Additional Edition: ISBN 9783540851936
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Theoretische Informatik ; Soft Computing ; Bioinformatik ; Zellularer Automat ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Calude, Cristian 1952-
    Author information: Rozenberg, Grzegorz 1942-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    gbv_1647256984
    Format: Online-Ressource (digital)
    ISBN: 9783540694991
    Series Statement: Lecture Notes in Computer Science 5130
    Content: Structures in Finite Fields -- Interpolation of the Double Discrete Logarithm -- Finite Dedekind Sums -- Transitive q-Ary Functions over Finite Fields or Finite Sets: Counts, Properties and Applications -- Efficient Finite Field Arithmetic -- Fast Point Multiplication on Elliptic Curves without Precomputation -- Optimal Extension Field Inversion in the Frequency Domain -- Efficient Finite Fields in the Maxima Computer Algebra System -- Efficient Implementation and Architectures -- Modular Reduction in GF(2 n ) without Pre-computational Phase -- Subquadratic Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation -- Digit-Serial Structures for the Shifted Polynomial Basis Multiplication over Binary Extension Fields -- Classification and Construction of Mappings over Finite Fields -- Some Theorems on Planar Mappings -- Classifying 8-Bit to 8-Bit S-Boxes Based on Power Mappings from the Point of DDT and LAT Distributions -- EA and CCZ Equivalence of Functions over GF(2 n ) -- Codes and Cryptography -- On the Number of Two-Weight Cyclic Codes with Composite Parity-Check Polynomials -- On Field Size and Success Probability in Network Coding -- Montgomery Ladder for All Genus 2 Curves in Characteristic 2 -- On Cryptographically Significant Mappings over GF(2 n ).
    Content: This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI 2008, held in Siena, Italy, in July 2008. The 16 revised full papers presented were carefully reviewed and selected from 34 submissions. The papers are organized in topical sections on structures in finite fields, efficient finite field arithmetic, efficient implementation and architectures, classification and construction of mappings over finite fields, and codes and cryptography.
    Additional Edition: ISBN 9783540694984
    Additional Edition: Buchausg. u.d.T. Arithmetic of finite fields Berlin : Springer, 2008 ISBN 3540694986
    Additional Edition: ISBN 9783540694984
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Galois-Feld ; Computeralgebra ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    gbv_1647258332
    Format: Online-Ressource (digital)
    ISBN: 9783540705383
    Series Statement: Lecture Notes in Computer Science 5116
    Content: Breast Density, Texture and Risk I -- Poster Session I -- Image Analysis and CAD I -- Image Analysis and CAD II -- Image Analysis and CAD III -- Poster Session II -- Breast Density, Texture and Risk II.
    Content: This volume (5116) of Springer’s Lecture Notes in Computer Science contains the th proceedings of the 9 International Workshop on Digital Mammography (IWDM) which was held July 20 – 23, 2008 in Tucson, AZ in the USA. The IWDM meetings traditionally bring together a diverse set of researchers (physicists, mathematicians, computer scientists, engineers), clinicians (radiologists, surgeons) and representatives of industry, who are jointly committed to developing technologies to support clinicians in the early detection and subsequent patient management of breast cancer. The IWDM conference series was initiated at a 1993 meeting of the SPIE Medical Imaging Symposium in San Jose, CA, with subsequent meetings hosted every two years at sites around the world. Previous meetings were held in York, England; Chicago, IL USA; Nijmegen, Netherlands; Toronto, Canada; Bremen, Germany; Durham, NC USA and Manchester, UK. th The 9 IWDM meeting was attended by a very international group of participants, and during the two and one-half days of scientific sessions there were 70 oral presentations, 34 posters and 3 keynote addresses. The three keynote speakers discussed some of the “hot” topics in breast imaging today. Karen Lindfors spoke on “Dedicated Breast CT: Initial Clinical Experiences. ” Elizabeth Rafferty asked the question is “Breast Tomosynthesis: Ready for Prime Time?” Finally, Martin Tornai discussed “3D Multi-Modality Molecular Breast Imaging.
    Additional Edition: ISBN 9783540705376
    Additional Edition: Buchausg. u.d.T. Digital mammography Berlin : Springer, 2008 ISBN 3540705376
    Additional Edition: ISBN 9783540705376
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Mammografie ; Computerunterstütztes Verfahren ; Bildqualität ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    gbv_164740018X
    Format: Online-Ressource (digital)
    ISBN: 9783540857624
    Series Statement: Lecture Notes in Computer Science 5160
    Content: Using Design Patterns in Formal Methods: An Event-B Approach -- A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules -- The Three Platonic Models of Divergence-Strict CSP -- Monotonic Abstraction in Action -- Non-interleaving Semantics with Causality for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test Algorithms for One-Unambiguous Regular Expressions -- Refinement of Kripke Models for Dynamics -- Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers -- A Theory of Pointers for the UTP -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables -- Towards Efficient Verification of Systems with Dynamic Process Creation -- An Observational Model for Transactional Calculus of Services Orchestration -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway Decision Graphs -- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs -- Guided Test Generation from CSP Models -- Relaxing Goodness Is Still Good -- Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time -- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems -- Testing Concurrent Objects with Application-Specific Schedulers -- A Theory of Bounded Fair Scheduling -- Fair Exchange Is Incomparable to Consensus -- Automatic Generation of CSP // B Skeletons from xUML Models -- Bounded Model Checking for Partial Kripke Structures -- Verification of Linear Duration Invariants by Model Checking CTL Properties -- Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks -- Endomorphisms for Non-trivial Non-linear Loop Invariant Generation -- Instantiation for Parameterised Boolean Equation Systems.
    Content: This book constitutes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008. The 27 revised full papers were carefully reviewed and selected from over 70 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.
    Additional Edition: ISBN 9783540857617
    Additional Edition: Buchausg. u.d.T. Theoretical aspects of computing - ICTAC 2008 Berlin : Springer, 2008 ISBN 3540857613
    Additional Edition: ISBN 9783540857617
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Theoretische Informatik ; Model Checking ; Systementwicklung ; Formale Methode ; Softwareentwicklung ; Entwurfsmuster ; Formale Methode ; Kripke-Struktur ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    gbv_1647259118
    Format: Online-Ressource (digital)
    ISBN: 9783540705673
    Series Statement: Lecture Notes in Computer Science 5094
    Content: Access Control -- Dynamic Meta-level Access Control in SQL -- On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model -- Audit and Logging -- A Unified Audit Expression Model for Auditing SQL Queries -- A New Approach to Secure Logging -- Keynote -- Security, Functionality and Scale? -- Privacy I -- P4A: A New Privacy Model for XML -- Privacy-Aware Collaborative Access Control in Web-Based Social Networks -- A Privacy-Preserving Ticketing System -- The Analysis of Windows Vista Disk Encryption Algorithm -- Shared and Searchable Encrypted Data for Untrusted Servers -- Secure Construction of Contingency Tables from Distributed Data -- Web Services Security: Techniques and Challenges (Extended Abstract) -- Empirical Analysis of Certificate Revocation Lists -- Using New Tools for Certificate Repositories Generation in MANETs -- Privacy II -- Exclusive Strategy for Generalization Algorithms in Micro-data Disclosure -- Protecting the Publishing Identity in Multiple Tuples -- Panel Session: What Are the Key Challenges in Distributed Security? -- On the Applicability of Trusted Computing in Distributed Authorization Using Web Services -- Sharing but Protecting Content Against Internal Leakage for Organisations -- Regulating Exceptions in Healthcare Using Policy Spaces -- Towards Automation of Testing High-Level Security Properties -- An Attack Graph-Based Probabilistic Security Metric -- An Opinion Model for Evaluating Malicious Activities in Pervasive Computing Systems -- DIWeDa - Detecting Intrusions in Web Databases -- Securing Workflows with XACML, RDF and BPEL.
    Content: This volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSEC) held in L- don, UK, July 13–16, 2008. This year’s working conference continued its tra- tion of being a forum for disseminating original research results and practical experiences in data and applications security. This year we had an excellent program that consists of 9 research paper s- sions with 22 high-quality research papers, which were selected from a total of 56 submissions after a rigorous reviewing process by the Program Committee members and external reviewers. These sessions included such topics as access control, privacy, auditing, systems security and data security in advanced app- cation domains. In addition, the programincluded a keynote address, an invited talk and a panel session. The success of this conference was a result of the e?orts of many people. I would like to extend my appreciation to the Program Committee members and external reviewers for their hard work. I would like to thank the General Chair, SteveBarker,fortakingcareoftheorganizationaspectsoftheconferenceandfor arranging the keynote address and the panel session. I would also like to thank Claudio Ardagna for serving as the Publicity Chair and for promptly updating the conference Web page, and Don Lokuadassuriyage for serving as the Local Arrangements Chair. Special thanks go to Alfred Hofmann, Editorial Director at Springer, for agreeing to include these conference proceedings in the Lecture Notes in Computer Science series.
    Additional Edition: ISBN 9783540705666
    Additional Edition: Buchausg. u.d.T. Data and applications security ; 22: 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security, London, UK, July 13 - 16, 2008; Proceedings Berlin : Springer, 2008 ISBN 9783540705666
    Additional Edition: ISBN 354070566X
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Datenbanksystem ; Abfrage ; Datensicherung ; Zugriffskontrolle ; Anwendungssystem ; Privatsphäre ; Datensicherung ; Zugriffskontrolle ; Rechnernetz ; Systemplattform ; Trusted Computing ; Rechnernetz ; Kryptoanalyse ; Zugriffskontrolle ; Datensicherung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    gbv_1647259738
    Format: Online-Ressource (digital)
    ISBN: 9783540705857
    Series Statement: Lecture Notes in Computer Science 5068
    Content: Ubiquitous Computing -- Experience of Enhancing the Space Sensing of Networked Robots Using Atlas Service-Oriented Architecture -- A Formal Model of Coordination for Supporting Community Computing in a Ubiquitous Environment -- A User-Centered Approach for Ubiquitous Service Evaluation: An Evaluation Metrics Focused on Human-System Interaction Capability -- On Generating Backbone Trees through Robust Multi-hop Clusters in Wireless Sensor Networks -- Denial of Sleeping: Performance Analysis and Counteracting Strategy -- Groupware -- Eye, Robot: A Network Control System for Ophthalmologic Examination -- A Study of a Loosely-Coupled Groupware System for Supporting Collaboration and Coordination -- RIKI: A Wiki-Based Knowledge Sharing System for Collaborative Research Projects -- Intelligent System Design -- Unconsciously Harmonized Online Communication Based on Uninterruptibility Estimation of Interaction Partners -- A Novel Web Page Analysis Method for Efficient Reasoning of User Preference -- Mood and Recommendations: On Non-cognitive Mood Inducers for High Quality Recommendation -- Intelligent Information System Based on a Speech Web Using Fuzzy Association Rule Mining -- Restaurant Recommendation for Group of People in Mobile Environments Using Probabilistic Multi-criteria Decision Making -- Human-Robot Interaction -- Augmented Reality Based Vision System for Network Based Mobile Robot -- Embedded Robot Operating Systems for Human-Robot Interaction -- A User Interface Transmission System for Public Robots -- Development of a WS-ECA Rule Management System for a Healthcare Robot -- Virtual/Augmented Environment -- Making Reading Experience Rich with Augmented Book Cover and Bookmark -- SPATIAL POEM: A New Type of Experimental Visual Interaction in 3D Virtual Environment -- Human Genome Data Visualization Using a Wall Type Display -- An Experience with Augmenting a Mirror as a Personal Ambient Display -- Vision-Based System -- Universal Video Adaptation Model for Contents Delivery in Ubiquitous Computing -- Selective Visual Attention System Based on Spatiotemporal Features -- A Technique for Displaying Presence Information on a Live Camera Image Using 3-D Mask Objects -- Background Subtraction Based on Local Orientation Histogram -- Relationship between Viewing Distance and Visual Fatigue in Relation to Feeling of Involvement -- Mobile Interaction Design -- Tactile Icon Design Using a Vibration Actuator in Mobile Devices -- Design of 3D Mobile Phones and Application for Visual Communication -- A Comparative Evaluation of User Preferences for Mobile Chat Usable Interface -- The Impact of Multimedia Extensions for Multimedia Applications on Mobile Computing Systems -- Novel Interaction Technique -- The Use of Photo Retrieval for EEG-Based Personal Identification -- Music Wall: A Tangible User Interface Using Tapping as an Interactive Technique -- Double-Crossing: A New Interaction Technique for Hand Gesture Interfaces -- Acquisition of Off-Screen Object by Predictive Jumping -- Hands-Free Input Interface Using Mimetic Muscle Movements for Wearable Computer -- Muscle Loadings While Using Finger as Input Device -- Design and Analysis of Conceptual Sketches Based on Context Awareness -- Accuracy of Velocity Perception Generated by Tactile Apparent Motion -- Usability -- A New Framework on Measuring Customer Perceived Value in Service Interface Design -- Novice Word Processor User Performance with Pictorial and Text Icons -- Exploring Factors That Make Online Interactive Games Successful: A Heuristic Approach -- Users’ Perception and Usability Study of a Parser for Headings -- Development of Interactive Map-Based Tour Information System for Busan -- Web Accessibility -- Development of Image and Color Evaluation Algorithm for the Web Accessibility Evaluation Tools -- Longitudinal Study on Web Accessibility Compliance of Government Websites in Korea -- Korean Web Site Usability for Disabled People -- A Proxy-Based System for Translation of Internet Content into Specific Form -- The Elderly -- Extracting the Components of Elderly People’s Capacity in Electrical Appliances and Grasping Relationship with the Components -- The Choice of Communication Media and the Use of Mobile Phone among Senior Users and Young Users -- Prototyping and Evaluation for Smart Home Controller Based on Chinese Families Behavior Analysis -- Mapping User Accessibility Needs Systematically to Universal Design Principles.
    Content: This book constitutes the refereed proceedings of the 8th Asia Pacific Conference on Computer Human Interaction, APCHI 2008, held in Seoul, Korea, in July 2008. The 45 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 151 submissions. The topics addressed span the entire spectrum of HCI, including ubiquitous computing, groupware, intelligent system design, human-robot interaction, virtual / augmented environment, vision-based system, mobile interaction design, novel interaction technique, usability, Web accessibility, and elderly.
    Additional Edition: ISBN 9783540705840
    Additional Edition: Buchausg. u.d.T. Computer-human interaction Berlin : Springer, 2008 ISBN 3540705848
    Additional Edition: ISBN 9783540705840
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Mensch-Maschine-Kommunikation ; Mensch-Maschine-Kommunikation ; Mobile Computing ; Mensch-Maschine-Kommunikation ; Benutzeroberfläche ; Ergonomie ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages