↓ Skip to main content
What is this page? Embed badge

Contemporary Computing

Overview of attention for book
Cover of 'Contemporary Computing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Hybrid Grouping Genetic Algorithm for Multiprocessor Scheduling
  3. Altmetric Badge
    Chapter 2 PDE Based Unsharp Masking, Crispening and High Boost Filtering of Digital Images
  4. Altmetric Badge
    Chapter 3 A New Position-Based Fast Radix-2 Algorithm for Computing the DHT
  5. Altmetric Badge
    Chapter 4 Study of Bit-Parallel Approximate Parameterized String Matching Algorithms
  6. Altmetric Badge
    Chapter 5 Optimization of Finite Difference Method with Multiwavelet Bases
  7. Altmetric Badge
    Chapter 6 A Novel Genetic Algorithm Approach to Mobility Prediction in Wireless Networks
  8. Altmetric Badge
    Chapter 7 A Beaconless Minimum Interference Based Routing Protocol for Mobile Ad Hoc Networks
  9. Altmetric Badge
    Chapter 8 An Optimal, Distributed Deadlock Detection and Resolution Algorithm for Generalized Model in Distributed Systems
  10. Altmetric Badge
    Chapter 9 Throughput Considerations of Fault-Tolerant Routing in Network-on-Chip
  11. Altmetric Badge
    Chapter 10 A New Approach towards Bibliographic Reference Identification, Parsing and Inline Citation Matching
  12. Altmetric Badge
    Chapter 11 Optimized Graph Search Using Multi-Level Graph Clustering
  13. Altmetric Badge
    Chapter 12 An Integrated Framework for Relational and Hierarchical Mining of Frequent Closed Patterns
  14. Altmetric Badge
    Chapter 13 A Modified Differential Evolution Algorithm with Cauchy Mutation for Global Optimization
  15. Altmetric Badge
    Chapter 14 Zone Based Hybrid Feature Extraction Algorithm for Handwritten Numeral Recognition of South Indian Scripts
  16. Altmetric Badge
    Chapter 15 Local Subspace Based Outlier Detection
  17. Altmetric Badge
    Chapter 16 New Robust Fuzzy C-Means Based Gaussian Function in Classifying Brain Tissue Regions
  18. Altmetric Badge
    Chapter 17 On the Connectivity, Lifetime and Hop Count of Routes Determined Using the City Section and Manhattan Mobility Models for Vehicular Ad Hoc Networks
  19. Altmetric Badge
    Chapter 18 On the Privacy Protection of Biometric Traits: Palmprint, Face, and Signature
  20. Altmetric Badge
    Chapter 19 Indexing Iris Biometric Database Using Energy Histogram of DCT Subbands
  21. Altmetric Badge
    Chapter 20 Secured Communication for Business Process Outsourcing Using Optimized Arithmetic Cryptography Protocol Based on Virtual Parties
  22. Altmetric Badge
    Chapter 21 Timing Analysis of Passive UHF RFID - EPC C1G2 System in Dynamic Frame
  23. Altmetric Badge
    Chapter 22 Secure Receipt-Free Sealed-Bid Electronic Auction
  24. Altmetric Badge
    Chapter 23 An Architecture for Handling Fuzzy Queries in Data Warehouses
  25. Altmetric Badge
    Chapter 24 Palmprint Based Verification System Using SURF Features
  26. Altmetric Badge
    Chapter 25 A Personnel Centric Knowledge Management System
  27. Altmetric Badge
    Chapter 26 A Protocol for Energy Efficient, Location Aware, Uniform and Grid Based Hierarchical Organization of Wireless Sensor Networks
  28. Altmetric Badge
    Chapter 27 Swarm Intelligence Inspired Classifiers in Comparison with Fuzzy and Rough Classifiers: A Remote Sensing Approach
  29. Altmetric Badge
    Chapter 28 CDIS: Circle Density Based Iris Segmentation
  30. Altmetric Badge
    Chapter 29 Text and Language-Independent Speaker Recognition Using Suprasegmental Features and Support Vector Machines
  31. Altmetric Badge
    Chapter 30 Face Recognition Using Fisher Linear Discriminant Analysis and Support Vector Machine
  32. Altmetric Badge
    Chapter 31 Threshold Signature Cryptography Scheme in Wireless Ad-Hoc Computing
  33. Altmetric Badge
    Chapter 32 Vehicular Traffic Control: A Ubiquitous Computing Approach
  34. Altmetric Badge
    Chapter 33 Application of Particle Swarm Optimization Algorithm for Better Nano-Devices
  35. Altmetric Badge
    Chapter 34 Measuring the Storage and Retrieval of Knowledge Units: An Empirical Study Using MES
  36. Altmetric Badge
    Chapter 35 Implementation of QoS Aware Q-Routing Algorithm for Network-on-Chip
  37. Altmetric Badge
    Chapter 36 Color Image Restoration Using Morphological Detectors and Adaptive Filter
  38. Altmetric Badge
    Chapter 37 Secure Multi-party Computation Protocol for Defense Applications in Military Operations Using Virtual Cryptography
  39. Altmetric Badge
    Chapter 38 An Angle QIM Watermarking in STDM Framework Robust against Amplitude Scaling Distortions
  40. Altmetric Badge
    Chapter 39 Parallelization Issues of Domain Specific Question Answering System on Cell B.E. Processors
  41. Altmetric Badge
    Chapter 40 Security Issues in Cross-Organizational Peer-to-Peer Applications and Some Solutions
  42. Altmetric Badge
    Chapter 41 Protocols for Secure Node-to-Cluster Head Communication in Clustered Wireless Sensor Networks
  43. Altmetric Badge
    Chapter 42 Significant Deregulated Pathways in Diabetes Type II Complications Identified through Expression Based Network Biology
  44. Altmetric Badge
    Chapter 43 Study of Drug-Nucleic Acid Interactions: 9-amino- [N-2-(4-morpholinyl)ethyl]acridine-4-carboxamide
  45. Altmetric Badge
    Chapter 44 IDChase: Mitigating Identifier Migration Trap in Biological Databases
  46. Altmetric Badge
    Chapter 45 Multi-domain Protein Family Classification Using Isomorphic Inter-property Relationships
  47. Altmetric Badge
    Chapter 46 IITKGP-SESC: Speech Database for Emotion Analysis
  48. Altmetric Badge
    Chapter 47 Detection of Splice Sites Using Support Vector Machine
  49. Altmetric Badge
    Chapter 48 Gibbs Motif Sampler, Weight Matrix and Artificial Neural Network for the Prediction of MHC Class-II Binding Peptides
  50. Altmetric Badge
    Chapter 49 Classification of Phylogenetic Profiles for Protein Function Prediction: An SVM Approach
  51. Altmetric Badge
    Chapter 50 FCM for Gene Expression Bioinformatics Data
  52. Altmetric Badge
    Chapter 51 Enhancing the Performance of LibSVM Classifier by Kernel F-Score Feature Selection
  53. Altmetric Badge
    Chapter 52 An Electronically Tunable SIMO Biquad Filter Using CCCCTA
  54. Altmetric Badge
    Chapter 53 An Architecture for Cross-Cloud System Management
  55. Altmetric Badge
    Chapter 54 Energy Efficiency of Thermal-Aware Job Scheduling Algorithms under Various Cooling Models
  56. Altmetric Badge
    Chapter 55 Predicting Maintainability of Component-Based Systems by Using Fuzzy Logic
  57. Altmetric Badge
    Chapter 56 Energy-Constrained Scheduling of DAGs on Multi-core Processors
  58. Altmetric Badge
    Chapter 57 Evaluation of Code and Data Spatial Complexity Measures
  59. Altmetric Badge
    Chapter 58 Pitcherpot: Avoiding Honeypot Detection
  60. Altmetric Badge
    Chapter 59 Verification of Liveness Properties in Distributed Systems
  61. Altmetric Badge
    Chapter 60 InfoSec-MobCop – Framework for Theft Detection and Data Security on Mobile Computing Devices
  62. Altmetric Badge
    Chapter 61 Multi-scale Modeling and Analysis of Nano-RFID Systems on HPC Setup
Attention for Chapter 59: Verification of Liveness Properties in Distributed Systems
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
8 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Verification of Liveness Properties in Distributed Systems
Chapter number 59
Book title
Contemporary Computing
Published in
ADS, January 2009
DOI 10.1007/978-3-642-03547-0_59
Book ISBNs
978-3-64-203546-3, 978-3-64-203547-0
Authors

Yadav, Divakar, Butler, Michael, Divakar Yadav, Michael Butler

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 8 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Portugal 1 13%
Unknown 7 88%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 50%
Student > Bachelor 1 13%
Student > Master 1 13%
Researcher 1 13%
Professor > Associate Professor 1 13%
Other 0 0%
Readers by discipline Count As %
Computer Science 8 100%

This page is provided by Altmetric.