Software Process Appraisal and Improvement: Models and Standards / M.C. Paulk |
A Software Process Engineering Framework / J. Kontio |
Gaining Business Value from IT Investments / P. Simmons |
Reliability Measurement, Analysis, and Improvement for Large Software Systems / J. Tian |
Role-Based Access Control / R.S. Sandhu |
Multithreaded Systems / K.M. Kavi ; B. Lee ; A.R. Hurson |
Coordination Models and Languages / G.A. Papadopoulos ; F. Arbab |
Multidisciplinary Problem Solving Environments for Computational Science / E.N. Houstis ; J.R. Rice ; N. Ramakrishnan ; T. Drashansky ; S. Weerawarana ; A. Joshi ; C.E. Houstis |
Author Index |
Subject Index |
Preface |
Contributors |
Software development productivity / K.D. Maxwell |
Transformation-oriented programming: A development methodology for high assurance software / V.L. Winter ; S. Roach ; G. Wickstrom |
Bounded model checking / A. Biere ; A. Cimatti ; E.M. Clarke ; O. Strichman ; Y. Zhu |
Advances in GUI testing / A.F. Memon |
Software inspections / M. Roper ; A. Dunsmore ; M. Wood |
Software fault tolerance forestalls crashes: To err is human, to forgive is fault tolerant / L. Bernstein |
Advances in the provisions of system and software security - Thirty years of progress / R.B. Vaughn |
Designing Networked Handheld Devices to Enhance School Learning / Jeremy Roschelle ; Charles Patton ; Deborah Tatar |
Interactive Explanatory and Descriptive Natural-Language based Dialogue for Intelligent Information Filtering / John Atkinson ; Anita Ferreira |
A tour of language customization concepts / Colin Atkinson ; Thomas KÃ1/4hne |
Advances in Business Transformation Technologies / Juhnyoung Lee |
Phish Phactors: Offensive and Defensive Strategies / Hal Berghel ; James Carpinter ; Ju-Yeon Jo |
Reflections on systems trustworthiness / Peter G. Neumann |
Contents of Volumes in this series |
Licensing and certification of software professionals / D.J. Bagert |
Cognitive Hacking / G. Cybenko ; A. Giani ; P. Thompson |
The digital detective: An introduction to digital forensics / W. Harrison |
Survivability: Synergizing security and reliability / C.Cowan |
Smartcards / K.M. Shelfer ; C.Corum ; J. Drew Procaccino ; J.Didier |
Shotgun sequence assembly / M. Pop |
Advances in large vocabulary continuous speech recognition / G. Zweig ; M. Picheny |
Index |
Evaluating software architectures / Roseanne Tesoriero Tvedt ; Patricia Costa ; Mikael Lindvall1: |
Efficient architectural design of high performance microprocessors / Lieven Eeckhout ; Koen De Bosschere2: |
Security issues and solutions in distributed heterogeneous mobile data systems / A. R. Hurson ; J. Ploskonka ; Y. Jiao ; H. Haridas3: |
Disruptive technologies and their affect on global telecommunications / Stan McClellan ; Stephen Low ; Wai-Tian Tan4: |
Ions, atoms, and bits: An architectural approach to quantum computing / Dean Copsey ; Mark Oskin ; Frederick T. Chong5: |
Automatic Evaluation of Web Search Services / Abdur Chowdhury |
Introduction / 0: |
Relevance |
A Brief History of Effectiveness Evaluations |
Evaluation Metrics |
Web Search Tasks |
Estimating the Necessary Number of Queries |
Automatic Web Search Evaluation / 6: |
Automatic Evaluation Results / 7: |
Intranet Site Search Evaluation / 8: |
Conclusions and Future Work / 9: |
Acknowledgements |
References |
Web Services / Sang Shin |
Introduction on Web Services |
Web Services Standards |
Web Services Security |
Identity Management Architecture |
Business Web Services Standards: ebXML |
Summary |
A Protocol Layer Survey of Network Security / John V. Harrison |
Overview of TCP/IP |
Offensive Techniques |
Defenses |
A Forecast of the Future |
Defensive Precautions |
Conclusion |
E-Service: The Revenue Expansion Path to E-Commerce Profitability / Roland T. Rust ; P.K. Kannan ; Anupama D. Ramachandran |
Building on Customer Equity |
Customer Issues in E-Service |
Serving the Customer |
Marketing to Computers |
Discussion and Conclusion |
Pervasive Computing: A Vision to Realize / Debashis Saha |
Evolution of PerCom |
PerCom Attributes |
Functional Areas of PerCom |
Harnessing Physical World |
Major PerCom Projects |
Open Source Software Development: Structural Tension in the American Experiment / Coskun Bayrak ; Chad Davis |
Part I: The American Experiment |
Part II: The Open Source Development Model |
Open Societies: A Final Thought |
Disability and Technology: Building Barriers or Creating Opportunities? / Peter Gregor ; David Sloan ; Alan F. Newell |
Technology and the Digital Divide |
Disabled People? |
The Technical Benefits of Inclusive Design |
Legislative Responsibilities |
Accessible and Inclusive Design Practice |
Support for Inclusive Design |
Testing and Evaluation of Inclusive Design |
Developments and Challenges |
The Digital Divide Still Exists / 10: |
Contents of Volumes in This Series |
A Survey of Current Paradigms in Machine Translation / B.J. Dorr ; P.W. Jordan ; J.W. Benoit |
Formality in Specification and Modeling: Developments in Software Engineering Practice / J.S. Fitzgerald |
3-D Visualization of Software Structure / M.L. Staples ; J.M. Bieman |
Using Domain Models for System Testing / A. von Mayrhauser ; R. Mraz |
Exception-Handling Design Patterns / W.G. Bail |
SIMD Machines--A Survey / N.B. Abu-Ghazaleh ; P.A. Wilsey |
A Taxonomy of Distributed Real-Time Control Systems / J.R. Agre ; L.P. Clare ; S. Sastry |
Program Understanding: Models and Experiments / A.M. Vans |
Software Prototyping / A.M. Davis |
Rapid Prototyping of Microelectronic Systems / A. Dollas ; J.D.S. Babcock |
Cache Coherence in Multiprocessors: A Survey / M.S. Yousif ; M.J. Thazhuthaveetil ; C.R. Das |
The Adequacy of Office Models / C.S. Amaravadi ; J.F. George ; O.R.L. Sheng ; J.F. Nunamaker |
Chapter References |
The State of Artificial Intelligence / Adrian A. Hopgood |
Rule-Based Systems |
Moving Beyond Rules |
Intelligent Agents |
Genetic Algorithms |
Neural Networks |
Hybrid Systems |
Conclusions |
Software Model Checking with Spin / Gerard J. Holzmann |
Background |
Finite Automata |
Temporal Logic |
LTL Model Checking |
Model Extraction and Abstraction |
Perspective |
Early Cognitive Computer Vision / Jan-Mark Geusebroek |
Visual Measurements |
Invariance |
Natural Image Statistics |
Verification and Validation and Artificial Intelligence / Tim Menzies ; Charles Pecheur |
AI Software Can Be Complex |
Model-Based AI Systems |
The Knowledge Level |
AI Software Can Be Nondeterministic |
Adaptive AI Systems |
Indexing, Learning and Content-Based Retrieval for Special Purpose Image Databases / Mark J. Huiskes ; Eric J. Pauwels |
Representation of Image Content: Feature Extraction |
Detection of Salient Design Image Elements by Figure-Ground Segregation |
MPEG-7 Description of Design Images |
Inference and Learning for Relevance Feedback by Examples |
Conclusion and Outlook |
Defect Analysis: Basic Techniques for Management and Learning / David N. Card |
Modeling for Quality Management |
Monitoring Process Performance |
Learning and Improvement |
Summary and Conclusions |
Function Points / Christopher J. Lokan |
Albrecht/IFPUG Function Points |
Experience with IFPUG Function Points |
Mark II Function Points |
Some Other Early Variations |
COSMIC |
Function Points for Object-Oriented Software |
Function Point Standards |
The Role of Mathematics in Computer Science and Software Engineering Education / Peter B. Henderson |
Mystery Novels and John Wooden |
Computer Science and Software Engineering |
Foundational Mathematics |
Models |
General Mathematical Reasoning |
Patterns, It Is All About Patterns |
Inductive Thinking and Generalization |
Declarative Versus Imperative Reasoning |
Algorithmic Problem Solving |
Recursive Thinking / 11: |
Mathematical Induction / 12: |
Why Mathematics? / 13: |
Curricula Issues / 14: |
Foundations of Computing-A First Course / 15: |
CSE-113 Foundations of Computer Science I / 16: |
Butler University, Foundations of Computing I / Appendix B: |
Sample First Exam for Foundations of Computing I (100 minutes) / Appendix C: |
Representative List Processing Lab Exercises Using Standard ML / Appendix D: |
Solutions for Problems Cited / Appendix E: |
On the nature and importance of archiving in the digital age / H.R. Tibbo |
Preserving digital records and the life cycle of information / S. Chen |
Managing historical XML data / S.S. Chawathe |
Adding compression to next-generation text retrieval systems / N. Ziviani ; E. Silva de Moura |
Are scripting languages any good? A validation of Perl, Python, Rexx, and Tcl against C, C++, and Java / L. Prechelt |
Issues and approaches for developing lerner-centered technology / C. Quintana ; J. Krajcik ; E. Soloway |
Personalizing interactions with information systems / S. Perugini |
Architectures and Patterns for Developing High Performance, Real Time ORB Endsystems / D.C. Schmidt ; D.L. Levine ; C. Cleeland |
Heterogeneous Data Access in a Mobile Environment--Issues and Solutions / J.B. Lim |
The World Wide Web / H. Berghel ; D. Blank |
Progress in Internet Security / R.J. Atkinson ; J.E. Klinker |
Digital Libraries: Social Issues and Technological Advances / H. Chen ; A.L. Houston |
Architectures For Mobile Robot Control / J.K. Rosenblatt ; J.A. Hendler |
Natural Language Processing: A Humanndash;Computer Interaction Perspective / B.Z. Manaris |
Cognitive Adaptive Computer Help (COACH): A Case Study / E.J. Selker |
Cellular Automata Models of Self-Replicating Systems / J.A. Reggia ; H.-H. Chou ; J.D. Lohn |
Ultrasound Visualization / T.R. Nelson |
Patterns and System Development / B. Goldfedder |
High Performance Digital Video Servers: Storage and Retrieval of Compressed Scalable Video / S. Paek ; S.-F. Chang |
Software Acquisition: The Custom/Package and Insource/Outsource Dimensions / P. Nelson ; W. Richmond ; A. Seidman |
Exposing Phylogenetic Relationships by Genome Rearrangement / Ying Chih Lin ; Chuan Yi TangChapter 1: |
Models and Methods in Comparative Genomics / Guillaume Bourque ; LouXin ZhangChapter 2: |
Translocation Distance: Algorithms and Complexity / Lusheng WangChapter 3: |
Computational Grand Challenges in Assembling the Tree of Life: Problems and Solutions / David A. Bader ; Usman Roshan ; Alexandros StamatakisChapter 4: |
Local Structure Comparison of Proteins / Jun Huan ; Jan Prins ; Wei WangChapter 5: |
Peptide Identification via Tandem Mass Spectrometry / Xue Wu ; Nathan Edwards ; Chau-Wen TsengChapter 6: |
Indexes |
The Architecture of Efficient Multi-Core Processors: A Holistic Approach / Rakesh Kumar ; Dean M. Tullsen |
Designing Computational Clusters for Performance and Power / Kirk W. Cameron ; Rong Ge ; Xizhou Feng |
Compiler-Assisted Leakage Energy Reduction for Cache Memories / Wei Zhang |
Mobile Games: Challenges and Opportunities / Paul Coulton ; Reuben Edwaerds ; Will Bamford ; Fadi Chehemi ; Paul Gilbertson ; Omer Rashid |
Free/Open Source Software Development: Recent Research Results and Methods / Walt Scacchi |
Contents Of Volumes in This Series |
Broadcasting a Means to Disseminate Public Data in a Wireless Environment - Issues and Solutions / B.A. Shirazi |
Programming Models and Synchronization Techniques for Disconnected Business Applications / A. Leff ; J.T. Rayfield |
Academic Electronic Journals: Past, Present and Future / A. Hovav ; P. Gray |
Web Testing for Reliability Improvement / L. Ma |
Wireless Insecurities / M. Sthultz ; J. Uecker |
The State of the Art in Digital Forensics / D. Forte |
Calculating Software Process Improvement's Return on Investment / Rini van Solingen ; David F. Rico |
Return-on-Investment for Analysing Cost and Benefits |
Using Quantitative Models for SPI Decision Making |
Using Quantitative Measurements for SPI Investment Evaluations |
Background of the Quantitative Models |
Quality Problem in Software Measurement Data / Pierre Rebours ; Taghi M. Khoshgoftaar |
Noise-Handling Techniques |
Ensemble-Partitioning Filter |
Modeling Methodology |
Empirical Evaluation |
Requirements Management for Dependable Software Systems / William G. Bail |
Dependability |
Nature of Requirements |
Categories of Requirements |
Handling Requirements |
Requirements Quality Attributes |
Requirements and Dependability |
Common Requirements Challenges |
Mechanics of Managing Software Risk |
Project Planning |
Fundamentals of Risk |
Sources of Risk |
Handling Risks |
The PERFECT Approach to Experience-Based Process Evolution / Brian A. Nejmeh ; William E. Riddle |
Improvement Game Plans |
Process Evolution |
The PEDAL Framework |
Describing Process Evolution Dynamics |
Process Evolution Infrastructure |
Value and Future Improvements |
The Opportunities, Challenges, and Risks of High Performance Computing in Computational Science and Engineering / Douglass E. Post ; Richard P. Kendall ; Robert F. Lucas |
Computational Science and Engineering Analysis |
General Characteristics of a Large Scale Computational Simulation |
FALCON: An Example of a Large-Scale Scientific Code Project |
The Challenges Facing Computational Science and Engineering |
A Comparative Case Study |
Verification and Validation |
Software Quality and Software Project Management |
Conclusions and Path Forward |
Programming Nanotechnology: Learning from Nature / Boonserm Kaewkamnerdpong ; Peter J. Bentley ; Navneet Bhalla |
Development in Nanotechnology |
Benefits of Computer Science for Nanotechnology |
Swarm Intelligence |
Perceptive Particle Swarm Optimisation |
Perceptive Particle Swarm Optimisation for Nanotechnology |
Self-Assembling Nanotechnology |
Nanobiotechnology: An Engineer's Foray into Biology / Yi Zhao ; Xin Zhang |
Nanofabrication |
Nanobiotechnologies for Sensing and Actuating |
Nanobiotechnology for Drug Delivery and Therapeutics |
Concluding Remarks |
Toward Nanometer-Scale Sensing Systems: Natural and Artificial Noses as Models for Ultra-Small, Ultra-Dense Sensing Systems / Brigitte M. Rolfe |
The Physiology of the Sense of Smell |
Electronic Noses: Chemical Sensing Systems |
Nanosensors |
Designing a Nanometer-Scale Nose-Like Sensing System |
Acronyms |
Simulation of Nanoscale Electronic Systems / Umberto Ravaioli |
Simulation Hierarchy for Semiconductor Devices |
Simulation Issues in Nanoscale Silicon Devices |
Organic Molecular Devices |
Simulation of Molecular Conduction |
Carbon Nanotubes |
Ionic Channels |
Identifying Nanotechnology in Society / Charles Tahan |
Definitions ad infinitum (and More Politics) |
Perspectives from Science |
List of Some Technical Terms |
Further Reading |
The Convergence of Nanotechnology, Policy, and Ethics / Erik Fisher |
Converging Paths |
From Convergence to Collaboration |
DARPA's HPCS Program: History, Models, Tools, Languages / Jack Dongarra ; Robert Graybill ; William Harrod ; Robert Lucas ; Ewing Lusk ; Piotr Luszczek ; Janice McMahon ; Allan Snavely ; Jeffrey Vetter ; Katherine Yelick ; Sadaf Alam ; Roy Campbell ; Laura Carrington ; Tzu-Yi Chen ; Omid Khalili ; Jeremy Meredith ; Mustafa Tikir |
Historical Background |
Productivity Systems Modeling |
Productivity Evaluation on Emerging Architectures |
The DARPA HPCS Language Project |
Research on Defining and Measuring Productivity |
The HPC Challenge Benchmark Suite |
Summary: The DARPA HPCS Program |
Productivity in High-Performance Computing / Thomas Sterling ; Chirag Dekate |
A General Formulation |
Factors Determining HPC Productivity |
A Special Theory of Productivity |
A User-based Model of Productivity |
Software Development & Productivity |
Related Works |
Performance Prediction and Ranking of Supercomputers / Roy L. Campbell, Jr. ; Mustafa M. Tikir |
Methods for Predicting Performance |
A Method for Weighting Benchmarks |
Examples |
Using End-to-End Runtimes |
Using Basic Trace Data |
Application-Independent Rankings |
Acknowledgments |
Sampled Processor Simulation: A Survey |
Trace-Driven versus Execution-Driven Simulation |
Sampled Simulation |
Simulation Speed |
Representative Sampling Units |
Architecture State |
Microarchitecture State |
Case Studies |
Distributed Sparse Matrices for Very High Level Languages / John R. Gilbert ; Steve Reinhardt ; Viral B. Shah |
Sparse Matrices: A User's View |
Data Structures and Storage |
Operations on Distributed Sparse Matrices |
SSCA #2 Graph Analysis Benchmark |
Looking Forward: A Next-Generation Parallel Sparse Library |
Bibliographic Snapshots of High-Performance/High-Productivity Computing / Myron Ginsberg |
Computational Environments in Government, Academia and Industry |
Computational Science Education (CSE) |
Supercomputing Architecture |
Some HPC Issues |
Benchmarking Issues and Concerns |
Acceleration Techniques for HPC Applications |
The Race for Petaflop Computing |
Influences of Floating-Point Arithmetic on Computational Results |
Industrial HPC Progress |
Access to On-Demand HPC |
A Few HPC Videos |
History of Computers, Electronic Commerce, and Agile Methods / D. F. Rico ; H. H. Sayani ; R. F. Field |
Testing with Software Designs / A. A. Andrews ; A. Mahdian |
Balancing Transparency, Efficiency, and Security in Pervasive Systems / M. Wenstrom ; E. Bentivegna |
Computing with RFID: Drivers, Technology and Implications / G. Roussos |
Medical Robotics and Computer-Integrated Interventional Medicine / R. H. Taylor ; P. Kazanzides |
Data Hiding Tactics for Windows and Unix File Systems / David Hoelzer ; Michael Sthultz |
Multimedia and Sensor Security / Anna Haµ |
Email Spam Filtering / Enrique Puertas Sanz ; JosT Marfa G=mez Hidalgo ; JosT Carlos Cortizo PTrez |
The Use of Simulation Techniques for Hybrid Software Cost Estimation and Risk Analysis / Michael KlSs ; Adam Trendowicz ; Axel Wickenkamp ; Jnrgen Mnnch ; Nahomi Kikuchi ; Yasushi Ishigai |
An Environment for Conducting Families of Software Engineering Experiments / Lorin Hochstein ; Taiga Nakamura ; Forrest Shull ; Nico Zazworka ; Victor R. Basili ; Marvin V. Zelkowitz |
Global Software Development: Origins, Practices, and Directions / James J. Cusick ; Alpana Prasad ; William M. Tepfenhart |
The UK HPC Integration Market: Commodity-based Clusters / Christine A. Kitchen ; Martyn F. Guest |
Elements of High Performance Reconfigurable Computing / Tom Van Court ; Martin C. Herbordt |
Models and Metrics for Energy-Efficient Computing / Parthasarathy Ranganathan ; Suzanne Rivoire ; Justin Moore |
The Emerging Landscape of Computer Performance Evaluation / JoAnn M. Paul ; Mwaffaq Otoom ; Marc Somers ; Sean Pieper ; Michael J. Schulte |
Advances in web testing / Cyntrica Eaton ; Atif M. Memon |
Information Sharing and Social Computing: Why, What, and Where? / Oded Nov |
Information Sharing: Wikipedia |
Photo Sharing: Flickr |
Metainformation Sharing: Tags |
Social Network Sites: Users and Uses / Mike Thelwall |
Definition, History, and Typology |
User Characteristics |
Usage |
Friendship |
Friendship Issues |
Privacy and Security |
Language |
Software Issues |
Acknowledgment |
Highly Interactive Scalable Online Worlds / Graham Morgan |
Gaming Scenarios |
Related Work |
Core Problems |
Conclusions and Further Work |
The Future of Social Web Sites: Sharing Data and Trusted Applications with Semantics / Sheila Kinsella ; Alexandre Passant ; John G. Breslin ; Stefan Decker ; Ajit Jaokar |
Social Web Sites and Approaches to Add Semantics |
Producers of Social Semantic Data |
Collectors of Social Semantic Data |
Consumers of Social Semantic Data |
Future Work |
Semantic Web Services Architecture with Lightweight Descriptions of Services / Tomas Vitvar ; Jacek Kopecky ; Jana Viskova ; Adrian Mocan ; Mick Kerrigan ; Dieter Fensel |
SWS Architecture |
Model for Business Services |
Service Execution Model |
Implementation |
Issues and Approaches for Web 2.0 Client Access to Enterprise Data / Avraham Leff ; James T. Rayfield |
Enterprises and Web 2.0 Data Access |
A Closer Look at Web 2.0 Client and Server Data-Access APIs |
Web Content Filtering / José María Gómez Hidalgo ; Francisco Carrero García ; Manuel De Buenaga Rodríguez |
Motivation and Applications |
Web Filters Operation and Techniques |
Text-Based Filtering |
Image Processing Techniques |
Evaluation of Web Filters |
Attacks and Countermeasures |
Review of Singular Projects |
Conclusions and Future Trends |
Photo Fakery and Forensics / Hany Farid |
Photo Fakery |
Photo Forensics |
Discussion |
Advances in Computer Displays / Jason Leigh ; Andrew Johnson ; Luc Renambot |
Advances in Desktop Displays |
Advances in Wall Displays |
Advances in Portable Displays |
Touch Interfaces |
Advances in Stereoscopic Displays |
Display Environments of the Future |
Content Generation and delivery to Displays |
Playing with All Senses: Human-Computer Interface Devices for Games / Jörn Loviscach |
Typology |
Buttons, Keys, and Keyboards |
Mice, Joysticks, Faders, and Similar |
Pen and Touch Input |
Inertial Sensors |
Cameras |
Specific Position and Orientation Sensors |
Displays |
Audio Input |
Audio Output |
Tactile, Haptic, and Locomotion Interfaces |
Kinetic Devices and Robots |
Biosignal Sensors |
A Status Report on the P Versus NP Question / Eric Allender |
Prologue |
What Is the "P = NP?" Problem? |
Why Is the "P = NP?" Problem Important? |
What Progress Has Been Made in the Past 30 Years? |
Where Are We now? (Barriers to Progress) |
Conclusions: What Would a Solution Mean? |
Dynamically Typed Languages / Laurence Tratt |
Defining Types |
Disadvantages of Static Typing |
History |
Defining Features |
Disadvantages of Dynamic Typing |
Variations |
The Future |
Factors Influencing Software Development Productivity- State-of-the-Art and Industrial Experiences / Jürgen Münch |
Design of the Study |
Related Terminology |
Overview of Factors Presented in Literature |
Overview of Factors Indicated by Industrial Experiences |
Detailed Comments on Selected Productivity Factors |
Considering Productivity Factors in Practice |
Evaluating the Modifiability of Software Architectural Designs / M. Omolade Saliu ; Günther Ruhe ; Christopher Ackermann |
Evaluating Software Architectural Designs |
Overview of the EBEAM |
STAGE I: Evaluation of Design Characteristics |
STAGE II: Evaluation of Architectural Designs |
STAGE III: Overall Modifiability Evaluation |
CASE STUDY I: The Application of EBEAM to TSAFE Designs |
Empirical Validation |
CASE STUDY II: The Application of EBEAM to CGS Designs |
Applicability of the EBEAM Technique |
UML Models for TSAFE Architectural Designs |
The Common Law and Its Impact on the Internet / Robert Aalberts ; David Hames ; Percy Poon ; Paul D. Thistle |
The Common Law in Action: Employer Liability to Third-Party Victims on the Internet |
Why Doe Lost and Delfino Won-A Case of Risk Management |
Search Engine Optimization-Black and White Hat Approaches / Ross A. Malaga |
The SEO Process |
Black Hat SEO |
Legal and Ethical Considerations |
Web Searching and Browsing: A Multilingual Perspective / Wingyan Chung |
Literature Review |
A Multilingual Perspective |
Summary and Future Directions |
Features for Content-Based Audio Retrieval / Dalibor Mitrović ; Matthias Zeppelzauer ; Christian Breiteneder |
Audio Feature Design |
A Novel Taxonomy for Audio Features |
Audio Features |
Related Literature |
Multimedia Services over Wireless Metropolitan Area Networks / Kostas Pentikousis ; Jarno Pinola ; Esa Piri ; Pedro Neves ; Susana Sargento |
WiMAX Overview |
Multimedia over WiMAX Reference Scenarios |
Advances in Telephony and the Emergence of Voice over IP |
VoIP over WiMAX |
Remote Surveillance and IPTV over WiMAX |
Summary and Outlook |
An Overview of Web Effort Estimation / Emilia Mendes |
How to Measure a Technique's Prediction Accuracy? |
Which Effort Estimation Technique to Use? |
Web Effort Estimation Literature Survey |
Communication Media Selection for Remote Interaction of Ad Hoc Groups / Fabio Calefato ; Filippo Lanubile |
Task-Classification Frameworks |
Group Research |
CMC Theories |
Development of a Comprehensive Theoretical Framework |
Applications in Data-Intensive Computing / Anuj R. Shah ; Joshua N. Adkins ; Douglas J. Baxter ; William R. Cannon ; Daniel G. Chavarria-Miranda ; Sutanay Choudhury ; Ian Gorton ; Deborah K. Gracio ; Todd D. Halter ; Navdeep D. Jaitly ; John R. Johnson ; Richard T. Kouzes ; Matthew C. Macduff ; Andres Marquez ; Matthew E. Monroe ; Christopher S. Oehmen ; William A. Pike ; Chad Scherrer ; Oreste Villa ; Bobbie-Jo Webb-Robertson ; Paul D. Whitney ; Nino Zuljevic |
Pitfalls and Issues of Manycore Programming / Ami Marowka |
Illusion of Wireless Security / Alfred Loo |
Brain-computer interfaces for the operation of robotic and prosthetic devices / Dennis J. McFarland ; Jonathan R. Wolpaw |
The Tools Perspective on Software Reverse Engineering: Requirements, Construction and Evaluation / Holger M. Kienle ; Hausi A. Müller |
Agile Software Development Methodologies and Practices / Laurie Williams |
Agile Origins and Manifesto |
Agile and Lean Principles |
Agile Practices |
Examples of Agile Software Development Methodologies |
A Picture from the Model-Based Testing Area: Concepts, Techniques, and Challenges / Arilo C. Dias-Neto ; Guilherme H. Travassos |
Model-Based Testing |
MBT Techniques: A Systematic Review |
Challenges in Using MBT Techniques in Software Projects |
Conclusions and Future Perspectives |
Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End / Bao N. Nguyen |
Running Example of GUI Application Under Test |
Test-Case Generation Techniques |
Empirical Knowledge Discovery by Triangulation in Computer Science / Ravi I. Singh ; James Miller |
Objectification of Concepts in Computer Science |
Triangulation: Introduction |
Startight: Next-Generation Communication Services, Exchanges, and Global Facilities / Joe Mambretti ; Tom DeFanti ; Maxine D. Brown |
Future Network Services and Facility Prototypes |
Future Directions |
Parameters Effecting 2D Barcode Scanning Reliability / Amit Grover ; Paul Braeckel ; Kevin Lindgren ; Dennis Cobb |
Factors that Affect Barcode Scan Ability |
Testing Methodology |
Advances in Video-Based Human Activity Analysis: Challenges and Approaches / Pavan Turaga ; Rama Chellappa ; Ashok Veeraraghavan |
Challenges |
Applications |
Feature Extraction |
Models for Actions |
Complex Activities |
A Unified Approach for Recognizing Simple Actions and Complex Activities |
Understanding the Space of Primitives |
Complex Activity Models: Cascade of Dynamical Systems |
More General Activity Models: Time-Varying Models |
View and Rate Variations |
The How's and Why's of Information Markets / Areej Yassin ; Alan Hevner (aic-10-22) |
Measuring and Monitoring Technical Debt / Carolyn Seaman ; Yuepu Guo (aic-10-15) |
A Taxonomy and Survey of Energy-Efficient Data Centers and Cloud Computing Systems / Anton Beloglazov ; Rajkumar Buyya ; Young Choon Lee ; Albert Zomaya (aic-10-10) |
Applications of Mobile Agents in Wireless Networks and Mobile Computing / Sergio González-Valenzuela ; Min Chen ; Victor C.M. Leung (aic-10-12) |
Virtual graphics for Broadcast Production / Graham Thomas (aic-10-8) |
Advanced Applications of Virtual Reality / Jürgen P. Schulze ; Han Suk Kim ; Philip Weber ; Andrew Prudhomme ; Roger E. Bohn ; Maurizio Seracini ; Thomas A. DeFanti (aic-10-16 ; aic-10-23) |
The State of the Art in Identity Theft |
What Sets Identity Theft APart from Other Crimes |
Statistical Data for Identity Theft and Associated Crimes |
The Genesis of the Problem |
How SSN Became the De Facto Primary Key for Most Databases |
The Ubiquitous Use of Fungible Credentials |
Phishing |
Modus Operandi |
Inadequate Credential Management Procedures |
Strategies for Defeating Identity Thieves |
An Overview of Steganography / Gary C. Kessler ; Chet Hosmer |
Low-Tech Stego Methods |
Digital Technology Basics |
Steganography and Digital Carrier Files |
Detecting Steganography |
Steganography Detection Tools |
Captchas: An Artificial Intelligence Application to Web Security / José MarÃa Gómez Hidalgo ; Gonzalo Alvarez |
Types of Captchas |
Evaluation of Captchas |
Security and Attacks on Captchas |
Alternatives to Captchas |
Advances in Video-Based Biometrics / Rama Chelfappa |
Video-Based Face |
Video-Based Idenification Using Gait |
Action Research Can Swing the Balance in Experimental Software Engineering / Paulo Sérgio Medeiros dos Santos ; Guilherme Horta Travassos |
Action Research Overview |
The Use of Action Research in Software Engineering: A Preliminary Survey? |
Using Action Research in Software Engineering: An In Vivo Study |
Applying Action Research to Software Engineering |
Final Considerations |
Functional and Nonfunctional Design Verification for Embedded Software Systems / Arnab Ray ; Rance Cleaveland ; Charles Shelton ; Chris Martin |
Instrumentation-Based Verification |
Quality Attribute-Based Reasoning |
Integrated Functional and Nonfunctional Verification |
Tool Support |
Software Organizations and Test Process Development / Jussi Kasurinen |
Model-Based GUI Testing: Case Smartphone Camera and Messaging Development / Rupesh Dev ; Antti Jääskeläinen ; Mika Katara |
Model Transformation Specification and Design / K. Lano ; S. Kolahdouz-Rahimi |
Advances on Improving Automation in Developer Testing / Xusheng Xiao ; Suresh Thummalapenta ; Tao Xie |
Automated Interoperability Testing of Healthcare Information Systems / Diana Elena Vega ; Ina Schieferdecker |
Event-Oriented, Model-Based GUI Testing and Reliability Assessment - Approach and Case Study / Fevzi Belli ; Mutlu Beyazit ; Nevin Güler |
Deployable Capture/Replay Supported by Internal Messages / Steffen Herbold ; Uwe Bunting ; Jens Grabowski ; Stephan Waack |
Combining Performance and Availability Analysis in Practice / Kishor Trivedi ; Ermeson Andrade ; Fumio Machida |
Modeling, Analysis and Testing of System Vulnerabilities / Aditya P. Mathur ; Nimal Nissanke |
System Dependability - Characterization and Benchmarking / Yves Crouzet ; Karama Kanoun |
Pragmatic Directions in Engineering Secure Dependable Systems / M. Farrukh Khan ; Raymond A. Paul |
Model-Based Testing: Achievements and Future Challenges / Michael Mlynarski ; Baris Güldali ; Stephan Weißleder ; Gregor Engels |
Cloud Computing Uncovered: A Research Landscape / Mohammad Hamdaqa ; Ladan Tahvildari |
Advances in User-session-based Testing of Web Applications / Sreedevi Sampath |
Machine Learning and Event-Based Software Testing: Classifiers for Identifying Infeasible GUI Event Sequences / Robert Gove ; Jorge Faytong |
A Framework for Detecting and Diagnosing Configuration Faults in Web Applications |
Trends in Model-based GUI Testing / Stephan Arlt ; Cristiano Bertolini ; Simon Pahl ; Martin Schaf |
Regression Testing in Software Product Line Engineering / Per Runeson ; Emelie Engstrom |
Introduction and Preface / Sahra Sedigh ; Ali Hurson |
Techniques to Measure, Model, and Manage Power / Bhavishya Goel ; Sally A. McKee ; Magnus Sjalander |
Quantifying IT Energy-Efficiency / Florian Niedermeier ; Gergo Lovasz ; Hermann de Meer |
State of the Art on Technology and Practices for Improving the Energy Efficiency of Data Storage / Marcos Dias de Assuncao ; Laurent Lefevre |
Optical Interconnects for Green Computers and Data Centers / Shinji Tsuji ; Takashi Takemoto |
Energy Harvesting for Sustainable Smart Spaces / Nga Dang ; Elaheh Bozorgzadeh ; Nalini Venkatasubramanian |
How Elasticity Property Plays an Important Role in the Cloud: A Survey / M.A.N. Bikas ; A. Alourani ; M. Grechanik |
Cloud Elasticity |
Existing Cloud Elasticity Solutions |
Existing Research Issues of Cloud Elasticity |
How Elasticity Can Be Improved in the Cloud |
About the Authors |
Input-Sensitive Profiling: A Survey |
Input-Sensitive Profiling Challenges |
Recent Researches on Input-Sensitive Profiling |
Recent Advances in Regression Testing Techniques / H. Do |
About the Author |
Coverage-Based Software Testing: Beyond Basic Test Requirements / W. Masri ; F.A. Zaraket |
Definitions |
Early Techniques: Basic Coverage Criteria |
Early Techniques: Advanced Coverage Criteria |
Early Techniques: Profiling for Basic Coverage |
Efficient Profiling for Path Coverage |
Test Case Generation for Path Coverage |
Test Suite Minimization; Covering Complex tr's |
Test Suite Minimization: Covering Combinations of Basic tr's |
PBCOV: Property-Based Coverage Criterion |
UCov: User-Defined Coverage Criterion |
Contents of Volumes in this Series |