Computer and Information Science 2011

Front Matter....Pages -
Applying Bounded Model Checking to Verifying Web Navigation Model....Pages 1-15
A Metric-Based Approach for Anti-pattern Detection in UML Designs....Pages 17-33
A Novel Feature Extraction for Facial Expression Recognition via Combining the Curvelet and LDP....Pages 35-46
Constructing Maximum-Lifetime Data Gathering Tree without Data Aggregation for Sensor Networks....Pages 47-57
An Empirical Study of Programming Performance Based on Keystroke Characteristics....Pages 59-72
A Theory of Planned Behavior Perspective on Blog Service Switching....Pages 73-83
User Contribution and IT-Enabled Features of Online Review Platforms: A Preliminary Study....Pages 85-94
Implementation and Performance Analysis of Fuzzy Replica Replacement Algorithm in Data Grid....Pages 95-110
Integrating Business Process Analysis and Complex Event Processing....Pages 111-126
3D NAT Scheme for Realizing Seamless End-to-End Connectivity and Addressing Multilevel Nested Network Address Translation Issues....Pages 127-141
Maximizing Coverage Degree Based on Event Patterns in Wireless Sensor Networks....Pages 143-154
Formal Specification and Implementation of Priority Queue with Starvation Handling....Pages 155-167
Brain Functional Network for Chewing of Gum....Pages 169-178
Effects of Value-Based Mechanism in Online Advertisement Auction....Pages 179-189
Research on Dynamic Optimized Approach of Value Chain in Tourist Destinations....Pages 191-199
Analysis and Quantitative Calculation on Switching Costs: Taking 2002-2006 China Wireless Telecommunications Market as an Example....Pages 201-212
An Empirical Study of Network Topology Inference....Pages 213-225
Computer Network Reverse Engineering....Pages 227-239
CUDA-Based Genetic Algorithm on Traveling Salesman Problem....Pages 241-252
Design and Implementation of Sensor Framework for U-Healthcare Services....Pages 253-261
Back Matter....Pages -