close
1.

図書

図書
Johann Blieberger, Alfred Strohmeier (eds.)
出版情報: Berlin : Springer, c2002  xiii, 366 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2361
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Embedded Systems Unsuitable for Object Orientation / Maarten Boasson
On Architectural Stability and Evolution / Mehdi Jazayeri
Encapsulating Failure Detection: From Crash to Byzantine Failures / Assia Doudou ; Benoit Garbinato ; Rachid Guerraoui
Contextware: Bridging Physical and Virtual Worlds / Alois Ferscha
Embedded Systems
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors / Alexander Chatzigeorgiou ; George Stephanides
OMC-INTEGRAL Memory Management / Jose Manuel Pérez Lobato ; Eva Martín Lobo
Language Issues of Compiling Ada to Hardware / Michael Ward ; Neil C. Audsley
Case Studies
Software Development Reengineering - An Experience Report / Adrian Hoe
Development of a Control System for Teleoperated Robots Using UML and Ada95 / Francisco J. Ortiz ; Alejandro S. Martínez ; Barbara Álvarez ; Andres Iborra ; José M. Fernández
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable
Execution of Dynamically Uploaded Applications / Walter Binder ; Balazs Lichtl
Real-Time Systems
A POSIX-Ada Interface for Application-Defined Scheduling / Mario Aldea Rivas ; Michael González Harbour
High-Integrity Systems
Closing the Loop: The Influence of Code Analysis on Design / Peter Amey
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT / Paul Parkinson ; Franco Gasperoni
Ada Language
How to Use GNAT to Efficiently Preprocess New Ada Sentences / Javier Miranda ; Francisco Guerra ; Ernestina Martel ; Jose Martín ; Alexis González
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada / Robert Dewar ; Olivier Hainque ; Dirk Craeynest ; Philippe Waroquiers
Adding Design by Contract to the Ada Language / Ehud Lamm
Program Analysis
Static Dependency Analysis for Concurrent Ada 95 Programs / Zhenqiang Chen ; Baowen Xu ; Jianjun Zhao ; Hongji Yang
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 / Krzysztof Czarnecki ; Michael Himsolt ; Ernst Richter ; Falk Vieweg ; Alfred Rosskopf
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study / Yuen T. Yu ; Man F. Lau
Tools
About the Difficulties of Building a Pretty-Printer for Ada / Sergey Rybin ; Alfred Strohmeier
A Tailorable Distributed Programming Environment
Distributed Systems
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components / Julio L. Medina ; J. Javier Gutiérrez ; José M. Drake
Transparent Environment for Replicated Ravenscar Applications / Luís Miguel Pinho ; Francisco Vasques
Concurrency Control in Transactional Drago / Marta Patiño-Martínez ; Ricardo Jimenez-Peris ; Jörg Kienzle ; Sergio Arévalo
Libraries, APIs, and Bindings
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard / Agustin Espinosa Minguet ; Ana Gargia Fornes ; Alfons Crespo i Lorente
GNAT Ada Database Development Environment / Michael Erdmann
Object-Orientation
Ada, Interfaces and the Listener Paradigm / Jean-Pierre Rosen
Using Object Orientation in High Integrity Applications: A Case Study / Alejandro Alonso ; Roberto López ; Tullio Vardanega ; Juan Antonio de la Puente
Author Index
Invited Papers
Embedded Systems Unsuitable for Object Orientation / Maarten Boasson
On Architectural Stability and Evolution / Mehdi Jazayeri
2.

図書

図書
Stuart Anderson, Sandro Bologna, Massimo Felici (eds.)
出版情報: Berlin : Springer, c2002  xx, 346 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2434
所蔵情報: loading…
3.

図書

図書
Alberto Pettorossi (ed.)
出版情報: Berlin : Springer, c2002  viii, 265 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2372
所蔵情報: loading…
4.

図書

図書
Michael S. Lew, Nicu Sebe, John P. Eakins (eds.)
出版情報: Berlin : Springer, c2002  xii, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2383
所蔵情報: loading…
目次情報: 続きを見る
Challenges of Image and Video Retrieval / Michael S. Lew ; Nicu Sebe ; John P. Eakins
Image Retrieval I (Oral)
Visualization, Estimation and User-Modeling for Interactive Browsing of Image Libraries / Qi Tian ; Baback Moghaddam ; Thomas S. Huang
Robust Shape Matching / Michael Lew
Semantics-Based Image Retrieval by Region Saliency / Wei Wang ; Yuqing Song ; Aidong Zhang
The Truth about Corel - Evaluation in Image Retrieval / Henning Müller ; Stephane Marchand-Maillet ; Thierry Pun
Non-retrieval: Blocking Pornographic Images / Alison Bosson ; Gavin C. Cawley ; Yi Chan ; Richard Harvey
Modelling I (Poster)
A Linear Image-Pair Model and the Associated Hypothesis Test for Matching / Gregory Cox ; Gerhard de Jager
On the Coupled Forward and Backward Anisotropic Diffusion Scheme for Color Image Enhancement / Bogdan Smolka ; Konstantinos ; N. Plataniotis
Multiple Regions and Their Spatial Relationship-Based Image Retrieval / ByoungChul Ko ; Hyeran Byun
Feature Based Retrieval (Poster)
Query by Fax for Content-Based Image Retrieval / Mohammad F. A. Fauzi ; Paul H. Lewis
Spectrally Layered Color Indexing / Guoping Qiu ; Kin-Man Lam
Using an Image Retrieval System for Vision-Based Mobile Robot Localization / Jürgen Wolf ; Wolfram Burgard ; Hans Burkhardt
JPEG Image Retrieval Based on Features from DCT Domain / Guocan Feng ; Jianmin Jiang
Image Retrieval Methods for a Database of Funeral Monuments / A. Jonathan Howell ; David S. Young
Semantics/Learning I (Poster)
AtomsNet: Multimedia Peer2Peer File Sharing / Willem de Bruijn
Visual Clustering of Trademarks Using the Self-Organizing Map / Mustaq Hussain ; John Eakins ; Graham Sexton
FACERET: An Interactive Face Retrieval System Based on Self-Organizing Maps / Javier Ruiz-del-Solar ; Pablo Navarrete
Object-Based Image Retrieval Using Hierarchical Shape Descriptor / Man- Wai Leung ; Kwok-Leung Chan
Video Retrieval (Oral)
Multimodal Person Identification in Movies / Jeroen Vendrig ; Marcel Worring
Automated Scene Matching in Movies / F. Schaffalitzky ; A. Zisserman
Content Based Analysis for Video from Snooker Broadcasts / H. Denman ; N. Rea ; A. Kokaram
Retrieval of Archival Moving Imagery - CBIR Outside the Frame? / Peter G. B. Enser ; Criss J. Sandom
Challenges for Content-Based Navigation of Digital Video in the Físchlár Digital Library / Alan F. Smeaton
Image Retrieval II (Oral)
Spin Images and Neural Networks for Efficient Content-Based Retrieval in 3D Object Databases / Pedro A. de Alarcón ; Alberto D. Pascual-Montano ; José M. Carazo
Size Functions for Image Retrieval: A Demonstrator on Randomly Generated Curves / A. Brucale ; M. d'Amico ; M. Ferri ; L. Gualandri ; A. Lovato
An Efficient Coding of Three Dimensional Colour Distributions for Image Retrieval / Jeff Berens ; Graham D. Finlayson
Content-Based Retrieval of Historical Watermark Images: I-tracings / K. Jonathan Riley
Semantics/Learning II (Poster)
Object Recognition for Video Retrieval / Rene Visser ; Nicu Sehe ; Erwin Bakker
Semantic Video Retrieval Using Audio Analysis / Erwin M. Bakker
Extracting Semantic Information from Basketball Video Based on Audio-Visual Features / Kyungsu Kim ; Junho Choi ; Namjung Kim ; Pankoo Kim
Video Indexing and Retrieval for Archeological Digital Library, CLIOH / Jeffrey Huang ; Deepa Umamaheswaran ; Mathew Palakal
Fast k-NN Image Search with Self-Organizing Maps / Kun Seok Oh ; Aghbari Zaher ; Pan Koo Kim
Video Retrieval by Feature Learning in Key Frames / Marcus J. Pickering ; Stefan M. Rüger ; David Sinclair
Modelling II (Poster)
Local Affine Frames for Image Retrieval / Štěpán Obdržálek ; Jiří Matas
A Ranking Algorithm Using Dynamic Clustering for Content-Based Image Retrieval / Gunhan Park ; Yunju Baek ; Heung-Kyu Lee
Online Bayesian Video Summarization and Linking / Xavier Orriols ; Xavier Binefa
Face Detection for Video Summaries / Jean Emmanuel Viallet ; Olivier Bernier
Evaluation/Benchmarking (Poster)
A Method for Evaluating the Performance of Content-Based Image Retrieval Systems Based on Subjectively Determined Similarity between Images / John A. Black ; Jr ; Gamal Fahmy ; Sethuraman Panchanathan
Evaluation of Salient Point Techniques / N. Sebe ; Q. Tian ; E. Loupias ; M. Lew ; T. Huang
Personal Construct Theory as a Research Tool for Analysing User Perceptions of Photographs / Mary A. Burke
Author Index
Challenges of Image and Video Retrieval / Michael S. Lew ; Nicu Sebe ; John P. Eakins
Image Retrieval I (Oral)
Visualization, Estimation and User-Modeling for Interactive Browsing of Image Libraries / Qi Tian ; Baback Moghaddam ; Thomas S. Huang
5.

図書

図書
Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler (eds.)
出版情報: Berlin : Springer, c2002  xxii, 794 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2398
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Structured Access to Documents, Digital Talking Books, and Beyond: The DAISY Consortium / George Kerscher
eEurope - eAccessibility - User Participation Participation of People with Disabilities and Older People in the Information Society (Introduction to the Special Thematic Session) / Christian Bühler
From Research to Business Improving the Take Up of Results of Research Projects Introduction to the Workshop
Universal Access to Information Society Technologies: Opportunities for People with Disabilities
Accessibility and Usability of eCommerce Systems / Constantine Stephanidis ; Pier Luigi Emiliani ; Keith Gladstone ; Cathy Rundle ; Tara Alexander
Recommending Context-Sensitive and Process-Oriented Tourist Information to the Disabled - The PALIO Case / Michael Pieper
WebSite Accessibility Auditing Tool for Visually Deficient Persons OCAWA / Denis Chêne ; Michel Hoël
User-Centered Interface Design for Disabled and Elderly People: First Experiences with Designing a Patient Communication System (PACOSY) / Andreas Holzinger
The Disappearing Computer: Emerging Opportunities and Challenges for Disabled and Elderly People
New Technologies and Services for Disabled and Elderly People in the Emerging Information Society
A Strategy to Achieve the Accessibility of Public Web Sites / Sylvie Duchateau ; Denis Boulay ; Claudine Tchang-Ayo ; Dominique Burger
Accessibility and Affordance for Voice Interactive Systems with the VoiceXML Technology / Régis Privat ; Nadine Vigouroux ; Philippe Truillet ; Bernard Oriola
Computer and Inclusive Education
National Information and Communication Technology Policies - Their Impact upon the Use of ICT in Special Needs Education (SNE) / Ewald Feyerer ; Amanda Watkins ; Harald Weber
EUN Virtual School Special Needs Education / Walter Rainwald
Tutorial Systems to Teach Standard Applications to the Learning Disabled
The Vickie Project / Dominique Archambault
Using Adaptive Hypermedia to Evaluate Basic Arithmetic Skills in Special Education / Jaakko Kurhila ; Hanna Varjola
ICT and Assistive Technology in Teachers Education and Training / Klaus Miesenberger ; David Wohlhart
Bridging the Information Gap between IST and SEN - A Practical Approach on European Level / Jørgen Greve
Evaluational Study: Training with Animated Pedagogical Agents / Yehya Mohamad ; S. Hammer ; F. Haverkamp ; M. Nöker ; H. Tebarth
Usage of Modern Technologies - A Chance for People with Special Needs?! - Pedagogically Relevant Criteria for the Review of Educational Software Exemplified by "Step by Step 3" / Barbara Prazak ; Mathilde Niehaus
Social Innovation in the Information Society - Take It Easy - / Cordula Edler
ODL: Inclusive - Improving Inclusive Teaching through Online Training
Accessible E-learning: Infrastructure and Content / Norman Coombs
Addizionario: Words in Your Pocket / Giovanna Turrini ; Laura Cignoni ; Alessandro Paccosi
Virtual Reality
Virtual Travel Training for People with Learning Disabilities Accessing Employment Including the Introduction to the Special Thematic Session "Virtual Reality" / N. Shopland ; J. Lewis ; D.J. Brown ; H.M. Powell
Assessing Virtual Reality as a Tool for Support Imagination / F. Alcantud ; G. Herrera ; G. Labajo ; I. Dolz ; C. Gayá ; V. Avila ; A. Blanquer ; J.L. Cuesta ; J. Arnáiz
Literacy and Numeracy Edutainment Packages for Disaffected Young Learners / M. Yazdanparast
Control of Virtual Environments for People with Intellectual Disabilities / P.J. Standen ; S. Battersby ; T.L. Lannen
Online Gardening to Promote Social Inclusion / S.J. Battersby ; N. Kelly
Hearing Impaired People - Computers and Communication
Selective Phoneme Spotting for Realization of an /s, z, C, t/ Transposer / D. Bauer ; A. Plinge ; M. Finke
A Multimedia Based Software for Non-Japanese to Learn Japanese Sign Language / Flavio Oliveira ; Iwao Kobayashi ; Mitsumasa Sugawara
The User Interface Design for the Sign Language Translator in a Remote Sign Language Interpretation System / Hiroki Minagawa ; Ichiro Naito ; Nobuko Kato ; Hiroshi Murakami ; Yasushi Ishihara
The See-through Head Mount Display as the Information Offering Device for the Hearing Impaired Students / Tomoyuki Nishioka
Digital Speech Signal Processing to Compensate Severe Sensory Hearing Deficits: The /s, z, C, t/ Transposer Module in Simulation - An Overview and Examples
Computers for the Development of Young Disabled Children
Multimedia Games for Visually Impaired Children / Aurélie Buaud ; Harry Svensson
Technical Assistance for Motor- and Multiple Disabled Children - Some Long Term Experiences / Paul Panek ; Christian Beck ; Stefan Mina ; Gottfried Seisenbacher ; Wolfgang L. Zagler
The Design of an Adaptive Web Browser for Young Children with Reading Difficulties / Chi Nung Chu ; Tien Yu Li ; Ming Chung Chen
Can All Young Disabled Children Play at the Computer? / Anita Hildén ; Jenny Hammarlund
TL a Language to Create Games for Visually Impaired Children / Antoine Dutot ; Damien Olivier
Mobility Impaired People - Individual Autonomy and HCI
Power Assist System HAL-3 for Gait Disorder Person / Hiroaki Kawamoto ; Yoshiyuki Sankai
Computer Access Assessment for Persons with Physical Disabilities: A Guide to Assistive Technology Interventions / Ting-Fang Wu ; Ling-Fu Meng ; Hwa-Pey Wang ; Wu-Tien Wu ; Tien-Yu Li
A Proposal of Effective Motion Learning Method Using Sensory Feedback for Walk-Disabled People / Junji Ohyama
Control Method of Walking Speed and Step Length for Hybrid Assistive Leg / Masako Nozawa
The Development of Gait Training System for Computer-Aided Rehabilitation / Hidetaka Ikeuchi ; Satoshi Arakane ; Kengo Ohnishi ; Keiji Imado ; Yukio Saito ; Hiroomi Miyagawa
Accessing Internet Courses by Eye Movement and Head Movement / James Gips ; Philip A. DiMattia ; Marialice Curran ; Debra Lees ; Maureen Gates
The Program for Improving the Working Interfaces and Increasing the Work Competencies of People with Severe Physical Disabilities: The Evaluation, Design, and Training of the Adaptive Computer Devices / Tien-yu Li ; Chien-Huey Sophie Chang ; Ming-Chung Chen ; Chi-Nung Chu ; Arr-Ming Chou ; Tony Yang ; Chin-Chen Hui ; Ai-Chiao Ku ; Yun-Lung Lin
Typing - Alternative and Augmentative Communication
Matching Typing Persons and Intelligent Interfaces
FASTY - A Multi-lingual Approach to Text Prediction / Johannes Matiasek ; Marco Baroni ; Harald Trost
Informing Flexible Abbreviation Expansion for Users with Motor Disabilities / Tim Willis ; Helen Pain ; Shari Trewin ; Stephen Clark
Cyclic Input of Characters through a Single Button Manipulation / Grigori Evreinov ; Roope Raisamo
Developing of Predictive Communication System for the Physically Disabled People / Vidas Lauruska ; Tomas Musteikis
Teaching Adolescents with Disabilities to Learn Chinese Keyboarding by Using Multimedia Computer Assisted Input Method Learning System
Accelerating Assessment with Self-Optimizing Devices / Patti Slobogin ; M.G. Power
A Proposal of an Evaluation Framework for Writing Assistance Systems: Application to VITIPI / Philippe Boissière ; Daniel Dours
Individually Assisted Text Entry with Situational and Contextual Prediction / Dirk Clemens ; Helmut Heck ; Michael Kühn ; Olaf Perlick ; Frank Reins
Accessible Digital Media
Methods for Inclusion: Employing Think Aloud Protocol with Individuals Who Are Deaf / Deborah I. Fels ; Vera Roberts
Emotive Captioning in a Digital World / Charles Silverman
Spoken Subtitles: Making Subtitled TV Programmes Accessible / Maarten Verboom ; David Crombie ; Evelien Dijk ; Mildred Theunisz
Electronic and Virtual Libraries: Access for Print Disabled People
Semantically Rich Markup, Should You Be Agnostic in Your Choice of a Vocabulary / Jan Engelen
DZB - A German Library for the Blind Goes Digital / Thomas Kahlisch
Harmonisation of the Copyright Law throughout the European Union - A Challenge for All Print Disabled People / Ruth Hammerschmid ; Bernhard Stöger
A Distributed Document Oriented Architecture for Rendering Services to Visually Impaired Students / Claude Moulin ; Sylvain Giroux ; Davide Carboni
ABA's Virtual Library Services for Blind and Visually Impaired People / Karim Taha ; Lori Stefano Pertucci
Libbraille: A Portable Library to Easily Access Braille Displays / Sébastien Sablé
CYNTHIA: An HTML Browser for Visually Handicapped People / Mathieu Raynal ; Mathieu Serrurier
A Secure Internet Service for Delivering Documents for the Blind / Benoit Guillon ; Bruno Marmol
Virtual Libraries Initiatives with Usable Results for Print Disabled People / Marco Köttstorfer
Unlocking Doors: Building an Accessible Online Information Node / Arne Leeman ; Marian Oosting
Using XML as a Reading Enabler for Visually Impaired Persons / Bert Paepen
The Accessibility of Online Library Resources for People with Print Disabilities: Research and Strategies for Change / Axel Schmetzke
Quick Access to Dictionaries for Blind and Visually Impaired People / Brasseur Vincent ; Mohamed Slimane ; Nicole Vincent
Perspectives and Possibilities for the Automated Processing of Scientific Texts for Blind and Visually Impaired People / Gerhard Jaworek
Universal Usability Issues of Textual Information Structures, Commands, and Languages of Native Visually Challenged Users: An Inclusive Design Framework / Basawaraj Patil ; Klaus Maetzel ; Erich J. Neuhold
Accessible Interface Design: Adaptive Multimedia Information System (AMIS) / Marisa DeMeglio ; Markku T. Hakkinen ; Hiroshi Kawamura
Reading Multimedia Documents / Helen Petrie ; Gerhard Weber
Blind and Visually Impaired People - Mobility and HCI
Comparison of Various Interface Modalities for a Locomotion Assistance Device / Yacine Bellik ; René Farcy
Providing Help for Visually Impaired People's Navigation in an Urban Environment Using GPS / Vivien Guillet ; Beatrice Rumpler ; Jean-Marie Pinon
New Trends and Developments in Computer and Internet Technology for Visually Impaired People: A Survey and Usefulness in the Arab Sub-region / AbdulMalik S. Al-Salman
Auditory Emotional Access to Visual Information / Harald Schwende
Auditory Sensation Aided Image Perception: Integration of Somesthetic Sense of Fingertip Position / Yoshihiko Nomura ; Sayuri Nishihama ; Tokuhiro Sugiura ; Hirokazu Matsui ; Norihiko Kato
A Novel Application to Aid Low Vision Computer Users / Luciano Silva ; Olga Regina Pereira Bellon
Visually Impaired Persons Using Microsoft PowerPoint Presentations / Martin Jung ; Erdmuthe Meyer zu Bexten
Using MS Office Features as Low Vision Accessibility Tools / Deborah Gilden
Access to Mathematics by Blind Students
Architecting an Auditory Browser for Navigating Mathematical Expressions / Arthur I. Karshmer ; Chris Bledsoe ; Gopal Gupta ; Doug Gillan
REMathEx - Reader and Editor of the Mathematical Expressions for Blind Students / Pavel Gaura
Speaking Technical Documents: Using Prosody to Convey Textual and Mathematical Material / D. Fitzpatrick
Access by Blind Students and Professionals to Mainstream Math and Science / John A. Gardner
LATEX at the University of Applied Sciences Giessen-Friedberg - Experiences at the Institute for Visually Impaired Students
Experience with Access to Mathematics for Blind Students in Slovakia / Martina Kobolkova ; Peter Lecky
Infty Alpha Test Site / Kanahori Toshihiro ; Suzuki Masakazu
Designing an AutoMouse to Promote Computer Accessibility for People with Severe Physical Impairments / Ling Fu Meng ; Arr Mien Chou ; Chih Chen Hui ; Ai Chiao Ku ; Yun Lung Lin
Blind People - Tactile Graphics, Displays, and HCI
Evaluation of Long Descriptions of Statistical Graphics for Blind and Low Vision Web Users / H.K. Ault ; J.W. Deloge ; R.W. Lapp ; M.J. Morgan ; J.R. Barnett
A Tactile Display System Equipped with a Pointing Device - MIMIZU / Makoto Kobayashi ; Tetsuya Watanabe
Preparing Tactile Graphics for Traditional Braille Printers with / BrlGraphEditor ; Mario Batusic ; Franz Urban
TeDUB: A System for Presenting and Exploring Technical Drawings for Blind People / Christoph Schlieder ; Paul Blenkhorn ; Gareth Evans ; Alasdair King ; Anne-Marie O'Neill ; George T. Ioannidis ; Blaithin Gallagher ; Rolf Mager ; Maurizio Alafaci
Improvement of User Interface for Blind PC Users / Yutaka Shimizu ; Masami Shinohara ; Hideji Nagaoka ; Yasushige Yonezawa
Haptic and Audio Interfaces and Virtual Reality for Blind and Partially Sighted People
Haptic Perception of 2D Pictures and 3D Objects: Accurate Mental Representation as a Function of Visual Status / Helen Graupp ; Leanne Thompson
Microelectrical Mechanical Systems Actuator Array for Tactile Communication / Eniko T. Enikov ; Kalin V. Lazarov ; Gilbert R. Gonzales
Designing Interactive Tactile Diagrams / Ben Challis
Going Places with "KnowWare": Virtual Reality Maps for Blind People / Damian T. Murphy ; Michael C. Kelly ; Anthony I. Tew ; Myron W. Krueger
Blind People - Human Computer Interaction
Mental Models of Blind Users in the Windows Environment / Sri Hastuti Kurniawan ; Alistair Sutcliffe
An Approach to Producing New Languages for Talking Applications for Use by Blind People / D.G. Evans ; K. Polyzoaki ; P. Blenkhorn
User Requirements for Technologies for Personal Communication andInformation Use for Deafblind People / Wendy Fisher
Project IPSIS - WebPortal and Linux for the Blind / Danko Butorac
An Analysis of Layout Errors in Word Processed Documents Produced by Blind People / T. Diggle ; S. Kurniawan
Windows Screen Reader User Survey in Japan / Chuji Sashida ; Shinichi Okada
Tools for Creating Documents in 'Preferred Format' for Visually Impaired People
Blind People - Braille Printing
Braille Printing System / Shunsuke Hara ; Ryoko Kawamitsu ; Kanako Kusunoki ; Hiroshi Sato ; Mamoru Fujiyoshi
Braille Contractions in WinBraille / Mats Blomquist
Braille to Text Translation for Hungarian / Andras Arato ; Theresa Vaspori
The WinBraille Approach to Producing Braille Quickly and Effectively / Per Burman
People with Disabilities - Daily Living
Haptic Device System for Upper LimbMotor Function and CognitiveFunction Rehabilitation / Yoshiyuki Takahashi ; Takafumi Terada ; Kaoru Inoue ; Satoshi Sasada ; Takashi Komeda
Networking for Accessibility: Elderly People and New Technology / Sirkku Männikkö-Barbutiu
Tele-Help and Remote Service Provision Using RESORT Prototype System / Andreas Hochgatterer ; Mathijs Soede
Making Yourself at Home - Portable Personal Access Preferences / Jutta Treviranus
EU Project SILC - Personal Bio-Sensor Based Alarm System / Peter Mayer ; Georg Edelmayer
Videophones: Useful Assistive Devices for Visually Impaired Persons? / Morten Tollefsen ; Magne Lunde
HMPH - "Habitat Mobile pour Personnes Handicapees" - Software for the Design of an Adapted Living Area / Jérôme Leloup ; Pierre Gaucher
"Bonkers". Increasing Literacy Skills: An Eclectic Electronic Teaching Approach Gone "Bonkers" / Diana P. James
Access Music
Spoken Music: Enhancing Access to Music for the Print Disabled / Sijo Dijkstra ; Edmar Schut ; Natasha Lindsay
A Music Score Recogniser for the Blind / Angelo Da Ronch ; Adriano Blason
Visualization of Music Notation for Partially Sighted Persons / Tatiana Evreinova
Accessing the Software Studio / Mark A. Hilared
People with Disabilities - Political, Legal, and Individual Aspects
Opening Doors to Information Technology - Section 508 of the USRehabilitation Act of 1973 / Helen Chamberlain
Access: The North American Experience of Legislating Attitudes / Zachariah Cameron
An Open Machine Translation System for Augmentative and Alternative Communication / Constantinos Viglas ; Georgios Kouroupetroglou
Capabilities and Limitations of the Disabled in Remote Access to Information / Ryszard Kowalik
IMPACT: An Example of Information, Awareness, and Legislation, Leading toward a More Accessible Workplace / Charmaine Mueller Iversen
IT-Certficiates to Foster the Vocational Integration of People with Disabilities: ECDL® PD
IT-Certificates to Foster the Vocational Integration of People with Disabilities: ECDL® PD / Andrea Petz ; Denise Leahy
ECDL for Visually Impaired Persons: Learning Materials, Individual Training, and Distance Education
ECDL® PD - Using a Well Known Standard to Lift Barriers on the Labour Market
KISS - Keep It Short and Simple?
Many Ways to ECDL
Studying and Academic Mobility - IT Support for People with Disabilities
Studying and Academic Mobility - IT Support for Students with Disabilities / Joachim Klaus
Developing Academic Skills among Print Disabled Students: IT Based Austrian-Wide Network for Service Provision
Access to Learning for All / Mirela Arion ; Radu Ciupa ; Marius Iulian Tutuianu
The Evolving Door: Providing Technology Access for Post-secondary Students in a Constantly Changing Technology-Based Culture / Janice Hecht ; Bogdan Zamfir
Taking Assistive Technology to the Highest Degree / Todd Schmiedl ; S.L. Dyser
Learning from Each Other: Comparing the Service Provision for Blind and Visually-Impaired Students in Post-secondary Education in Japan and Europe / Hiroshi Katoh ; Martin Pauly
How Accessible Are Web Information Resources for Students with Disabilities? / Sri H. Kurniawan
Providing Assistive Technology and Alternate Media in Community Colleges: A Case Study / Calais Roussel
International Collaboration to Improve Assistive Technology Outcomes
The Study of Assistive Technology Outcomes in the United States / Marcia J. Scherer
Future Challenges in AT Outcome Measurement / Luc P. de Witte ; G.J. Gelderblom ; R.D. Wessels
European Instruments for Assistive Technology Outcome Assessment / L.P. de Witte
Implementing Outcomes Measurement in an Assistive Technology Service Delivery System / Gerald Craddock
Author Index
Invited Contributions
Structured Access to Documents, Digital Talking Books, and Beyond: The DAISY Consortium / George Kerscher
eEurope - eAccessibility - User Participation Participation of People with Disabilities and Older People in the Information Society (Introduction to the Special Thematic Session) / Christian Bühler
6.

図書

図書
Udo Voges (ed.)
出版情報: Berlin : Springer, c2001  xvi, 248 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2187
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Designing Safety into Medical Decisions and Clinical Processes / John Fox
Reliability Assessment and Security
Security Assessments of Safety Critical Systems Using HAZOPs / Rune Winther ; Ole-Arnt Johnsen ; Bjørn Axel Gran
Network Security for Substation Automation Systems / Martin Naedele ; Dacfey Dzung ; Michael Stanimirov
A Bayesian Belief Network for Reliability Assessment / Atte Helminen
Safety Case and Safety Analysis
Checking General Safety Criteria on UML Statecharts / Zsigmond Pap ; István Majzik ; András Pataricza
Presenting a Safety Case - A Case Study / Odd Nordland
Safety Functions versus Control Functions / Hans R. Fankhauser
Medical Systems
A Fail-Safe Dual Channel Robot Control for Surgery Applications / Ulrich Laible ; Thomas Bürger ; Günter Pritschow
Modelling the Human in Human Factors / John Rushby
HHuman-Machine Interfac
Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach / Oliver Mäckel ; Georg Hoever
Analysis of Incidents Involving Interactive Systems / Alberto Pasquini ; Antonio Rizzo ; Luca Save
COTS - Components off the Shelf
Experimental Evaluation of Fault Handling Mechanisms / Piotr Gawkowski ; Janusz Sosnowski
The COTS Debate in Perspective / Felix Redmill
Testing
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models / Mohamed Kaâniche ; Yannick Le Guédart ; Jean Arlat ; Thierry Boyer
A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures / Ioannis Vakalis
The Effectiveness of Statistical Testing when Applied to Logic Systems / Silke Kuball ; Gordon Hughes ; John H.R. May ; Julio Gallardo ; Andrew D. John ; Roy B. Carter
Formal Methods
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B / Gunther Zoffmann ; Manfred Gingerl ; Christian Reumann ; Gerald Sonneck
Safety Patterns - The Key to Formal Specification of Safety Requirements.. / Friedemann Bitsch
Formal Support for Fault Modeling and Analysis / Tadeusz Cichocki ; Janusz Górski
Project Experience with IEC 61508 and Its Consequences / Rainer Faller
Control Systems
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach / Paul Caspi ; Christine Mazuet ; Natacha Reynaud Paligot
Dependability Evaluation - From Functional to Structural Modeling / Cláudia Betous-Almeida ; Karama Kanoun
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems / Stefano Porcarelli ; Felicita Di Giandomenico ; Amine Chohra ; Andrea Bondavalli
Author Index
Invited Paper
Designing Safety into Medical Decisions and Clinical Processes / John Fox
Reliability Assessment and Security
7.

図書

図書
sponsored by IEEE Computer Society, IEEE Reliability Society ; in cooperation with the Chinese University of Hong Kong ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiii, 363 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Forword
Organizers
Reviewers
Component Based Systems / Session 1A.:
An Approach to Higher Reliability Using Software Components / H. Jin ; P. Santhanam
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems / H. Singh ; V. Cortellessa ; B. Cukic ; E. Gunel ; V. Bharadwaj
Comparison of Architecture-Based Software Reliability Models / K. Goseva-Popstojanova ; A. Mathur ; K. Trivedi
Testing GUI Software / Session 1B.:
Finite-State Testing and Analysis of Graphical User Interfaces / F. Belli
Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management System / D. Donovan ; C. Dislis ; R. Murphy ; S. Unger ; C. Kenneally ; J. Young ; L. Sheehan
User-Based Testing of GUI Sequences and Their Interactions / L. White ; H. Almezen ; N. Alzeidi
Software Fault Models and Prediction / Session 2A.:
An Application of Zero-Inflated Poisson Regression for Software Fault Prediction / T. Khoshgoftaar ; K. Gao ; R. Szabo
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications / A. Ibrahim ; H. Ammar ; S. Yacoub
A Fault Model for Subtype Inheritance and Polymorphism / J. Offutt ; R. Alexander ; Y. Wu ; Q. Xiao ; C. Hutchinson
Reliable Wireless and Mobile Systems / Session 2B.:
Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability / S.-J. Chang ; P. Kapauan
Modeling and Verifying Strong Cache Consistency for Mobile Data Access / J. Wei ; S.-C. Cheung ; H. Zhou ; X. Wang ; J. Li ; Y.-l. Feng
Recovery Proxy for Wireless Applications / B. Yao ; W. Fuchs
Fault Tolerant Distributed Software Systems / Session 3A.:
Estimation of Software Diversity by Fault Simulation and Failure Searching / L. Chen ; J. May ; G. Hughes
Fault Tolerant Distributed Information Systems / J. Knight ; M. Elder
Increasing the Reliability of Three-Tier Applications / W. Zhao ; L. Moser ; P. Melliar-Smith
Low-Cost Flexible Software Fault Tolerance for Distributed Computing / A. Tai ; K. Tso ; W. Sanders ; L. Alkalai ; S. Chau
Software Reliability Growth Modeling / Session 3B.:
A Simulation Based Trainer for Software Reliability Modeling / E. Jones ; A. Rembert
Analysis of Hypergeometric Distribution Software Reliability Model / T. Dohi ; N. Wakana ; S. Osaki
Discrete Equations and Software Reliability Growth Models / D. Satoh ; S. Yamada
Modelling the Fault Correction Process / N. Schneidewind
Testing Internet and Multimedia Systems / Session 4A.:
An Auto-Generating Tool for the MPEG-2 Formatted Test Data: ATEP / B. Choi ; S. Yeum ; T. Gwak ; B. Min
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis / S. Lee
Toward Generic Timing Tests for Distributed Multimedia Software Systems / S. Cheung ; S. Chanson ; Z. Xu
Formal Approaches / Session 4B.:
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication / J. Zhou ; K.-c. Tai
Feedback Control of the Software Test Process Through Measurements of Software Reliability / J. Cangussu ; R. DeCarlo
Tool Support for Production Use of Formal Techniques / K. Hanks ; S. Travis
Software Testing Experiments / Session 5A.:
An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study / P. Chevalley ; P. Thevenod-Fosse
Evaluating the Software Test Strategy for the 2000 Sydney Olympics / K. Bassin ; S. Biyani
Coverage and Testing Strategies / Session 5B.:
Coverage Analysis for Message Flows / N. Aizenbud-Reshef
Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles / L. Briand ; Y. Labiche ; Y. Wang
Software Architecture / Session 6A.:
Automated and Portable Native Code Isolation / G. Czajkowski ; L. Daynes ; M. Wolczko
Deriving Tests From Software Architectures / Z. Jin
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs / F. Bastani ; I.-L. Yen ; K. Sung ; J. Linn ; K. Rao
Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability / B. Baudry ; Y. Sunye ; J.-M. Jezequel
Measurement Field Data and Experience / Session 6B.:
Accounting for Realities When Estimating the Field Failure Rate of Software / D. Jeske ; X. Zhang ; L. Pham
Defect Content Estimation for Two Reviewers / C. Wohlin ; H. Petersson ; M. Host ; P. Runeson
Measurement-Based Availability of Unix Systems in a Distributed Environment / C. Simache ; M. Kaaniche
Quantitative Evaluation and Operative Usage of Interactive Systems / A. Pasquini ; A. Rizzo ; L. Save ; M. Sujan
Author Index
Forword
Organizers
Reviewers
8.

図書

図書
Dirk Craeynest, Alfred Strohmeier (eds.)
出版情報: Berlin : Springer, c2001  xv, 404 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2043
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Building Formal Requirements Models for Reliable Software / Axel van Lamsweerde
Using Ada in Interactive Digital Television Systems / Pascal Heraud ; Thierry Lelegard
Testing from Formal Specifications, a Generic Approach / Marie-Claude Gaudel
Logic versus Magic in Critical Systems / Peter Amey
Can JavaTM Meet Its Real-Time Deadlines? / Benjamin Brosgol ; Brian Dobbing
Program Analysis
Parameter-Induced Aliasing in Ada / Wolfgang Gellerich ; Erhard Plodereder
Slicing Tagged Objects in Ada / Zhengqiang Chen ; Baowen Xu ; Hongji Yang
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code / Alexei Kuchumov ; Sergey Rybin ; Alfred Strohmeier
Distributed Systems
Building Modern Distributed Systems / Laurent Pautet ; Thomas Quinot ; Samuel Tardieu
Reliable Communication in Distributed Computer-Controlled Systems / Luís Miguel Pinho ; Francisco Vasques
Building Robust Applications by Reusing Non-robust Legacy Software / Francisco Guerra Santana ; Javier Miranda Gonzalez ; iguez Calero
Real-Time Systems
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements / Joyce L. Tokar
Complex Task Implementation in Ada / Alfons Crespo ; Patricia Balbastre ; Silvia Terrasa
Implementing a Flexible Scheduler in Ada / Guillem Bernat ; Alan Burns
Language and Patterns
Expression Templates in Ada / Alexandre Duret-Lutz
A Design Pattern for State Machines and Concurrent Activities / Bo I. Sanden
Component Libraries and Language Features / Ehud Lamm
Dependable Systems
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software / Darren Foulger ; Steve King
Scenario-Based System Assessment / Silke Kuball
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation / Tsong Y. Chen ; Man F. Lau
APIs and Components
JEWL: A GUI Library for Educational Use / John English
Object-Oriented Stable Storage Based on Mirroring / Xavier Caron ; Jorg Kienzle
Transaction Support for Ada / Ricardo Jimenez-Peris ; Alexander Romanovsky ; inez
Real-Time Kernels
MaRTE OS: An Ada Kernel for Real-Time Embedded Applications / Mario Aldea Rivas ; Michael Gonzalez Harbour
Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels / Juan Zamorano ; Jose F. Ruiz ; Juan Antonio de la Puente
Defining New Non-preemptive Dispatching and Locking Policies for Ada
Standard Formats: UML & XML
Modelling Communication Interfaces with ComiX / Frank Oppenheimer ; Dongming Zhang ; Wolfgang Nebel
Safe Web Forms and XML Processing with Ada / Mario Amado Alves
Mapping UML to Ada / Bill Taylor ; Einar W. Karlsen
System Evolution
Ship System 2000, a Stable Architecture under Continuous Evolution
Migrating Large Applications from Ada83 to Ada95 / Philippe Waroquiers ; Stef Van Vlierberghe ; Dirk Craeynest ; Andrew Hately ; Erik Duvinage
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK / Tullio Vardanega ; Rodrigo García
Author Index
Invited Papers
Building Formal Requirements Models for Reliable Software / Axel van Lamsweerde
Using Ada in Interactive Digital Television Systems / Pascal Heraud ; Thierry Lelegard
9.

図書

図書
Kung-Kiu Lau (ed.)
出版情報: Berlin : Springer, c2001  viii, 181 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2042
所蔵情報: loading…
10.

図書

図書
Tullio Vardanega, Andy Wellings (eds.)
出版情報: Berlin : Springer, c2005  xv, 271 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3555
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼