The Financial Critical Infrastructure and the Value of Information Sharing / Enrico Angori ; Roberto Baldoni ; Eliezer Dekel ; Atle Dingsor ; Matteo Lucchetti1：
Modeling and Risk Analysis of Information Sharing in the Financial Infrastructure / Walter Beyeler ; Robert Glass ; Giorgia Lodi2：
CoMiFin Architecture and Semantic Rooms / Vita Bortnikov ; Gregory Chockler ; Gennady Laventman ; Luca Montanari4：
Monitoring and Evaluation of Semantic Rooms / László Gönczy ; György Csertán ; Gábor Urbanics ; Hamza Ghani ; Abdelmajid Khelil ; Neeraj Suri5：
Trust and Privacy / Jimmy McGibney ; Hisain Elshaafi ; Barry P. Mulcahy ; Dmitri Botvich ; Davide Lamanna ; Hani Qusa6：
Collaborative Inter-domain Stealthy Port Scan Detection Using Esper Complex Event Processing / Giuseppe Antonio Di Luna7：
Distributed Attack Detection Using Agilis / 8：
Collaborative Attack Detection Using Distributed Hash Tables / 9：
Glossary
Index
The Financial Infrastructure / Part I：
The Financial Critical Infrastructure and the Value of Information Sharing / Enrico Angori ; Roberto Baldoni ; Eliezer Dekel ; Atle Dingsor ; Matteo Lucchetti1：
Modeling and Risk Analysis of Information Sharing in the Financial Infrastructure / Walter Beyeler ; Robert Glass ; Giorgia Lodi2：
Simulation, Optimization, Monitoring and Control Technology
Discrimination and Prediction of Pork Freshness by E-nose / Xuezhen Hong ; Jun Wang
Nonlinear Optimization of GM(1,1) Model Based on Multi-parameter Background Value / Tangsen Zhan ; Hongyan Xu
Plant Leaf Water Detection Instrument Based on Near Infrared Spectroscopy / Jiannan Jia ; Haiyan Ji
Optimization Strategy on Cash Transportation Routing of Banks / Longjia Xiao ; Xin Wang
Drought Monitoring Based on the Vegetation Temperature Condition Index by IDL Language Processing Method / WenHao Ou ; Wei Su ; Chen Wu ; ZhongZheng Zhu ; YanMin Li ; Shi Shen
A Kind of Rice Nitrogen Status Rapid Diagnostic Tool / Jin-heng Zhang ; Xin Yu ; Yongliang Lv ; Zhenxuan Yao ; Dapeng Li ; Chao Han
Applying Axiomatic Design Theory to the Multi-objective Optimization of Disk Brake / Zhiqiang Wu ; Xianfu Cheng ; Junping Yuan
Energetic and Exergetic Performances Simulating of GSHP Greenhouse Cooling System in Northern China / Lilong Chai ; Chengwei Ma ; Gangyi Xu ; Mingchi Liu ; Yong Xu
Vague Weighted Decision-Making Method and Its Application in Sugarcane Breeding / Hongxu Wang ; FuJin Zhang ; Yunsheng Xu
Driver Safe Speed Model Based on BP Neural Network for Rural Curved Roads / Xiaolei Chen ; Ruijuan Chi ; Jianqiang Wang ; Changle Pang ; Qing Xiao
Solving Motion Law by Numerical Simulation on Bowl Seeding Transplanting Robot / Chunhui Qi ; Jianping Hu ; Jun Ma ; Jianbing Zhang
Development of an Automatic Control System for Pot-Grown Rice Inspection Based on Programmable Logic Controller / Wanneng Yang ; Chenglong Huang ; Qian Liu
Bee Products Quality Control and Emergency Management Mechanism Research Based on Multi-Agent / E. Yue ; Yongsheng Cao ; Yeping Zhu
Evaluating Simulation Model Based on Generated Weather Data / Shijuan Li
On Integral Sum Numbers of Cycles / Ergen Liu ; Qing Zhou ; Wei Yu
Soil-Cutting Simulation and Test of Oblique Rotary Tiller / Jianmin Gao ; Yongchao Jin
Image Recognition of Grape Downy Mildew and Grape Powdery Mildew Based on Support Vector Machine / Guanlin Li ; Zhanhong Ma ; Haiguang Wang
Monitoring Wheat Stripe Rust Using Remote Sensing Technologies in China / Jiebin Guo
Research on Automatic Inspection Methods of Flight Quality of Digital Aerial Photography Results / Yanwei Zeng ; Yong Liang ; Wencong Jiang ; Xiaojun Wang
Application of Machine Vision Technology in the Diagnosis of Maize Disease / Liying Cao ; Xiaohui San ; Yueling Zhao ; Guifen Chen
Analysis of the Rigidity of Arc Flexible Hinge with Different Geometrical Parameters / Hongjiang Chen
A Study of Image Processing on Identifying Cucumber Disease / Yong Wei ; Ruokui Chang ; Yuanhong Wang ; Hua Liu ; Yanhong Du ; Jianfeng Xu ; Ling Yang
Dynamic Compensation for Impact-Based Grain Flow Sensor / Junwan Hu ; Changlai Gong ; Zhigang Zhang
Research on the Simulation Model of Above-Ground Organs Morphogenesis of Flue-Cured Tobacco / Shuping Xiong ; Lei Xi ; Jucai Wang ; Guanghui Xu ; Xinming Ma
Simulation on Magnetic Field Characteristics of Permanent-Magnet Seed-Metering Device / Jing Wang ; Qirui Wang ; Xun Wang
Maximum Entropy Niche-Based Modeling (Maxent) of Potential Geographical Distributions of Lobesia Botrana (Lepidoptera: Tortricidae) in China / Wencheng Lv ; Zhihong Li ; Xingxia Wu ; Wenlong Ni ; Weiwei Qv
A Design of Greenhouse Remote Monitoring System Based on WSN and WEB / Gang Liu
Research on the Monitor and Control System of Granary Temperature and Humidity Based on ARM / Liu Yang ; Xinrong Cheng ; Zhijie Jiang ; Zhijun Ren
The Research of Support Vector Machine in Agricultural Data Classification / Lei Shi ; Qiguo Duan ; Mei Weng
Study of Micro-vision Calibration Technique Based on SIFT Feature Matching / Tao Hu ; Hui-lan Wu ; Guodong Liu
Design of Fuzzy Control Algorithm for Precious Irrigation System in Greenhouse / Ronghua Ji ; Lijun Qi ; Zicheng Huo
Winter Wheat Yield Estimation Coupling Weight Optimization Combination Method with Remote Sensing Data from Landsat5 TM / Xingang Xu ; Jihua Wang ; Wenjiang Huang ; Cunjun Li ; Xiaoyu Song ; Xiaodong Yang ; Hao Yang
Application of Data Fusion Technology in Greenhouse Environment Monitoring and Control System / Xiangfei Meng ; Changming Wang
Improvement of the Capacitive Grain Moisture Sensor / Yongjun Zheng
Study on the Automatic Composition of Document Service Based on Semantic and Multi-agent Method / Haiyan Hu ; Xianxue Meng ; Xiaolu Su
Utilizing Model to Optimize Crop Plant Density: A Case Study on Tomato / LiLi Yang ; QiaoXue Dong ; Daoliang Li
Research on Automatic Inspection Methods of Image Quality of Digital Aerial Photography Results
Simulated Analysis of a Wheeled Tractor on Soft Soil Based on RecurDyn / Wenqian Huang ; Feijun Xu ; Jishuai Ge ; Chi Zhang
Identifying Apple Surface Defects Based on Gabor Features and SVM Using Machine Vision / Baihai Zhang
Walking Goal Line Detection Based on DM6437 on Harvesting Robot / Gang Wu ; Yu Tan ; Shumao Wang
Winter Wheat Seedtime Monitoring through Satellite Remote Sensing Data / Bei Cui ; Jihong Zhou
Guaranteed Cost Control for Uncertain Distributed Delay System with Neutral Type / Yuyan Zhang ; Dan Zhao ; Yan Zhao ; Na Zhang
Sustainability Assessment of Regional Water Resources Use Based on PSO-PPE / Qiang Fu ; Qiuxiang Jiang ; Zilong Wang
Comprehensive Evaluation of Regional Agricultural Water and Land Resources Carrying Capacity Based on DPSIR Concept Framework and PP Model
Investigating Image Enhancement in Pseudo-Foreign Fiber Detection / Wenzhu Yang
Assimilating MODIS-LAI into Crop Growth Model with EnKF to Predict Regional Crop Yield / Sijie Wu ; Jianxi Huang ; Xingquan Liu ; Jinlong Fan ; Guannan Ma ; Jinqiu Zou
The Reputation Analysis Based on the Signal Game Theory Model of the Aquatic Products of Logistics Company / Jiansheng Zhang ; Jinglai Zhang ; Shangwu Liu ; Jianning Mu
Principal Component Analysis of Annul Agricultural Industrialization / Li Chen
Research on Change Monitoring Method of Cultivated Lands Level Based on Volatile Indicators / Yanqing Chen ; Jianyu Yang ; Chao Zhang ; Zhouting Sun ; Dongping Ming
Feature Selection for Cotton Foreign Fiber Objects Based on PSO Algorithm / Hengbin Li ; Jinxing Wang ; Shuangxi Liu ; Zhenbo Li
Optimization Model to Estimate Mount Tai Forest Biomass Based on Remote Sensing / Yanfang Diao ; Chengming Zhang ; Jiping Liu ; Xuelian Hou ; Xiaomin Gong
Important Parameters Optimization for Opening Cotton Device / Gaili Gao ; Hefei Zhao ; Jun Liu
Fast Segmentation of Foreign Fiber Image / Yutao Wu
A Portable Measurement Instrument for the Measurement of Water Body Chlorophyll-a in the Support of Fluorescence Detection / Cong Wang ; Lingxian Zhang ; Qisheng Ding ; Zetian Fu
The Key Information Technology of Soybean Disease Diagnosis / Baoshi Jin ; Xiaodan Ma ; Zhongwen Huang ; Yuhu Zuo
The Application of Wireless Sensor in Aquaculture Water Quality Monitoring / Wen Ding ; Yinchi Ma
Prediction of Dissolved Oxygen Content in Aquaculture of Hyriopsis Cumingii Using Elman Neural Network / Shuangyin Liu ; Mingxia Yan ; Haijiang Tai ; Longqin Xu
Finite Element Analysis and Design Improvement of Film Picking Forks Roller Tooth in Field Cleaning Machine / Xufeng Wang ; Yonghua Sun ; Shaohui Ma ; Wei Wang ; Jungang Wang ; Xuejun Zhang
A Kind of Proxy Caching Program Based on Doubly Linked List in VOD System / Jianzhong Hou ; Qiaolin Chai
Author Index
Simulation, Optimization, Monitoring and Control Technology
Discrimination and Prediction of Pork Freshness by E-nose / Xuezhen Hong ; Jun Wang
Nonlinear Optimization of GM(1,1) Model Based on Multi-parameter Background Value / Tangsen Zhan ; Hongyan Xu
Study on Soil Nutrients Spatial Variability in Yushu City / Yueling Zhao ; Haiyan Han ; Liying Cao ; Guifen Chen
The Application of Classical Least Square Algorithm in the Quantitative Analysis of Lime in Wheat Flour by ATR-MIR Spectroscopy / Dong Wang ; Donghai Han ; Zhihong Ma ; Ligang Pan ; Liu Zhao ; Ping Han ; Jihua Wang
Study of Quantitative Analysis for Moisture Content in Winter Wheat Leaves Using MSG-ANN Algorithm / Hao Ma ; Haiyan Ji ; Xue Liang ; Zhenhong Rao
FT-NIR and Confocal Microscope Raman Spectroscopic Studies of Sesame Oil Adulteration / Jun Luo ; Tao Liu ; Yande Liu
Non-Point Source Pollution Characteristics of Agriculture-Derived Nitrogen in Groundwater in Suburban Area of Shanghai Based on Models / Guangrong Shen ; Xiumei Huang ; Pei Zhou ; Lumei Wang ; Yuee Zhi
Nondestructive Estimation of Total Free Amino Acid in Green Tea by Near Infrared Spectroscopy and Artificial Neural Networks / Zhiming Guo ; Liping Chen ; Chunjiang Zhao ; Wenqian Huang ; Quansheng Chen
Daily Reference Evapotranspiration Estimation Based on Least Squares Support Vector Machines / Dachun Chen
Data Analysis of Cold Rice Blast Based on Near Infrared Spectroscopy / Feng Tan ; Xiaodan Ma ; Chun Wang ; Tingyi Shang
Study on Dynamic Variation Regularities of Regional Groundwater Depth Based on Complexity Diagnosis / Dong Liu ; Miao Yu ; Nan Sun ; Ying Qi
Comparison of Spectral Indices and Principal Component Analysis for Differentiating Lodged Rice Crop from Normal Ones / Zhanyu Liu ; Cunjun Li ; Yitao Wang ; Wenjiang Huang ; Xiaodong Ding ; Bin Zhou ; Hongfeng Wu ; Dacheng Wang ; Jingjing Shi
Sustainable Fertilizer Level for Winter Wheat in Different Rainfall Regions on the Loess Plateau of China / Xuechun Wang ; Shishun Tao ; Mingde Hao ; Wei Li
Based on Vague Sets of Strawberry Varieties Resistance Comparison / Yan Zhang ; Hongxu Wang ; Hongbin Zhang
Evaluating New Varieties of Wheat with the Application of Vague Optimization Methods / FuJin Zhang ; Yunsheng Xu
Research on Effect of Ventilated Region to Grape Rain Shed Performance Based on CFD / Jian Wang ; Hongbing Yang
Research on Evaluation of Agricultural Planting Security in Hebei Province / Li Deng ; Yali Li
Evaluation of Temporal Resolution Effect in Remote Sensing Based Crop Phenology Detection Studies / Hu Zhao ; Zhengwei Yang ; Liping Di ; Zhiyuan Pei
Agricultural Landscape Dynamics and Its Response in Seasonal Vegetation Activities in the Loess Plateau, Northern Shaanxi, China / Zhengguo Li ; Peng Yang ; Yanglin Wang ; Qingbo Zhou ; Huajun Tang ; Hsiaofei Chang
Shape Feature Extraction of Wheat Leaf Disease Based on Invariant Moment Theory / Zhihua Diao ; Anping Zheng ; Yuanyuan Wu
Nitrogen Status Estimation of Winter Wheat by Using an IKONOS Satellite Image in the North China Plain / Liangliang Jia ; Zihui Yu ; Fei Li ; Martin Gnyp ; Wolfgang Koppe ; Georg Bareth ; Yuxin Miao ; Xinping Chen ; Fusuo Zhang
Assessment of Potential Risk in Soil and Early Warning Analysis in Four Counties, Northeast China / Lingling Sang ; Chao Zhang ; Jianyu Yang ; Dehai Zhu ; Wenju Yun
The Comparative Analysis of Spatial Structure of Ji Wheat 22 Yield Based on Different Stochastic Samplings / Yujian Yang ; Xueqin Tong
Research on Throwing Soil Regular Pattern of Reversal Cultivated Land and Fertilization Seeder / Yongliang Zhang ; Jianping Hu ; Chunjian Zhou ; Chuantong Lu
A Research about the Application of Information Technology in the Precision Agriculture-Taking the Operating System of Shanghai Agriculture Economy as an Example / Hong Yao ; Yong-xing Wu
Research on the Data Conversion Specification for Chinese Agricultural Product Quantity Safety / Kaimeng Sun
Small-Scale Evaluation of Tobacco Planting Suitability Based on Spatial Information Technology / Fengrui Chen ; Guangxiong Peng ; Wei Su ; Yaochen Qin ; Xi Li
Study on Spatial Model and Service Radius of Rural Areas and Agriculture Information Level in Yellow-River Delta / Guangming Liu ; Zhicheng Wang
The Effect of Intercropping of Maize and Soybean on Microclimate / Hanming He ; Lei Yang ; Liming Fan ; Lihua Zhao ; Han Wu ; Jing Yang ; Chengyun Li
Estimating Foliar Pigment Concentration of Rice Crop Using Integrated Hyperspectral Index / Guofu Mao ; Xingang Xu
Identifying Leaf-Scale Wheat Aphids Using the Near-Ground Hyperspectral Pushbroom Imaging Spectrometer / Jinling Zhao ; Dongyan Zhang ; Juhua Luo
Research on Application of Web Log Analysis Method in Agriculture Website Improvement
Spatial Pattern of Plant Specimen and Its Implications in Conservation Biology in Hengduan Mountains of Southwest China / Jianmeng Feng
Determination of Corn Nutrient Status under N&K Stressed Condition Using Hyperspectral Analysis / Haihua Wang ; Minzan Li ; Yane Zhang
Research in Crop Land Suitability Analysis Based on GIS / Guobing Pan ; Jianping Pan
Research on WSN Channel Fading Model and Experimental Analysis in Orchard Environment / Wei Zhang ; Yong He ; Fei Liu ; Gongcong Miao ; Shitao Sun Chengfeng Liu ; Jianfang Jin
Analysis of Trace Elements in Leaves Using Laser-Induced Breakdown Spectroscopy / Xu Zhang ; Mingyin Yao ; Muhua Liu ; Zejian Lei
Land Use/Land Cover Classification Based on Multi-resolution Remote Sensing Data / Yuechen Liu ; Quan Wu ; Lin Guo ; Xiwei Chen
Study on Quick Identify of the Brand of Seabuckthorn Juice Based on PCA and SVM / Zhipeng Liu ; Shujuan Zhang
Research and Application of Space-Time Evolution of Soil Fertility Data Mining Based on Visualization / Wei Dong ; Jian Jiang ; Guowei Wang
Spatial Information Sharing Technology Based on Grid / Hong-bin Zhang ; Bao-rui Chen ; Gang Li ; Xiao-ping Xin
A Robust Graph Based Learning Approach to Agricultural Data Classification / Baojie Ji ; Caili Su ; Wanzhong Lei
Wheat Grain Protein Content Estimation Based on Multi-temporal Remote Sensing Data and Generalized Regression Neural Network / Qian Wang ; Yan Wang ; Xiaodong Yang ; Xiaoyu Song
Study on the GPS Data De-noising Method Based on Wavelet Analysis / Debao Yuan ; Ximin Cui ; Guo Wang ; Jingjing Jin ; Dongli Fan ; Xiaogang Jia
Forest Cover Classification from Multi-temporal MODIS Images in Southeast Asia Using Decision Tree / Sijie Wu ; Jianxi Huang ; Xingquan Liu ; Guannan Ma
Large-Scale Microwave Remote Sensing of Retrieving Surface Multi-parameters Using Active and Passive Satellite Data: In the Tibetan Plateau Region of Maqu / Ruofei Zhong ; Jiangxia Wei ; Qin Li ; Jiao Guo
Grading Method of Crop Disease Based on Image Processing / Youwen Tian ; Lide Wang ; Qiuying Zhou
Evolution Characteristics for Water Eco-Environment of Baiyangdian Lake with 3S Technologies in the Past 60 Years / Yunkai Li ; Lingyan Wang ; Hua Zheng ; Hai Jin ; Tingwu Xu ; Peiling Yang ; Xiaokai Tijiang ; Zengcai Yan ; Zhiheng Ji ; Jianli Lu ; Zhanfeng Wang ; Zhiyun Ouyang
Application and Evaluation of Wavelet-Based Denoising Method in Hyperspectral Imagery Data / Hao Yang ; Zhongling Gao
Estimation of Maize Planting Area through the Fusion of Multi-source Images / Xiaohe Gu ; Yuchun Pan ; Xin He
Discriminant Analysis of Red Wines from Different Aging Ways by Information Fusion of NIR and MIR Spectra / Sijia Tao ; Jingming Li ; Junhui Li ; Jianbo Tang ; Jinrui Mi ; Longlian Zhao
Study on Automatic Composition of Semantic Geospatial Web Service / Wei Guo ; Weihong Cui
The Estimation of Winter Wheat Yield Based on MODIS Remote Sensing Data / Linsheng Huang ; Qinying Yang ; Dong Liang ; Yansheng Dong
Prediction of Wheat Stripe Rust Based on Neural Networks / Haiguang Wang ; Zhanhong Ma
Research on Surface Sampling for Determination of Pesticide Residues in Pome Fruit / Yunxia Luan ; Hua Ping
Hyperspectral Discrimination and Response Characteristics of Stressed Rice Leaves Caused by Rice Leaf Folder / Jia-an Cheng
Image Segmentation of Pseudo-foreign Fibers in Cotton on the Basis of Improved Genetic Algorithm / Lulu Ge ; Daoliang Li ; Liu Yang ; Wenzhu Yang
Research and Design of an Agricultural Scientific Instruments Classification and Code Management System / Wenshen Jia ; Wenfu Wu ; Yang Li ; Yuange Qian
The Self-adaptive Adjustment Method of Clustering Center in Multi-spectral Remote Sensing Image Classification of Land Use / Shujing Wan ; Chengming Zhang ; Lining Liu ; Yong Wang ; Hui Tian ; Yong Liang ; Jing Chen
A Review of Measurement Methods of Dissolved Oxygen in Water / Haijiang Tai ; Yuting Yang ; Shuangyin Liu
Study on the Walnut Mechanical Characteristics and Shucking Technology Based on Finite Element Analysis / Hongmei Xu ; Shuiping Yan ; Yi Wang ; Meiying Liu
Experimental Study on Forced-Air Precooling of Dutch Cucumbers / Jingying Tan ; Shi Li ; Qing Wang
Experimental Study on the Effects of Mechanical and Physical Characteristics on Walnut Shucking / Yapeng Bai
Research on the Effects of Mechanical and Physical Characteristics on Peanut Shucking / Qi Huang
Preliminary Study on Soil Moisture Forecast of Winter Wheat / Xiumei Zhang ; Bingbo Gao ; Chunshan Su
Qualitative Analysis of Age and Brand of Unblended Brandy by Electronic Nose / Yang Yang ; Yu Zhao ; Shuming Zhang ; Yuanying Ni ; Jicheng Zhan
The Measurement of the Agricultural Informatization Contribution Rate Based on the Analysis of the Composite Index and the C-D Production Function / Liyong Liu
Estimation of Soil Total Nitrogen and Soil Moisture Based on NIRS Technology / Xiaofei An ; Lihua Zher
The Improved DBSCAN Algorithm Study on Maize Purity Identification / Pan Wang ; Shuangxi Liu ; Mingming Liu ; Qinxiang Wang ; Jinxing Wang ; Chunqing Zhang
Author Index
GIS, GPS, RS and Precision Farming
Study on Soil Nutrients Spatial Variability in Yushu City / Yueling Zhao ; Haiyan Han ; Liying Cao ; Guifen Chen
The Application of Classical Least Square Algorithm in the Quantitative Analysis of Lime in Wheat Flour by ATR-MIR Spectroscopy / Dong Wang ; Donghai Han ; Zhihong Ma ; Ligang Pan ; Liu Zhao ; Ping Han ; Jihua Wang
Decision Support Systems, Intelligent Systems and Artificial Intelligence Applications
Impact of Regional Industries on Logistics Demand with Improved Grey Analysis / Wenqin Cao ; Haiyan Zhu ; Bin Li
Research on the Shape of Wheat Kernels Based on Fourier Describer / Wei Xiqo ; Qinghai Li ; Longzhe Quan
Research on Knowledge Acquisition of Motorcycle Intelligent Design System Based on Rough Set / Rong Dai ; Xiangmin Duan
Research on the Common Causes of Defects and Their Prevention Measures for RCF-Type PCB Mills Production / Heying Wu
Implementation of Business Process Reengineering Based on Workflow Management / Wen Yang ; Hongjiang Chen
Design of Labour Agency Platform Based on Agent Technology of JADE / Xiaobin Qiu ; Nan Zhou ; Xin Wang
GIS-Based Regional Agricultural Economic Information Query and Analysis System / Yan Xue ; Yeping Zhu
Research on Static Decoupling Method of Non-Gyro Micro Inertial Measurement Unit / Mingli Ding ; Dongmei Yang ; Jindong Zhao ; Lili Zhuang
Object Recognition on Cotton Harvesting Robot Using Human Visual System / Yong Wang ; Xiaorong Zhu ; Yongxing Jia ; Changying Ji
The Design of Greenhouse Environment Control System Based on Variable Universe Fuzzy Control Algorithm / Haiyan He ; Hem Xue
Research on Decoupling Control in Temperature and Humidity Control Systems / Weiming Cai ; Songming Zhu ; Huinong He ; Zhangying Ye ; Fang Zhu
Visualization of Virtual Plants Growth Based on Open L-System / Yingying Liu ; Juan Pan ; Li Yang ; Xiaodong Zhu ; Na Zhang
Research on Navel Orange Safety Production Information Management System / Huoguo Zheng ; Shihong Liu ; Liping Zheng ; Jiayou Zhong
Rice Kernel Shape Description Using an Improved Fourier Descriptor / Hua Gao ; Yaqin Wang ; Guangmei Zhang ; Pingju Ge ; Yong Liang
Traceability System of Pig-Raising Process and Quality Safety on 3G / Benhai Xiong ; Qingyao Luo ; Liang Yang ; Jiayi Pan
An Audio Generator System for Experimental Studies on Acoustic Biology
Research and Implementation of Safe Production and Quality Traceability System for Fruit / Shibin Lian
Determination of Navel Orange Safety Production Traceability Information Based on HACCP / Haiyan Hu
Cooling Wet-Pad Fan Control System of Piggery Based on Zigbee / Runtao Wang ; Fang Yang ; Ming Li ; Lei Tian ; Yu Zhang
Agriculture Wireless Temperature and Humidity Sensor Network Based on ZigBee Technology / Xi Wang ; Hui Gao
The Development of Decision Support System for Production of Layer / Jianhua Xiao ; Hongbin Wang ; Luyi Shi ; Mingzhe Lv ; Haikun Ma
Development and Application of a Farmland Test Data Processing System Designed for Wireless Sensor Network Applications / Jinqiu Zou ; Qingbo Zhou ; Peng Yang ; Wenbin Wu
Study on Query System Based on Pomology Domain Ontology / Qian Sun ; Qiulan Wu
Research on Control System of Variable Rate Fertilizer Applicator in Precision Farming Based on Combined Positioning of GPS, Electronic Compass and Gyroscope / Guobing Pan ; Xiao Feng
The Architecture Analysis of Internet of Things / Nihong Wang ; Wenjing Wu
Design on Cucumber Traceability System Based on the Internet of Things / Bai Qu ; Xinchao Jing ; Xiaojun Wang ; Ying Li
Research on Orchard Field Data Service System / Lin Hu ; Yun Qiu ; Guomin Zhou
A Monitoring and Management System for Farmland Environmental Base on Flex and Web Services / Yanmin Wang ; Yuchun Pan ; Bingbo Gao ; Zhenyu Zhang ; Bingjuri Li
GPC: An Expert System Based on Multi-branch Structure for Grass Pest Control Information / Zhigang Wu ; Zehua Zhang ; Wenxin Li ; Guangjun Wang ; Zhihong Li
The Current and Future Potential Geographical Distribution of the Solanum Fruit Fly, Bactrocera latifrons (Diptera: Tephritidae) in China / Xingli Ma ; Wenlong Ni ; Weiwei Qu ; Jiajiao Wu ; Fanghao Wan ; Xuenan Hu
Spatial Variability and Lateral Location of Soil Moisture Monitoring Points on Cotton Mulched Drip Irrigation Field / Xiaoyun Lei ; Fangsong Li ; Shijun Zhou ; Yan Li ; Dachun Chen ; Huanxian Liu ; Yu Pan ; Xiangmin Shen
A Separating Method of Adjacent Apples Based on Machine Vision and Chain Code Information / Juan Feng ; Shengwei Wang ; Gang Liu ; Lihua Zeng
Design of Precision Fertilization Management Information System on GPS and GIS Technologies / Zhimin Liu ; Weidong Xiong ; Xuewei Cao
Models of Dry Matter Production and Yield Formation for the Protected Tomato / Yuli Chen ; Zhiyou Zhang ; Yan Liu ; Yan Zhu ; Hongxin Cao
The Technology System Framework of the Internet of Things and Its Application Research in Agriculture / Hong Zhou ; BingWu Liu ; PingPing Dong
Water-Saving Irrigation Management and Decision Support System Based on WEBGIS / Zhifang Chen ; Jinglei Wang ; Jingsheng Sun ; Aiwang Duan ; Zugui Liu ; Ni Song ; Xiaofei Liu
Key Technology Study of Agriculture Information Cloud-Services / Yunpeng Cui
A SVM-Based Text Classification System for Knowledge Organization Method of Crop Cultivation / Laiqing Ji ; Xinrong Cheng ; Li Kang ; Daoliang Li ; Daiyi Li ; Kaiyi Wang ; Yingyi Chen
Near-Infrared Spectroscopy Technology for Soil Nutrients Detection Based on LS-SVM / Yandan Qiao ; Shujuan Zhang
Large System Multi-objective Model of Optimal Allocation for Water Resources in Jiansanjiang Branch Bureau / Ping Lv ; Dong Liu
Research on Digital Agricultural Information Resources Sharing Plan Based on Cloud Computing / Guifen Chen ; Xu Wang ; Hang Chen ; Chunan Li ; Guangwei Zeng ; Yan Wang ; Peixun Liu
Mechanisms of Soil Aggregates Stability in Purple Paddy Soil under Conservation Tillage of Sichuan Basin, China / Xiaohong Tang ; Youjin Luo ; Jiake Lv ; Chaofu Wei
Design and Application of Quality Traceability System Based on RFID Technology for Red Jujubes / Fenghua Huang ; Huaming Zhao
The Knowledge Representation and Semantic Reasoning Realization of Productivity Grade Based on Ontology and SWRL / Li Ma ; Helong Yu ; Yue Wang
Research on the k-Coverage Local Wireless Network and Its Communication Coordination Mechanism Design / Rongchang Yuan ; Haigan Yuan ; Si Chen ; Longqing Sun ; Feng Qin ; Han Zhang ; Yukun Zhu ; Daokun Ma
Design and Development of Variable Rate Spraying System Based on Canopy Volume Measurement / Kaiqun Hu ; Zetian Fu ; Ronghua Ji ; Jun Wang ; Lijun Qi
A Wireless Sink Node Using Information Fusion for Water Quality Information Collection in Factory Aquaculture / Yuting Yang ; Haijiang Tai ; Yaoguang Wei
Experimental Study on the Reasonable Inbuilt-Ring Depth of Soil One-Dimensional Infiltration Experiment in Field / Guisheng Fan ; Yonghong Han ; Min Song
A Bayesian Based Search and Classification System for Product Information of Agricultural Logistics Information Technology / Dandan Li ; Li Li ; Xiangyang Qin ; Yongjun Zheng
Research on Agent-Based Bee Product Traceability Platform and Barcode System / Shengping Liu ; Shijuan Li
A Collision Detection-Based Wandering Method for Equipment Deploy Scene in Land Reclamation Area of Mining Dump / Juncheng Ma ; Fei Gao ; Lingxian Zhang
A Low-Cost Positioning System for Parallel Tracking Applications of Agricultural Vehicles by Using Kalman Filter / Fangming Zhang ; Ximing Feng ; Yuan Li ; Xiuqin Rao ; Di Cui
A Data Acquisition System Based on Outlier Detection Method for Weighing Lysimeters / Wenqian Huang ; Chi Zhang ; Xuzhang Xue ; Liping Chen
Key Technology of South Sea Pearl Industry Management Information Service Platform Based on the Internet of Things / Longqin Xu ; Shuangyin Liu
Design and Implementation of Farmland Prescription Fertilization System Based on WEBGIS and Target Yield Model / Qingfeng Wei ; Changshou Luo ; Junfeng Zhang
Design of Distributed Traceability System for Wheat Products Quality / Xingye Zhang ; Jianqin Wang ; Jianye Cui ; Jie Zheng ; Jing Pan ; Manlin Chen
Least-Squares Approach for Harmonic and Interharmonic Analysis in Power System / Hong Luo ; Hui Xue
A Research of Agricultural Informationalization Evaluation and Decision Support System / Lifeng Shen ; Xiaoqing Yuan
Design of Expert System for Fault Diagnosis of Water Quality Monitoring Devices / Qiucheng Li ; Zhenbo Li
Preliminary Design of a Recognition, System for Infected Fish Species Using Computer Vision / Jing Hu ; Qingling Duan ; Xiuli Si
Conservation Based Information System for Agrifood Process Network Interoperability / Bela Csukas ; Monika Varga ; Sandor Balogh
Study of Automatic Test System of Surface Flatness in No-Till Field Based on the PLC Technology / Yanbo Su ; Hongwen Li ; Yarong Mi ; Jin He ; Qingjie Wang ; Hui Li ; Rabi G. Rasaily
Author Index
Decision Support Systems, Intelligent Systems and Artificial Intelligence Applications
Impact of Regional Industries on Logistics Demand with Improved Grey Analysis / Wenqin Cao ; Haiyan Zhu ; Bin Li
Research on the Shape of Wheat Kernels Based on Fourier Describer / Wei Xiqo ; Qinghai Li ; Longzhe Quan
Landmark Recognition in VTSITO Tuscany / Giuseppe Amato ; Fabrizio Falchi ; Fausto Rabitti
Automatic Texturing without Illumination Artifacts from In-Hand Scanning Data Flow / Frédéric Larue ; Matteo Dellepiane ; Henning Hamer ; Roberto Scopigno
Voice Technology to Enable Sophisticated Access to Historical Audio Archive of the Czech Radio / Jan Nouza ; Karel Blavka ; Marek Bohac ; Petr Cerva ; Jindrich Zdansky ; Jan Silovsky ; Jan Prazak
MNEMOSYNE: Enhancing the Museum Experience through Interactive Media and Visual Profiling / Andrew D. Bagdanov ; Alberto Del Bimbo ; Lea Landucci ; Federico Pernici
Oral Session: Analysis and Management
Computer Tools for Archaeological Reference Collections: The Case of the Ceramics of the Iberian Period from Andalusia (Spain) / A.L. Martínez-Carrillo ; A. Ruiz ; M.J. Lucena ; J.M. Fuertes
Multimodal Interactive Transcription of Ancient Text Images / Verónica Romero ; Joan Andreu Sánchez ; Alejandro H. Toselli ; Enrique Vidal
A Collaborative Knowledge Management System for Analyzing Non-verbal Markings in the Ancient Mediterranean World / Stefano Valtolina ; Giovanna Bagnasco Gianni ; Alessandra Gobbi ; Nancy T. de Grummond
New World, New Worlds: Visual Analysis of Pre-columbian Pictorial Collections / Daniel Gatica-Perez ; Edgar Roman-Rangel ; Jean-Marc Odobez ; Carlos Pallan
Poster and Demo Session
Towards a Procedure for Quality Control on Large Collections of Digitized Audio Data: The Case of the "Fondazione Arena di Verona" / Federica Bressan ; Sergio Canazza
A Web-Oriented Multi-layer Model to Interact with Theatrical Performances / Adriano Baratè ; Goffredo Haus ; Luca A. Ludovico ; Davide A. Mauro
Augmented Perception of the Past: The Case of the Telamon from the Greek Theater of Syracuse / Filippo Stanco ; Davide Tanasi ; Matteo Buffa ; Beatrice Basile
Publishing Europe's Television Heritage on the Web: The EUscreen Project / Johan Oomen ; Vassilis Tzouvaras
Towards Artistic Collections Navigation Tools Based on Relevance Feedback / Daniele Borghesani ; Costantino Grana ; Rita Cucchiara
A Case Study for the Development of Methods to Improve User Engagement with Digital Cultural Heritage Collections / Maristella Agosti ; Giordana Mariani Canova ; Nicola Orio ; Chiara Ponchia
The Multimedia Archive of the Fondazione Isabella Scelsi / Nicola Bernardini ; Alessandra Carlotta Pellegrini
RFID-Enhanced Museum for Interactive Experience / Rasoul Karimi ; Alexandros Nanopoulos ; Lars Schmidt-Thieme
Discussion Session
Multimedia for Cultural Heritage: Key Issues
Author Index
Oral Session: Interaction
Landmark Recognition in VTSITO Tuscany / Giuseppe Amato ; Fabrizio Falchi ; Fausto Rabitti
Automatic Texturing without Illumination Artifacts from In-Hand Scanning Data Flow / Frédéric Larue ; Matteo Dellepiane ; Henning Hamer ; Roberto Scopigno
7th International Workshop on Business Process Design (BPD 2011)
Towards Classification Criteria for Process Fragmentation Techniques / Michele Mancioppi ; Olha Danylevych ; Dimka Karastoyanova ; Frank Leymann
Harmonization of Business Process Models / Heidi Romero ; Remco-Dijkman ; Paul Grefen ; Arjan van Weele
A Blended Workflow Approach / António Rito Silva
Role Assignment in Business Process Models / Agnes Koschmider ; Liu Yingbo ; Thomas Schuster
RAL: A High-Level User-Oriented Resource Assignment Language for Business Processes / Cristina Cabanillas ; Manuel Resinas ; Antonio Ruiz-Cortés
fQDF: A Design Framework for fine-granular Quality Control of Business Process Outcomes / Vikram Jamwal ; Hema Meda
7th International Workshop on Business Process Intelligence (BPI 2011)
Definition and Validation of Process Mining Use Cases / Irina Ailenei ; Anne Rozinat ; Albert Eckert ; WU M.P. van der Aalst
A Process Deviation Analysis - A Case Study / Jo Swinnen ; Benoît Depaire ; Mieke J. Jans ; Koen Vanhoof
Merging Computer Log Files for Process Mining: An Artificial Immune System Technique / Jan Claes ; Geert Poels
Business Analytics, Process Maturity and Supply Chain Performance / Peter Trkman ; Marcelo Bronzo Ladeira ; Marcos Paulo Valadares De Oliveira ; Kevin McCormack
Discovering User Communities in Large Event Logs / Diogo R. Ferreira ; Cláudia Alves
Supporting the Optimized Execution of Business Processes through Recommendations / Irene Barba ; Barbara Weber ; Carmelo Del Valle
A Business Process Metric Based on the Alpha Algorithm Relations / Fabio Aiolli ; Andrea Burattin ; Alessandro Sperduti
Combining Process Mining and Statistical Methods to Evaluate Customer Integration in Service Processes / Michael Leyer ; Jurgen Moormann
Applying Clustering in Process Mining to Find Different Versions of a Business Process That Changes over Time / Daniela Luengo ; Marcos Sepúlveda
Making Compliance Measures Actionable: A New Compliance Analysis Approach / Nour Darner ; Benoit Depaire
Analysis of Patient Treatment Procedures / R.P. Jagadeesh Chandra Bose ; Wil M.P. van der Aalst
Advanced Care-Flow Mining and Analysis / Filip Caron ; Jan Vanthienen ; Jochen De Weerdt ; Bart Baesens
Process Mining Manifesto / Arya Adriansyah ; Ana Karla Alves de Medeiros ; Franco Arcieri ; Thomas Baier ; Tobias Blickle ; Jagadeesh Chandra Bose ; Peter van den Brand ; Ronald Brandtjen ; Joos Buijs ; Josep Carmona ; Malu Castellanos ; Jonathan Cook ; Nicola Costantini ; Francisco Curbera ; Ernesto Damiani ; Massimiliano de Leoni ; Pavlos Delias ; Boudemijn van Dongen ; Marlon Dumas ; Schahram Dustdar ; Dirk Fahland ; Walid Gaaloul ; Frank van Geffen|cSukriti Goel ; Christian Günther ; Antonella Guzzo ; Paul Harmon ; Arthur ter Hofstede ; John Hoogland ; Jon Espen Ingvaldsen ; Koki Kato ; Rudolf Kuhn ; Akhil Kumar ; Marcello La Rosa ; Fabrizio Maggi ; Donato Malerba ; Ronny S. Mans ; Alberto Manuel ; Martin McCreesh ; Paola Mello ; Jan Mendling ; Marco Montali ; Hamid R. Motahari-Nezhad ; Michael zur Muehlen ; Jorge Munoz-Gama ; Luigi Pontieri ; Joel Ribeiro ; Hugo Seguel Perez ; Ricardo Seguel Pérez ; Jim Sinur ; Pnina Soffer|cMinseok Song ; Giovanni Stilo ; Casper Stoel ; Keith Swenson ; Maurizio Talamo ; Wei Tan ; Chris Turner ; George Varvaressos ; Eric Verbeek ; Marc Verdonk ; Roberto Vigo ; Jianmin Wang ; Matthias Weidlich ; Ton Weijters ; Lijie Wen ; Michael Westergaard ; Moe Wynn
4th International Workshop on Business Process Management and Social Software (BPMS2 2011)
Assessing Support for Community Workflows in Localisation / Aram Morera ; Lamine Aouad ; J.J. Collins
Non-intrusive Capture of Business Processes Using Social Software: Capturing the End Users' Tacit Knowledge / David Martinho
BPMN and Design Patterns for Engineering Social BPM Solutions / Marco Brambilla ; Piero Fraternali ; Carmen Vaca
Applying Social Technology to Business Process Lifecycle Management / Paul Mathiesen ; Jason Watson ; Wasana Bandara ; Michael Rosemann
A Framework for the Support of Value Co-creation by Social Software / Rainer Schmidt
Using Status Feeds for Peer Production by Coordinating Non-predictable Business Processes / Simon Vogt ; Andreas Fink
2nd International Workshop on Cross Enterprise Collaboration (CEC 2011)
Cross Enterprise Collaboration in Multi-Sourcing Service Engagements
Technology for Supporting Collaboration across Enterprise Boundaries / Kelly Dempski ; Alex Kass
Towards Collaborative Cross-Organizational Modeling / Christian Pichler ; Manuel Wimmer ; Konrad Wieland ; Marco Zapletal ; Robert Engel
A Verification Method for Collaborative Business Processes / Jorge Roa ; Omar Chiotti ; Pablo Villarreal
Towards an Integrated Simulation Approach for Planning Logistics Service Systems / Stefan Mutke ; Christopher Klinkmüller ; Andrá Ludwig ; Bogdan Franczyk
2nd International Workshop on Empirical Research in Business Process Management (ER-BPM 2011)
Building a Bridge between Information and Process Management / Jörg Wurzer
On Theoretical Foundations of Empirical Business Process Management Research / Constantin Houy ; Peter Fettke ; Peter Loos
On Handling Process Information: Results from Case Studies and a Survey / Bernd Michelberger ; Beta Mutschler ; Manfred Reichert
Investigating Process Elicitation Workshops Using Action Research / Alexander Luebbe ; Mathias Weske
Towards Understanding the Process of Process Modeling: Theoretical and Empirical Considerations / Pnina Soffer ; Maya Kaner ; Yair Wand
Tracing the Process of Process Modeling with Modeling Phase Diagrams / Jakob Pinggera ; Stefan Zugal ; Hajo A. Reijers
Imperative versus Declarative Process Modeling Languages: An Empirical Investigation / Paul Pichler
5th International Workshop on Event-Driven Business Process Management (edBPM 2011)
Emphasizing Events and Rules in Business Processes / Giorgio Bruno
Interval Logic for Design and Maintenance of Complex Event Processing Systems (Short Paper) / Jean-René Coffi ; Nicolas Museux ; Christophe Marsala
Event-Driven Exception Handling for Software Engineering Processes / Gregor Grambow ; Roy Oberhauser
edUFlow: An Event-Driven Ubiquitous Flow Management System / Jae-Yoon Jung ; Pablo Rosales ; Kyuhyup Oh ; Kyuri Kim
A Review of Event Formats as Enablers of Event-Driven BPM / Jörg Becker ; Martin Matzner ; Oliver Müller ; Marcel Walter
A Prototype Tool for the Event-Driven Enforcement of SBVR Business Rules / Willem De Roover
Applying Complex Event Processing towards Monitoring of Multi-party Contracts and Services for Logistics - A Discussion / Martin Roth ; Steffi Donath
Nuclear Crisis Use-Case Management in an Event-Driven Architecture / Sebastien Tmptil ; Anne-Marie Barthe ; Frederick Benaben ; Roland Stuehmer
Event-Driven Process-Centric Performance Prediction via Simulation / David Redlich ; Wasif Gilani
Author Index
7th International Workshop on Business Process Design (BPD 2011)
Towards Classification Criteria for Process Fragmentation Techniques / Michele Mancioppi ; Olha Danylevych ; Dimka Karastoyanova ; Frank Leymann
Harmonization of Business Process Models / Heidi Romero ; Remco-Dijkman ; Paul Grefen ; Arjan van Weele
1st International Workshop on Process Model Collections (PMC 2011)
Consolidated Management of Business Process Variants / Marlon Dumas
Towards Cross-Organizational Process Mining in Collections of Process Models and Their Executions / J.C.A.M. Buijs ; Boudewijn F. van Dongen ; WU M.P. van der Aalst
Activity-Oriented Clustering Techniques in Large Process and Compliance Rule Repositories / Stefanie Rinderle-Ma ; Sonja Kabicher ; Link Thao Ly
An Open Process Model Library / Rami-Habib Eid-Sabbagh ; Matthias Kunze ; Mathias Weske
Analysing Differences between Business Process Similarity Measures / Michael Becker ; Ralf Laue
Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study / J.J.C.L. Vogelaar ; H.M.W. Verbeek ; B. Luka ; Wil M.P. van der Aalst
Industry Operations Architecture for Business Process Model Collections / Jorge L.C. Sanz ; Ying Leung ; Ignacio Terrizzano ; Valeria Becker ; Susanne Glissmann ; Joseph Kramer ; Guang-Jie Ren
On Formalizing Inter-process Relationships / Tri A. Kurniawan ; Aditya K. Ghose ; Lam-Son Lê ; Hoa Khanh Dam
Navigating in Process Model Collections: A New Approach Inspired by Google Earth / Markus Hipp ; Beta Mutschler ; Manfred Reichert
1st International Workshop on Process-Aware Logistics Systems (PALS 2011)
On the Modeling of Healthcare Workflows Using Recursive ECATNets
Amel Ben Dhieb / Kamel Barkaoui
Negotiating Deadline Constraints in Inter-organizational Logistic Systems: A Healthcare Case Study / Mouna Makni ; Nejib Ben Hadj-Alouane ; Samir Tata ; Moez Yeddes
Configurable Process Models for Logistics Case Study for Customs Clearance Processes / Wassim Derguech ; Feng Gao ; Sami Bhiri
A Formal Framework for Cooperative Logistics Management / Ichiro Satoh
Linear Integer Programming for the Home Health Care Problem / Sarra Trabelsi ; Rim Larbi ; Atidel Hadj Alouane
Evolutionary Algorithm for Scheduling Production Jobs and Preventive Maintenance Activities / Maker Rebai ; Imed Kacem ; Kondo H. Adjallah
On the Modeling of Logistic Decisions Impacts on Product Greenness: Sensitivity Analysis / Imen Nouira ; Yannick Frein ; Atidel B. Hadj-Alouane
A Mathematical Model for the Global Supplier Selection / Ramzi Hammami
4th International Workshop on Process-Oriented Information Systems in Healthcare (ProHealth 2011)
Context, Retrospection, and Prospection in Healthcare Process Definitions (An Invited Presentation at ProHealth 2011) / Leon J. Osterweil
Reusing a Declarative Specification to Check the Conformance of Different CIGs / M.A. Grando ; Ronny S. Mans
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge / Alessio Bottrighi ; Federico Chesani ; Paola Mello ; Marco Montali ; Stefania Montani ; Paolo Terenziani
Compliance Oriented Process Management Using the Example of Clinical Trials / Jörg Schlundt ; Stefan Jablonski
Alpha-Adaptive: Evolutionary Workflow Metadata in Distributed Document-Oriented Process Management / Christoph P. Neumann ; Peter K. Schwab ; Andreas M. Wahl ; Richard Lenz
Guarded Process Spaces (GPS): A Navigation System towards Creation and Dynamic Change of Healthcare Processes from the End-User's Perspective / Claudia Reuter ; Peter Dadam ; Stephan Rudolph ; Wolfgang Deiters ; Simon Trillsch
Enabling YAWL to Handle Dynamic Operating Room Management / Sebastian Schick ; Holger Meyer ; Markus Bandt ; Andreas Heuer
Developing a Process Quality Improvement Questionnaire - A Case Study on Writing Discharge Letters / Robert Heinrich ; Barbara Paech ; Antje Brandner ; Ulrike Kutscha ; Björn Bergh
A Personalized Access Control Framework for Workflow-Based Health Care Information / Nazia Leyla ; Wendy MacCaull
2nd International Workshop on Reuse in Business Process Management (rBPM 2011)
Three Challenges for Process Model Reuse / Jan Mendling
A Modular Approach to Build Workflow Engines / Mario Sanchez ; Diana Puentes ; Jorge Villalobos
A Component Abstraction for Business Processes / Souvik Barat ; Vinay Kulkarni
Ontology-Based Discovery of Workflow Activity Patterns / Diogo R. Ferreira ; Susana Alves ; Lucinéia H. Thorn
Staged Configuration of Multi-perspectives Variants Based on a Generic Data Model: Regular Paper / Stephanie Meerkamm
An Infrastructure Oriented for Cataloging Services and Reuse of Analysis Patterns / Lucas Francisco da Matta Vegi ; Douglas Alves Peixoto ; Liziane Santos Soares ; Jugurta Lisboa-Filho ; Alcione de Paiva Oliveira
2nd International Workshop on Traceability and Compliance of Semi-Structured Processes (TC4SP 2011)
Towards an Integration of GRC and BPM - Requirements Changes for Compliance Management Caused by Externally Induced Complexity Drivers / Thomas Schäfer ; Peter Fettke ; Peter Loos
Designing an Automated Audit Tool for the Targeted Risk Exposure Reduction / Yurdaer Doganata ; Francisco Curbera
An Architecture for a Blended Workflow Engine: Integrating an Activity-Based Perspective with a Goal-Based Perspective / Bernardo Oliveira Pinto ; António Rito Silva
1st International Workshop on Workflow Security Audit and Certification (WAS AC 2011)
Process Mining in Auditing: From Current Limitations to Future Challenges / Mieke J. Jans
Data-Privacy Assessments for Application Landscapes: A Methodology / Klaus Haller
Flexible Scoping of Authorization Constraints on Business Processes with Loops and Parallelism / Samuel J. Burri ; Günter Karjoth
On the Modeling and Verification of Security-Aware and Process-Aware Information Systems / Jason Crampton ; Michael Huth
Conformance Checking of RBAC Policies in Process-Aware Information Systems / Anne Baumgrass ; Thomas Baier ; Mark Strembeck
Modeling Business Rules for Supervisory Control of Process-Aware Information Systems / Eduardo A.P. Santos ; Rosemary Francisco ; Agnelo D. Vieira ; Eduardo de F.R. Loures ; Marco A. Busetti
Separating Compliance Management and Business Process Management / Elham Ramezani ; Dirk Fahland ; Jan Martijn van der Werf ; Peter Mattheis
Checking Satisfiability Aspects of Binding Constraints in a Business Process Context / Sigrid Schefer
Time-Based Trace Clustering for Evolution-Aware Security Audits / Thomas Stocker
Author Index
1st International Workshop on Process Model Collections (PMC 2011)
Consolidated Management of Business Process Variants / Marlon Dumas
Towards Cross-Organizational Process Mining in Collections of Process Models and Their Executions / J.C.A.M. Buijs ; Boudewijn F. van Dongen ; WU M.P. van der Aalst
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties / Paolo Mancarella ; Francesca Toni
What Is Negation as Failure? / Dov M. Gabbay
Temporal Reasoning and Action Languages / Part II：
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic / Dario Delia Monica ; Angela Montanari ; Pietro Sala
Argumentation and the Event Calculus / Evgenios Hadjisoteriou
Reactive Event Calculus for Monitoring Global Computing Applications / Stefano Bragaglia ; Federico Chesani ; Paola Mello ; Marco Montali ; Paolo Torroni
Reasoning about the Intentions of Agents / Justin Blount ; Michael Gelfond
Symbolic Model Checking for Temporal-Epistemic Logic / Wojciech Penczek
GOAL Agents Instantiate Intention Logic / Koen V. Hindriks ; Wiebe van der Hoek ; John-Jules Ch. Meyer
AI and Law / Part III：
Open Texture and Argumentation: What Makes an Argument Persuasive?
Irrationality in Persuasive Argumentation / Paul E. Dunne
Some Reflections on Two Current Trends in Formal Argumentation / Henry Prakken
Deontic Logic and Norm-Governed Systems / Part IV：
On the Representation of Normative Sentences in FOL / Steven O. Kimbrough
Why Be Afraid of Identity? Comments on Sergot and Prakken's Views / Xavier Parent
Deon+: Abduction and Constraints for Normative Reasoning / Marco Alberti ; Marco Gavanelli ; Evelina Lamma
Contrary-To-Duties in Games / Paolo Turrini ; Leendert van der Torre ; Silvano Colombo Tosatto
Logical Approaches to Policies and Authorization / Part V：
Logical Approaches to Authorization Policies
Decentralized Governance of Distributed Systems via Interaction Control / Naftaly H. Minsky
Managing User-Generated Content as a Knowledge Commons / Jeremy Pitt
Author Index
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks / Aran Prakash ; Zoltán Theisz ; Ranganai Chaparadza
Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks / Cem Safak Sahin ; M. Ümit Uyar ; Stephen Gundry ; Elkin Urrea
Data Intensive Distributed Computing in Data Aware Self-organizing Networks / Cong-Vinh Phan
Accelerated Evolution: A Biologically-Inspired Approach for Augmenting Self-star Properties in Wireless Sensor Networks / Pruet Boonma ; Junichi Suzuki
Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study / Emil Vassev ; Serguei A. Mokhov
A Logical Approach to Data-Aware Automated Sequence Generation / Sylvain Hallé ; Roger Villemaire ; Omar Cherkaoui ; Rudy Deca
Author Index
Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks / Aran Prakash ; Zoltán Theisz ; Ranganai Chaparadza
Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks / Cem Safak Sahin ; M. Ümit Uyar ; Stephen Gundry ; Elkin Urrea
Data Intensive Distributed Computing in Data Aware Self-organizing Networks / Cong-Vinh Phan
Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks / Murad Banaji
Modeling and Mining of Learnflows / Robin Bergenthum ; Jörg Desel ; Andreas Harrer ; Sebastian Mauser
Ten Years of Saturation: A Petri Net Perspective / Gianfranco Ciardo ; Yang Zhao ; Xiaoging Jin
Refinement and Asynchronous Composition of Model Petri Nets / Dorsaf Elhog-Benzina ; Serge Haddad ; Rolf Hennicker
Computing a Hierarchical Static Order for Decision Diagrom-Based Representation from P/T Nets / Silien Hong ; Fabrice Kordon ; Emmanuel Paviot-Adet ; Sami Evangelista
Bounded Model Checking for Parametric Timed Automata / Michat Knapik ; Wojciech Penczek
Synthesis Problem for Petri Nets with Localities / Maciej Koutny ; Marta Pietkiewicz-Koutny
A Petri Net Perspective on the Resource Allocation Problem in Software Engineering / Juan-Pablo López-Grao ; José-Manuel Colom
Nets-Within-Nets Paradigm and Grid Computing / Marco Mascheroni ; Fabio Farina
Incremental Process Discovery / Marc Solé ; Josep Carmona
Providing an Agent Flavored Integration for Workflow Management / Thomas Wagner ; José Quenum ; Daniel Moldt ; Christine Reese
A Graphical Approach to Component-Based and Extensible Model Checking Platforms / Michael Westergaard ; Lars Michael Kristensen
Author Index
Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks / Murad Banaji
Modeling and Mining of Learnflows / Robin Bergenthum ; Jörg Desel ; Andreas Harrer ; Sebastian Mauser
Ten Years of Saturation: A Petri Net Perspective / Gianfranco Ciardo ; Yang Zhao ; Xiaoging Jin
Practical Attacks on a Cryptosystem Proposed in Patent WO/2009/066313 / Gautham Sekar ; Bart Preneel
Generalized Security Analysis of the Random Key Bits Leakage Attack / Jun Kogure ; Noboru Kunihiro ; Hirosuke Yamamoto
Improved Integral Attacks on Reduced-Round CLEFIA Block Cipher / Yanjun Li ; Wenling Wu ; Lei Zhang
Preimage Attacks on Full-ARIRANG: Analysis of DM-Mode with Middle Feed-Forward / Chiaki Ohtahara ; Keita Okada ; Yu Sasaki ; Takeshi Shimoyama
Known-Key Distinguisher on Round-Reduced 3D Block Cipher / Le Dong ; Shuang Wu ; Jian Zou
Identity-Based Signcryption from Identity-Based Cryptography / Woomyo Lee ; Jae Woo Seo ; Pil Joong Lee
Order-Preserving Encryption for Non-uniformly Distributed Plaintexts / Dae Hyun Yum ; Duk Soo Kim ; Jin Seok Kim ; Sung Je Hong
Solving a DLP with Auxiliary Input with the ρ-Algorithm / Yumi Sakemi ; Tetsuya Izu ; Masahiko Takenaka ; Masaya Yasuda
A General NTRU-Like Framework for Constructing Lattice-Based Public-Key Cryptosystems / Yanbin Pan ; Yingpu Deng
A Peer-to-Peer Content-Distribution Scheme Resilient to Key Leakage / Tatsuyuki Matsushita ; Shinji Yamanaka ; Fangming Zhao
Rule Indexing for Efficient Intrusion Detection Systems / Boojoong Kang ; Hye Seon Kim ; Ji Su Yang ; Eul Gyu Im
Security Data Extraction from LEC 61850 ACSI Models for Network and System Management / Chung-Hyo Kim ; Moon-Seok Choi ; Seong-Ho Ju ; Yong-Hun Lim ; Jong-Mock Baek
Lightweight Middleware-Based ZigBee Security in Building Energy Management System / Insung Hong ; Jisung Byun ; Sehyun Park
A Map-Layer-Based Access Control Model / Yingjun Zhang ; Yang Zhang ; Kai Chen
Application Authentication for Hybrid Services of Broadcasting and Communications Networks / Go Ohtake ; Kazuto Ogawa
Accelerating Multiparty Computation by Efficient Random Number Bitwise-Sharing Protocols / Naoto Kiribuchi ; Ryo Kato ; Takashi Nishide ; Tsukasa Endo ; Hiroshi Yoshiura
Biometric Based Secure Communications without Pre-deployed Key for Biosensor Implanted in Body Sensor Networks / Kwantae Cho ; Dong Hoon Lee
Mutual Private Set Intersection with Linear Complexity / Myungsun Kim ; Hyung Tae Lee ; Jung Hee Cheon
Advanced Path Selection Method for Detection of False Reports in Statistical Filtering Based WSNs / Chung Il Sun ; Tae Ho Cho
Evaluating the Security and Privacy of Near Field Communication - Case: Public Transportation / Jarno Salonen
Exploiting Routing Tree Construction in CTP / Islam Hegazy ; Reihaneh Safavi-Naini ; Carey Williamson
Author Index
Practical Attacks on a Cryptosystem Proposed in Patent WO/2009/066313 / Gautham Sekar ; Bart Preneel
Generalized Security Analysis of the Random Key Bits Leakage Attack / Jun Kogure ; Noboru Kunihiro ; Hirosuke Yamamoto
Improved Integral Attacks on Reduced-Round CLEFIA Block Cipher / Yanjun Li ; Wenling Wu ; Lei Zhang
Third International Workshop on Lightweight Composition on the Web (ComposableWeb 2011)
An Evaluation of Mashup Tools Based on Support for Heterogeneous Mashup Components / Saeed Aghaee ; Cesare Pautasso
An Approach to Construct Dynamic Service Mashups Using Lightweight Semantics / Dong Liu ; Ning Li ; Carlos Pedrinaci ; Jacek Kopecký ; Maria Maleshkova ; John Domingue
Task-Based Recommendation of Mashup Components / Vincent Tietz ; Gregor Blichmann ; Stefan Pietschmann ; Klaus Meiβner
Integration of Telco Services into Enterprise Mashup Applications / Olexiy Chudnovskyy ; Frank Weinhold ; Hendrik Gebhardt ; Martin Gaedke
Orchestrated User Interface Mashups Using W3C Widgets / Scott Wilson ; Florian Daniel ; Uwe Jugel ; Stefano Soi
Cross-Domain Embedding for Vaadin Applications / Janne Lautamäki ; Tommi Mikkonen
Web Linking-Based Protocols for Guiding RESTful M2M Interaction / Jesus Bellido ; Rosa Alarcon ; Cristian Sepulveda
Batched Transactions for RESTful Web Services / Sebastian Kochman ; Pawel T. Wojciechowski ; Milosz Kmieciak
Secure Mashup-Providing Platforms - Implementing Encrypted Wiring / Matthias Herbert ; Tobias Thieme ; Jan Zibuschka ; Heiko Roβnagel
First International Workshop on Search, Exploration and Navigation of Web Data Sources (Explore Web 2011)
A Conceptual Framework for Linked Data Exploration / Alessandro Bozzon ; Marco Brambilla ; Emanuele Della Valle ; Piero Fraternali ; Chiara Pasini
Support for Reusable Explorations of Linked Data in the Semantic Web / Marcelo Cohen ; Daniel Schwabe
Generation of Semantic Clouds Based on Linked Data for Efficient Multimedia Semantic Annotation / Han-Gyu Ko ; In-Young Ko
Ontology Based Segmentation of Geo-Referenced Queries / Mamoun Abu Helou
SimSpectrum: A Similarity Based Spectral Clustering Approach to Generate a Tag Cloud / Frederico Durao ; Peter Dolog ; Martin Leginus ; Ricardo Lage
Graph Access Pattern Diagrams (GAP-D): Towards a Unified Approach for Modeling Navigation over Hierarchical, Linear and Networked Structures / Matthias Keller ; Martin Nussbaumer
Data-Driven and User-Driven Multidimensional Data Visualization / Rober Morales-Chaparro ; Juan C. Preciado ; Fernando Sánchez-Figueroa
Second International Workshop on Enterprise Crowdsourcing (EC 2011)
Context-Aware and Adaptive Web Interfaces: A Crowdsourcing Approach / Michael Nebeling ; Moira C. Norrie
Massive Multiplayer Human Computation for Fun, Money, and Survival / Lukas Biewald
Enterprise Crowdsourcing Solution for Software Development in an Outsourcing Organization / Ranganathan Jayakanthan ; Deepak Sundararajan
Seventh Model-Driven Web Engineering Workshop (MDWE 2011)
A Model-Driven Framework for Developing Web Service Oriented Applications / Achilleas Achilleos ; Georgia M. Kapitsaki ; George A. Papadopoulos
Developing Enterprise Web Applications Using the Story Driven Modeling Approach / Christoph Eickhoff ; Nina Geiger ; Marcel Hahn ; Albert Zündorf
Aspect-Oriented Modeling of Web Applications with HiLA / Gefei Zhang ; Matthias Hölzl
Model-Driven Web Form Validation with UML and OCL / Ebon Escott ; Paul Strooper ; Paul King ; Ian J. Hayes
Modernization of Legacy Web Applications into Rich Internet Applications / Roberto Rodríguez-Echeverría ; José María Conejero ; Pedro J. Clemente
Second International Workshop on Quality in Web Engineering (QWE 2011)
Quality Models for Web [2.0] Sites: A Methodological Approach and a Proposal / Roberto Polillo
Exploring the Quality in Use of Web 2.0 Applications: The Case of Mind Mapping Services / Tihomir Orehovacki ; Andrina Granic ; Dragutin Kermek
Second Workshop on the Web and Requirements Engineering (WeRE 2011)
Detecting Conflicts and Inconsistencies in Web Application Requirements / Matias Urbieta ; Maria Jose Escalona ; Esteban Robles Luna ; Gustavo Rossi
Streamlining Complexity: Conceptual Page Re-modeling for Rich Internet Applications / Andrea Pandurino ; Davide Bolchini ; Luca Mainetti ; Roberto Paiano
Doctoral Symposium 2011
A Flexible Graph-Based Data Model Supporting Incremental Schema Design and Evolution / Katrin Braunschweig ; Maik Thiele ; Wolfgang Lehner
ProLD: Propagate Linked Data / Peter Kalchgruber
Causal Relation Detection for Activities from Heterogeneous Sources / Philipp Katz ; Alexander Schill
XML Document Versioning, Revalidation and Constraints / Jakub Malý ; Martin Necaský
A Reuse-Oriented Product-Line Method for Enterprise Web Applications / Neil Mather ; Samia Oussena
A Flexible Architecture for Client-Side Adaptation / Sergio Firmenich ; Silvia Gordillo ; Marco Winckler
Applications of Mobile Application Interface Description Language MAIDL / Prach Chaisatien ; Korawit Prutsachainimmit ; Takehiro Tokuda
A Domain-Specific Language for Do-It-Yourself Analytical Mashups / Julian Eberius
Information Extraction from Web Pages Based on Their Visual Representation / Ruslan R. Fayzrakhmanov
End-User Programming for Web Mashups: Open Research Challenges
ICWE 2011 Tutorials
Multi-dimensional Context-Aware Adaptation for Web Applications / Vivian Genaro Motti ; Jean Vanderdonckt
Engineering the Personal Social Semantic Web / Fabian Abel ; Geert-Jan Houben
Automating the Use of Web APIs through Lightweight Semantics / Guillermo Alvaro
Improving Quality in Use of Web Applications in a Systematic Way / Philip Lew ; Luis Olsina
Author Index
Third International Workshop on Lightweight Composition on the Web (ComposableWeb 2011)
An Evaluation of Mashup Tools Based on Support for Heterogeneous Mashup Components / Saeed Aghaee ; Cesare Pautasso
An Approach to Construct Dynamic Service Mashups Using Lightweight Semantics / Dong Liu ; Ning Li ; Carlos Pedrinaci ; Jacek Kopecký ; Maria Maleshkova ; John Domingue
Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik ; Jerzy Nawrocki
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly ; Marián Lekavý ; Marek Závodský ; Pavol Návrat
Integration of Application Business Logic and Business Rules with DSL and AOP / Bogumila Hnatkowska ; Krzysztof Kasprzyk
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling / Radoslav Menkyna ; Valentino Vranic
On the Evolution of Component-Based Software / Isabelle Côté ; Maritta Heisel ; Jeanine Souquières
Query Processing Using Negative and Temporal Tuples in Stream Query Engines / Marcin Gorawski ; Aleksander Chrószcz
Scalable Store of Java Objects Using Range Partitioning / Mariusz Bedla ; Krzysztof Sapiecha
Modelling and Formal Methods in Software Development / Part II：
HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration / Slawomir Samolej ; Tomasz Szmuc
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers / Tomasz Rak ; Jan Werewka
Information Systems Development Based on Visual Domain Specific Language BiLingva / Jana Cerina-Berzina ; Janis Bicevskis ; Ģirts Karnitis
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management / Iman Poernomo ; Timur Umarau
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach / Maxime Rebout ; Louis Féraud ; Lionel Marie-Magdeleine ; Sergei Soloviev
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge / Bozena Woźna-Szczesniak
The Semantics of Role-Based Trust Management Languages / Anna Felkner ; Krzysztof Sacha
Measurements, Testing, and Quality of Software / Part III：
Applying of Smart Technologies: Evaluation of Effectiveness / Zane Bicevska
Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members / Marvin Ferber ; Sascha Hunold ; Björn Krellner ; Thomas Rauber ; Thomas Reichel ; Gudula Rünger
Dataflow Testing of Java Programs with DFC / Rona Bluemke ; Artur Rembiszewski
Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System / Anna Derezinska ; Anna Szustek
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles / Alireza Khalilian ; Saeed Parsa
Author Index
Software Architectures and Development / Part I：
Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik ; Jerzy Nawrocki
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly ; Marián Lekavý ; Marek Závodský ; Pavol Návrat
A Faster Algorithm for Dominating Set Analyzed by the Potential Method / Yoichi Iwata
Contracting Graphs to Paths and Trees / Pinar Heggernes ; Pim van 't Hof ; Benjamin Lévêque ; Daniel Lokshtanov ; Christophe Paul
Increasing the Minimum Degree of a Graph by Contractions / Petr A. Golovach ; Marcin Kaminski ; Daniël Paulusma ; Dimitrios M. Thilikos
Planar Disjoint-Paths Completion / Isolde Adler ; Stavros G. Kolliopoulos
Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing / Peter Damaschke
New Upper Bounds for MAX-2-SAT and MAX-2-CSP w.r.t. the Average Variable Degree / Alexander Golovnev
Improved Parameterized Algorithms for above Average Constraint Satisfaction / Eun Jung Kim ; Ryan Williams
On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal / Bart M.P. Jansen ; Stefan Kratsch
Kernel Bounds for Path and Cycle Problems / Hans L. Bodlaender
On the Hardness of Losing Width / Saket Saurabh
Safe Approximation and Its Relation to Kernelization / Jiong Guo ; Iyad Kanj
Simpler Linear-Time Kernelization for Planar Dominating Set / Torben Hagerup
Linear-Time Computation of a Linear Problem Kernel for Dominating Set on Planar Graphs / René van Bevern ; Sepp Hartung ; Frank Kammer ; Rolf Niedermeier ; Mathias Weller
Tight Complexity Bounds for FPT Subgraph Problems Parameterized by Clique-Width / Hajo Broersma ; Viresh Patel
Finding Good Decompositions for Dynamic Programming on Dense Graphs / Eivind Magnus Hvidevold ; Sadia Sharmin ; Jan Arne Telle ; Martin Vatshelle
Parameterized Maximum Path Coloring / Michael Lampis
On Cutwidth Parameterized by Vertex Cover / Marcl Pilipczuk
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics / Robert Ganian
Author Index
On Multiway Cut Parameterized above Lower Bounds / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk ; Jakub Onufry Wojtaszczyk
Parameterized Complexity of Firefighting Revisited / Fedor V. Fomin ; Erik Jan van Leeuwen
Knowledge as a Window into Distributed Coordination / Yoram Moses
Decision Making as Optimization in Multi-robot Teams / Lynne E. Parker
Mstar: A New Two Level Interconnection Network / Nibedita Adhikari ; C.R. Tripathy
An Improved Scheme for False Data Filtering in Wireless Sensor Networks / C. Anudeep ; Manik Lai Das
Anonymity and Security in Mobile Ad Hoc Networks / Jhansi Vazram Bolla ; Valli Kumari Vatsavayi ; J. V.R. Murthy
Circle Formation by Asynchronous Fat Robots with Limited Visibility / Ayan Dutta ; Sruti Gan Chaudhuri ; Suparno Datta ; Krishnendu Mukhopadhyaya
High Concurrency for Continuously Evolving OODBMS / V. Geetha ; N. Sreenath
A New Scheme for IPv6 BD-TTCS Translator / J. Hanumanthappa ; D.H. Manjaiah
Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives / Shankara Narayanan Krishna ; G. Lakshmi Manasa ; Ashish Chiplunkar
Parallelization of PageRank on Multicore Processors / Tarun Kumar ; Parikshit Sondhi ; Ankush Mittal
Cryptanalysis and Improvement of Sood et al.'s Dynamic ID-Based Authentication Scheme / Chun-Guang Ma ; Ding Wang ; Qi-Ming Zhang
An Algebra of Social Distance / Hrushikesha Mohanty
Detecting Flaws in Dynamic Hierarchical Key Management Schemes Using Specification Animation / Anil Mundra ; Anish Mathuria ; Manik Lal Das
Strong Minimum Energy Minimum Interference Topology in Wireless Sensor Networks / Bhawani S. Panda ; D. Pushparaj Shetty ; Bijaya Kishor Bhatta
Distributed Processing and Internet Technology to Solve Challenges of Primary Healthcare in India / Aran Pande ; Sanjay Kimbahune ; Nandini Bondale ; Ratnendra Shinde ; Sunita Shanbhag
Packet Forwarding Strategies for Cooperation Enforcement in Mobile Ad Hoc Wireless Networks / Nidhi Patel ; Sanjay Srivastava
A Study on Scalability of Services and Privacy Issues in Cloud Computing / R.S.M. Lakshmi Patibandla ; Santhi Sri Kurra ; Nirupama Bhat Mundukur
A Recommendation Model for Handling Dynamics in User Profile / Chhavi Rana ; Sanjay Kumar Jain
On the Hardness of Point-Set Embeddability / Stephane Durocher
String and Data Structures
Linear Time Inference of Strings from Cover Arrays Using a Binary Alphabet / Tanaeem M. Moosa ; Sumaiya Nazeen ; M. Sohel Rahman ; Rezwana Reaz
Fat Heaps without Regular Counters / Amr Elmasry ; Jyrki Katajainen
Graph Drawing II
Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles / Martin Fink ; Jan-Henrik Haunert ; Tamara Mchedlidze ; Joachim Spoerhase ; Alexander Wolff
Drawing Unordered Trees on k-Grids / Christian Bachmaier ; Marco Matzeder
Heuristics for the Maximum 2-layer RAC Subgraph Problem / Emilio Di Giacomo ; Walter Didimo ; Luca Grilli ; Giuseppe Liotta ; Salvatore A. Romeo
Games and Cryptography
Nash Equilibria with Minimum Potential in Undirected Broadcast Games / Yasushi Kawase ; Kazuhisa Makino
Calculating Average Joint, Hamming Weight for Minimal Weight Conversion of d Integers / Vorapong Suppakitpaisarn ; Masato Edahiro ; Hiroshi Imai
Author Index
Invited Talks
Combinatorial Optimization with Noisy Inputs: How Can We Separate the Wheat from the Chaff? / Peter Widmayer
Approximability of Stable Matching Problems / Kazuo Iwama
The First International Workshop on Web-Based Geographic Information Management (WGIM 2011)
Enhancing the Quality of Place Resources in Geo-folksonomies / Ehab ElGindy ; Alia Abdelmoty
Generating Semantic-Based Trajectories for Indoor Moving Objects / Huaishuai Wang ; Peiquan Jin ; Lei Zhao ; Lanlan Zhang ; Lihua Yue
HTPR*-Tree: An Efficient Index for Moving Objects to Support Predictive Query and Partial History Query / Ying Fang ; Jiaheng Cao ; Junzhou Wang ; Yuwei Peng ; Wei Song
Developing Rich Web GIS Applications for Visual Analytics / Michael Meyers ; Bruce A. Ralston
Single-Source Multi-Target A* Algorithm for POI Queries on Road Network / Htoo Htoo ; Yutaka Ohsawa ; Noboru Sonehara
Combining Top-k Query in Road Networks / Weimo Liu ; Yinan Jing ; Kunjie Chen ; Weiwei Sun
Extracting Focused Locations for Web Pages / Qingqing Zhang ; Sheng Lin
Searching Similar Trajectories in Real Time: An Effectiveness and Efficiency Study / Yuchi Ma ; Chunyan Qu ; Tingling Liu ; Ning Yang ; Changjie Tang
The Third International Workshop on XML Data Management (XMLDM 2011)
Multidimensional Implementation of Stream ADT / Filip Krizka ; Michal Krátky ; Radim Baca ; Peter Chovanec
Measuring XML Structured-ness with Entropy / Ruiming Tang ; Huayu Wu ; Stéphane Bressan
Similarity Join on XML Based on k-Generation Set Distance / Yue Wang ; Hongzhi Wang ; Yang Wang ; Hong Gao
XML Query Processing Using Views / Caiyun Yao ; Jiaheng Lu ; Wei Wang ; Xiaofang Zhou
XIO-SLCA: Optimize SLCA for Effective Keyword Search in XML Documents / Xia Li ; Zhanhuai Li ; Pei Ying Wang ; Qun Chen ; Lijun Zhang ; Ning Li
The Development of XML Stored Procedures in XML Enabled Databases / Fahad Alahmari ; Eric Pardede
The First International Workshop on Social Network Analysis (SNA 2011)
A Slope One Collaborative Filtering Recommendation Algorithm Using Uncertain Neighbors Optimizing / Jingjiao Li ; Limei Sun ; Jiao Wang
A Social Reputation Management for Web Communities / Di He ; Zhiyong Peng ; Liang Hong ; Yu Zhang
A Collaborative Filtering Recommendation System by Unifying User Similarity and Item Similarity / Dongzhan Zhang ; Chao Xu
Supporting Query over Dynamic Combination of Data Sources for Social Media / Rongrong Li ; Weixiang Zhai
Detecting Opinion Leader Dynamically in Chinese News Comments / Kaisong Song ; Daling Wang ; Shi Feng ; Ge Yu
An Approach of Semi-automatic Public Sentiment Analysis for Opinion and District / Chao Yan
Author Index
The First International Workshop on Web-Based Geographic Information Management (WGIM 2011)
Enhancing the Quality of Place Resources in Geo-folksonomies / Ehab ElGindy ; Alia Abdelmoty
Generating Semantic-Based Trajectories for Indoor Moving Objects / Huaishuai Wang ; Peiquan Jin ; Lei Zhao ; Lanlan Zhang ; Lihua Yue
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity / Mark D. Ryan
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker / Gergei Bana
Verified Indifferentiable Hashing into Elliptic Curves / Gilles Barthe ; Benjamin Grégoire ; Sylvain Heraud ; Federico Olmedo ; Santiago Zanella Béguelin
Provable De-anonymization of Large Datasets with Sparse Dimensions / Divya Sharma ; Arunesh Sinha
Revisiting Botnet Models and Their Implications for Takedown Strategies / Ting-Fang Yen ; Michael K. Reiter
A Game-Theoretic Analysis of Cooperation in Anonymity Networks / Mu Yang ; Vladimiro Sassone ; Sardaouna Hamadou
Deciding Selective Declassification of Petri Nets / Eike Best ; Philippe Darondeau
Enforceable Security Policies Revisited / Vincent Jugé ; Felix Klaedtke ; Eugen Zalinescu
Towards Incrementalization of Holistic Hyperproperties / Dimiter Milushev ; Dave Clarke
Type-Based Analysis of PKCS#11 Key Management / Matteo Centenaro ; Riccardo Focardi ; Flaminia L. Luccio
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow / Torben Amtoft ; Josiah Dodds ; Zhi Zhang ; Andrew Appel ; Lennart Beringer ; John Hatcliff ; Xinming Ou ; Andrew Cousino
PTaCL: A Language for Attribute-Based Access Control in Open Systems / Jason Crampton ; Charles Morisset
A Core Calculus for Provenance / Umut A. Acar ; Amal Ahmed ; James Cheney ; Roly Perera
Author Index
Differential Privacy and the Power of (Formalizing) Negative Thinking (Extended Abstract) / Cynthia Dwork
Security Protocol Verification: Symbolic and Computational Models / Bruno Blanchet
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient / Véronique Cortier ; Jan Degrieck ; Stéphanie Delaune
A New Method for Program Inversion / Cong Hou ; George Vulov ; Daniel Quinlan ; David Jefferson ; Richard Fujimoto ; Richard Vuduc
Analytical Bounds for Optimal Tile Size Selection / Jun Shirako ; Kamal Sharma ; Naznin Fauzia ; Louis-Noël Pouchet ; J. Ramanujam ; P. Sadayappan ; Vivek Sarkar
Objects and Components
Static Detection of Unsafe Component Loadings / Taeho Kwon ; Zhendong Su
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis / Jing Yang ; Gogul Balakrishnan ; Naoto Maeda ; Franjo Ivancic ; Aarti Gupta ; Nishant Sinha ; Sriram Sankaranarayanan ; Naveen Sharma
A Cost Model for Hybrid Clouds / Mohammad Mahdi Kashef ; Jörn Altmann
How to Do Successful Chargeback for Cloud Services / Hristo Stefanov ; Slinger Jansen ; Ronald Batenburg ; Eugene van Heusden ; Ravi Khadka
A Marketplace Framework for Trading Cloud-Based Services / Andreas Menychtas ; Sergio Garcia Gomez ; Andrea Giessmann ; Anna Gatzioura ; Katarina Stanoevska ; Jürgen Vogel ; Vrettos Moulos
Resource Allocation, Scheduling, and Admission Control / Session C：
Client Classification Policies for SLA Negotiation and Allocation in Shared Cloud Datacenters / Mario Macías ; Jordi Guitart
Budget-Deadline Constrained Workflow Planning for Admission Control in Market-Oriented Environments / Wei Zheng ; Rizos Sakellariou
Virtual Machine Placement for Predictable and Time-Constrained Peak Loads / Wubin Li ; Johan Tordsson ; Erik Elmroth
Work in Progress: Risk Assessment and Economics of Cloud Services / Session D：
Risk Assessment in Service Provider Communities / Ioan Petri ; Omer F. Rana ; Yacine Regzui ; Gheorghe Cosmin Silaghi
A Game-Theoretical Approach to the Benefits of Cloud Computing / Jörn Künsemöller ; Holger Karl
Work in Progress: Cost-Aware Adoption of Cloud Services / Session E：
Planning for Optimal Multi-site Data Distribution for Disaster Recovery / Shubhashis Sengupta ; K.M. Annervaz
Saga: A Cost Efficient File System Based on Cloud Storage Service / Wei Shi ; Dapeng Ju ; Dongsheng Wang
Developing a Cost-Effective Virtual Cluster on the Cloud / A. Stephen McGough
Author Index
Market Mechanisms and Negotiation / Session A：
An Inspiration for Solving Grid Resource Management Problems Using Multiple Economic Models / Aminul Haque ; Saadat M. Alhashmi ; Rajendran Parthiban
Concurrent Negotiations in Cloud-Based Systems / Melanie Siebenhaar, The An Binh Nguyen ; Ulrich Lampe ; Dieter Schuller ; Ralf Steinmetz
An Efficient Robust Watermarking Method Integrated in H.264/SVC / Peter Meerwald ; Andreas Uhl
PC-Based Real-Time Video Watermark Embedding System Independent of Platform for Parallel Computing / Takaaki Yamada ; Isao Echizen ; Hiroshi Yoshiura
IR Hiding: Method for Preventing Illegal Recording of Videos Based on Differences in Sensory Perception between Humans and Devices / Takayuki Yamada ; Seiichi Gohshi
Secure Watermarking on 3D Geometry via ICA and Orthogonal Transformation / Hao-tian Wu ; Yiu-ming Cheung
Measuring the Statistical Correlation Inconsistencies in Mobile Images for Tamper Detection / Hong Cao ; Alex C. Kot
Secure Steganography Using Randomized Cropping / Arijit Sur ; Vignesh Ramanathan ; Jayanta Mukherjee
Steganography in Streaming Multimedia over Networks / Hong Zhao ; Yun Q. Shi ; Nirwan Ansari
Author Index
An Efficient Robust Watermarking Method Integrated in H.264/SVC / Peter Meerwald ; Andreas Uhl
PC-Based Real-Time Video Watermark Embedding System Independent of Platform for Parallel Computing / Takaaki Yamada ; Isao Echizen ; Hiroshi Yoshiura
IR Hiding: Method for Preventing Illegal Recording of Videos Based on Differences in Sensory Perception between Humans and Devices / Takayuki Yamada ; Seiichi Gohshi
Why the Electronic Land Registry Failed / Soren Lauesen
Answering a Request for Proposal - Challenges and Proposed Solutions / Barbara Paech ; Robert Heinrich ; Gabriele Zorn-Pauli ; Andreas Jung ; Siamak Tadjiky
Impediments to Requirements-Compliance / Md. Rashed Iqbal Nekvi ; Nazim H. Madhavji ; Remo Ferrari ; Brian Berenbach
Quality Requirements / Session 2：
How Architects See Non-Functional Requirements: Beware of Modifiability / Eltjo R. Poort ; Nick Martens ; Inge van de Weerd ; Hans van Vliet
Research Preview: Prioritizing Quality Requirements Based on Software Architecture Evaluation Feedback / Anne Koziolek
A Simulation Approach for Impact Analysis of Requirement Volatility Considering Dependency Change / Junjie Wang ; Juan Li ; Qing Wang ; He Zhang ; Haitao Wang
Collaboration, Complexity and Creativity / Session 3：
Collaborative Resolution of Requirements Mismatches When Adopting Open Source Components / Nguyen Due Anh ; Daniela S. Crazes ; Reidar Conradi ; Martin Höst ; Xavier Franch ; Claudia Ayala
High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement / Tim Gülke ; Bernhard Rumpe ; Martin Jansen ; Joachim Axmann
Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People / Martin Mahaux ; Alistair Mavin ; Patrick Heymans
Requirements Analysis / Session 4：
Supporting Failure Mode and Effect Analysis: A Case Study with Failure Sequence Diagrams / Christian Raspotnig ; Andreas Opdahl
Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions / Mohammad Jabed Morshed Chowdhury ; Raimundas Matulevicius ; Guttorm Sindre ; Peter Karpati
Towards a More Semantically Transparent i* Visual Syntax / Nicolas Genon ; Patrice Caire ; Hubert Toussaint ; Daniel Moody
Templates and Heuristics / Session 5：
Providing Software Product Line Knowledge to Requirements Engineers - A Template for Elicitation Instructions / Sebastian Adam
Supporting Learning Organisations in Writing Better Requirements Documents Based on Heuristic Critiques / Eric Knauss ; Kurt Schneider
Managing Implicit Requirements Using Semantic Case-Based Reasoning Research Preview / Olawande Daramola ; Thomas Moser ; Stefan Biffl
Requirements Traceability / Session 6：
Trace Queries for Safety Requirements in High Assurance Systems / Jane Cleland-Huang ; Mats Heimdahl ; Jane Huffman Hayes ; Robyn Lutz ; Patrick Maeder
Which Traceability Visualization Is Suitable in This Context? A Comparative Study / Yang Li ; Walid Maalej
Tools and Quality / Session 7：
The Case for Dumb Requirements Engineering Tools / Daniel Berry ; Ricardo Gacitua ; Pete Sawyer ; Sri Fatimah Tjong
Automatic Analysis of Multimodal Requirements: A Research Preview / Elia Bruni ; Alessio Ferrari ; Norbert Seyff ; Gabriele Tolomei
10 Myths of Software Quality / Elke Hochmüller
Empirical Analysis of the Impact of Requirements Engineering on Software Quality / Lukasz Radliñski
Services and Clouds / Session 8：
A Systematic Literature Review on Service Description Methods / Abelneh Y. Teka ; Nelly Condori-Fernandez ; Brahmananda Sapkota
A Pattern-Based Method for Identifying and Analyzing Laws / Kristian Beckers ; Stephan Faβbender ; Jan-Christoph Küster ; Holger Schmidt
Self-adaptivity / Session 9：
Towards a Requirements Modeling Language for Self-Adaptive Systems / Nauman A. Qureshi ; Ivan J. Jureta ; Anna Perini
Requirements Monitoring for Adaptive Service-Based Applications / Marc Oriol ; Jordi Marco
Industrial Case Studies / Session 10：
Release Planning with Feature Trees: Industrial Case / Samuel Fricker ; Susanne Schumacher
Goal-Oriented Requirements Engineering and Enterprise Architecture: Two Case Studies and Some Lessons Learned / Wilco Engelsman ; Roel Wieringa
Author Index
Contractual Requirements / Session 1：
Why the Electronic Land Registry Failed / Soren Lauesen
Answering a Request for Proposal - Challenges and Proposed Solutions / Barbara Paech ; Robert Heinrich ; Gabriele Zorn-Pauli ; Andreas Jung ; Siamak Tadjiky
Querying UML Class Diagrams (Invited Paper) / Andrea Calì ; Georg Gottlob ; Giorgio Orsi ; Andreas Pieris
Bicategories of Concurrent Games (Invited Paper) / Glynn Winskel
Fibrational Induction Meets Effects / Robert Atkey ; Neil Ghani ; Bart Jacobs ; Patricia Johann
A Coalgebraic Perspective on Minimization and Determinization / Jirí Adámek ; Filippo Bonchi ; Mathias Hülsbusch ; Barbara König ; Stefan Milius ; Alexandra Silva
When Is a Container a Comonad? / Danel Ahman ; James Chapman ; Tarmo Uustalu
Well-Pointed Coalgebras (Extended Abstract) / Lawrence S. Moss ; Lurdes Sousa
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs / Ana Bove ; Peter Dybjer ; Andrés Sicard-Ramírez
ＥＢ
