25. SAC 2010: Sierre, Switzerland

Document engineering track

• Emanuel Indermühle, Horst Bunke, Faisal Shafait, Thomas M. Breuel:
  Text versus non-text distinction in online handwritten documents. 3-7
  
• Andreas Stoffel, David Spretke, Henrik Kinnemann, Daniel A. Keim:
  Enhancing document structure analysis using visual analytics. 8-12
  
• Renato Bulcão Neto, José Antonio Camacho Guerrero, Alvaro Barreiro, Javier Parapar, Alessandra A. Macedo:
  An automatic linking service of document images reducing the effects of OCR errors with latent semantics. 13-17
  
• Sukalpa Chanda, Katrin Franke, Umapada Pal:
  Structural handwritten and machine print classification for sparse content and arbitrary oriented document fragments. 18-22
  
• Partha Pratim Roy, Umapada Pal, Josep Lladós:
  Seal object detection in document images using GHT of local component shapes. 23-27
  
• Loïc Lecerf, Boris Chidlovskii:
  Scalable indexing for layout based document retrieval and ranking. 28-32
  
• Rafael Dueire Lins, Serene Banerjee, Marcelo Thielo:
  Automatically detecting and classifying noises in document images. 33-39
  
• Daniela Carneiro da Cruz, Pedro Rangel Henriques:
  Exploring, visualizing and slicing the soul of XML documents. 40-46
  
• Dan Smith, Richard Harvey:
  Document retrieval using image features. 47-51
  
• Israel Rios, Alceu de Souza Britto Jr., Alessandro L. Koerich, Luiz S. Oliveira:
  Evaluation of different feature sets in an OCR free method for word spotting in printed documents. 52-56
  

Poster papers

• Boris Lesner, Romain Brixtel, Cyril Bazin, Guillaume Bagan:
  A novel framework to detect source code plagiarism: now, students have to work for real! 57-58
  
• Ergina Kavallieratou:
  Text line detection and segmentation: uneven skew angles and hill-and-dale writing. 59-60
  
• Rafael Dueire Lins, Daniel Marques de Oliveira, Gabriel Torreão, Jian Fan, Marcelo Thielo:
  A dewarping algorithm to compensate volume binding distortion in scanned documents. 61-62
  

Enterprise engineering track

• Peter Rittgen:
  Quality and perceived usefulness of process models. 65-72
  
• Biplav Srivastava, Pietro Mazzoleni:
  An APQC-PCF based framework to compare service offerings in business transformation projects. 73-78
  
• Artur Caetano, António Rito Silva, José M. Tribolet:
  A method for business process decomposition based on the separation of concerns principle. 79-85
  
• Teduh Dirgahayu, Dick A. C. Quartel, Marten van Sinderen:
  Interaction refinement in the design of business collaborations. 86-93
  
• Yong-Hyuk Kim, Yourim Yoon:
  New theoretical findings in multiple personalized recommendations. 94-98
  
• Tharaka Ilayperuma, Jelena Zdravkovic:
  Exploring business value models from the inter-organizational collaboration perspective. 99-105
  
• Boris Otto, Andreas Reichert:
  Organizing master data management: findings from an expert survey. 106-110
  
• Soonhwa Lee-Klenz, Pedro Sampaio, Trevor Wood-Harper:
  A requirements elicitation framework and tool for sourcing business-IT aligned e-services. 111-117
  
• Gregor Scheithauer, Holger Kett, Joachim Kaiser, Susanne Hackner, Hao Hu, Guido Wirtz:
  Business modeling for service engineering: a case study in the IT outsourcing domain. 118-123
  
• Paulo Sérgio Santos Jr., João Paulo A. Almeida, Giancarlo Guizzardi:
  An ontology-based semantic foundation for ARIS EPCs. 124-130
  
• Jan Stefan Addicks, Hans-Jürgen Appelrath:
  A method for application evaluations in context of enterprise architecture. 131-136
  
• Oliver Hummel, Christof Momm, Susan Hickl:
  Towards quality-aware development and evolution of enterprise information systems. 137-144
  
• Bruno de Moura Araujo, Eber Assis Schmitz, Alexandre L. Correa, Antonio Juarez Alencar:
  A method for validating the compliance of business processes to business rules. 145-149
  
• David Aveiro, António Rito Silva, José M. Tribolet:
  Towards a GOD-theory for organizational engineering: continuously modeling the continuous (re)generation, operation and deletion of the enterprise. 150-157
  
• Lucas O. Meertens, Maria-Eugenia Iacob, Lambert J. M. Nieuwenhuis:
  Goal and model driven design of an architecture for a care service platform. 158-164
  

Poster papers

• Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini:
  On the use of patterns to recover business processes. 165-166
  
• Peter Bollen:
  Fact-oriented declarative semantic enterprise modeling. 167-168
  
• Björn Johansson, Rogério Atem de Carvalho:
  Software tools for requirements management in an ERP system context. 169-170
  

Operating systems track

• Keisuke Okamura, Yoshihiro Oyama:
  Load-based covert channels between Xen virtual machines. 173-180
  
• Yuebin Bai, Cong Xu, Zhi Li:
  Task-aware based co-scheduling for virtual machine system. 181-188
  
• Junghoon Lee, Gyung-Leen Park, Sang-Wook Kim, Hye-Jin Kim, Sung Y. Shin:
  A hybrid prefetch policy for the retrieval of link-associated information on vehicular networks. 189-193
  
• Junyoung Heo, Boncheol Gu, Sang Il Eo, Pankoo Kim, Gwangil Jeon:
  Energy efficient program updating for sensor nodes with flash memory. 194-200
  
• Shi-Wu Lo, Wei-shiuan Tsai, Jeng-gang Lin, Guan-shiung Cheng:
  Swap-before-hibernate: a time efficient method to suspend an OS to a flash drive. 201-205
  
• Aditya Rajgarhia, Ashish Gehani:
  Performance and extension of user space file systems. 206-213
  
• Yosuke Chubachi, Takahiro Shinagawa, Kazuhiko Kato:
  Hypervisor-based prevention of persistent rootkits. 214-220
  
• Geunyoung Park, Seokhyun Kim, Yookun Cho, Joongjin Kook, Jiman Hong:
  Chordet: an efficient and transparent replication for improving availability of peer-to-peer networked systems. 221-225
  
• Jing Chen, Hui-Ming Su, Chien-Fu Chou:
  An aspect-oriented framework for operating system evolution. 226-230
  
• Jungwook Kim, Seong Tae Jhang, Chu Shik Jhon:
  Dynamic register-renaming scheme for reducing power-density and temperature. 231-237
  

Poster papers

• Sangho Yi, Jung Y. Kim, Hong Min, Bongjae Kim, Chang Oan Sung:
  ART: adaptive, reliable, and fault-tolerant task management for computational grids. 238-239
  
• Jinman Jung, Yookun Cho, Yeongkwun Kim, Yoojin Chung, Bongchan Gim, Jiyoung Kwak:
  Virtual protocol stack interface for multiple wireless sensor network simulators. 240-241
  
• Youngjae Lee, Jin-Soo Kim, Seungryoul Maeng:
  ReSSD: a software layer for resuscitating SSDs from poor small random write performance. 242-243
  

Power-aware design and optimization track

• Song Guo, Zhuzhong Qian, Sanglu Lu:
  A general energy optimization model for wireless networks using configurable antennas. 246-250
  
• Shu Liu, Xu Cheng, Xuetao Guan, Dong Tong:
  Energy efficient management scheme for heterogeneous secondary storage system in mobile computers. 251-257
  
• Yi-Hung Wei, Chuan-Yue Yang, Tei-Wei Kuo, Shih-Hao Hung, Yuan-Hua Chu:
  Energy-efficient real-time scheduling of multimedia tasks on multi-core processors. 258-262
  

Poster papers

• Vinicius Petrucci, Orlando Loques, Daniel Mossé:
  Dynamic optimization of power and performance for virtualized server clusters. 263-264
  

Requirement engineering track

• Richard Banach:
  A deidealisation semantics for KAOS. 267-274
  
• Leandro Antonelli, Gustavo Rossi, Julio Cesar Sampaio do Prado Leite:
  Early identification of crosscutting concerns in the domain model guided by states. 275-280
  
• Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni:
  An experience in using a tool for evaluating a large set of natural language requirements. 281-286
  
• Ana Sofia Penim, João Araújo:
  Identifying and modeling aspectual scenarios with theme and MATA. 287-291
  
• Fernanda M. R. Alencar, Jaelson Castro, Márcia Lucena, Emanuel Santos, Carla T. L. L. Silva, João Araújo, Ana Moreira:
  Towards modular i* models. 292-297
  
• Claudia Cappelli, Herbet de Souza Cunha, Bruno González-Baixauli, Julio Cesar Sampaio do Prado Leite:
  Transparency versus security: early analysis of antagonistic requirements. 298-305
  
• Rodrigo O. Spínola, Felipe C. R. Pinto, Guilherme Horta Travassos:
  UbiCheck: an approach to support requirements definition in the ubicomp domain. 306-310
  
• Dewi Mairiza, Didar Zowghi, Nur Nurmuliani:
  An investigation into the notion of non-functional requirements. 311-317
  

Poster papers

• Holger Röder:
  Using interaction requirements to operationalize usability. 318-319
  

Real time systems track

• Linwei Niu:
  Energy-aware dual-mode voltage scaling for weakly hard real-time systems. 321-325
  
• Martin Schoeberl, Florian Brandner, Jan Vitek:
  RTTM: real-time transactional memory. 326-333
  
• Yue Yu, Shangping Ren, Nianen Chen, Xing Wang:
  Profit and penalty aware (PP-aware) scheduling for tasks with variable task execution time. 334-339
  
• Dario Faggioli, Marko Bertogna, Fabio Checconi:
  Sporadic Server revisited. 340-345
  
• Carlos Santana, Julius C. B. Leite, Daniel Mossé:
  Load forecasting applied to soft real-time web clusters. 346-350
  
• Devesh B. Chokshi, Purandar Bhaduri:
  Performance analysis of FlexRay-based systems using real-time calculus, revisited. 351-356
  

Poster papers

• Yue Lu, Thomas Nolte, Iain Bate:
  Timing analyzing for systems with execution dependencies between tasks. 357-358
  
• Tullio Facchinetti, Matteo Foppiano:
  Resource partitioning for real-time processing on a multicore architecture. 359-360
  

Cloud computing track

• Shin Gyu Kim, Hyuck Han, Hyungsoo Jung, Hyeonsang Eom, Heon Young Yeom:
  Harnessing input redundancy in a MapReduce framework. 362-366
  
• Vivek Nallur, Rami Bahsoon:
  Design of a market-based mechanism for quality attribute tradeoff of services in the cloud. 367-371
  
• Sonja Zaplata, Winfried Lamersdorf:
  Towards mobile process as a service. 372-379
  
• Marin Litoiu, C. Murray Woodside, Johnny Wong, Joanna Ng, Gabriel Iszlai:
  A business driven cloud optimization architecture. 380-385
  
• Swarna Mylavarapu, Vijay Sukthankar, Pradipta Banerjee:
  An optimized capacity planning approach for virtual infrastructure exhibiting stochastic workload. 386-390
  
• Simon Malkowski, Markus Hedwig, Deepal Jayasinghe, Calton Pu, Dirk Neumann:
  CloudXplor: a tool for configuration planning in clouds based on empirical data. 391-398
  
• Sewook Wee, Huan Liu:
  Client-side load balancer using cloud. 399-405
  
• Mohamad Al Hajj Hassan, Mostafa Bamha:
  Semi-join computation on distributed file systems using map-reduce-merge model. 406-413
  

Poster papers

• Flavio Lombardi, Roberto Di Pietro:
  Transparent security for cloud. 414-415
  

Dependable and adaptive distributed systems track

• Nicolas Schiper, Fernando Pedone:
  Fast, flexible, and highly resilient genuine fifo and causal multicast algorithms. 418-422
  
• Idrissa Sarr, Hubert Naacke, Stéphane Gançarski:
  TransPeer: adaptive distributed transaction monitoring for Web2.0 applications. 423-430
  
• Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer:
  Exploiting non-functional preferences in architectural adaptation for self-managed systems. 431-438
  
• Md. Endadul Hoque, Farzana Rahman, Sheikh Iqbal Ahamed:
  S-search: finding RFID tags using scalable and secure search protocol. 439-443
  
• Jean Arnaud, Sara Bouchenak:
  Adaptive internet services through performance and availability control. 444-451
  
• Li Wang, Yair Leiferman, Shangping Ren, Kevin A. Kwiat, Xiaowei Li:
  Improving complex distributed software system availability through information hiding. 452-456
  
• Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander Romanovsky:
  MetaSelf: an architecture and a development method for dependable self-* systems. 457-461
  
• Hassan Gomaa, Koji Hashimoto, Minseong Kim, Sam Malek, Daniel A. Menascé:
  Software adaptation patterns for service-oriented architectures. 462-469
  
• Jose Felipe Mejia Bernal, Paolo Falcarin, Maurizio Morisio, Jia Dai:
  Dynamic context-aware business process: a rule-based approach supported by pattern identification. 470-474
  
• Miguel Correia, Giuliana Santos Veronese, Lau Cheuk Lung:
  Asynchronous Byzantine consensus with 2f+1 processes. 475-480
  

Embedded systems track

• Claus Traulsen, Reinhard von Hanxleden:
  Reactive parallel processing for synchronous dataflow. 483-490
  
• Tullio Facchinetti, Alberto Savioli, Emanuele Goldoni:
  Design and development of a real-time embedded inertial measurement unit. 491-495
  
• Roger D. Chamberlain, Jeremy Buhler, Mark A. Franklin, James H. Buckley:
  Application-guided tool development for architecturally diverse computation. 496-501
  
• Seungwoo Ryu, Chul Lee, Sanghyun Yoo, Sungjong Seo:
  Flash-aware cluster allocation method based on filename extension for FAT file system. 502-509
  
• Nikos Anastasiadis, Isidoros Sideris, Kiamal Z. Pekmestzi:
  A fast multiplier-less edge detection accelerator for FPGAs. 510-515
  
• D. P. O'Connell, I. D. De Vries:
  Digital energy metering for electrical system management. 516-520
  
• Diana Bautista, Julio Sahuquillo, Houcine Hassan, Salvador Petit, José Duato:
  Dynamic task set partitioning based on balancing resource requirements and utilization to reduce power consumption. 521-526
  
• Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti:
  A real-time architecture design language for multi-rate embedded control systems. 527-534
  
• Pavel Ghosh, Arunabha Sen:
  Efficient mapping and voltage islanding technique for energy minimization in NoC under design constraints. 535-541
  
• Jian-Jia Chen, Lothar Thiele:
  Energy-efficient scheduling on homogeneous multiprocessor platforms. 542-549
  

Poster papers

• Dawei Zhang, Zhen Han, Wei Jin:
  Optimized Java Card transaction mechanism based on object locality. 550-551
  
• Isidoros Sideris, Nikos K. Moshopoulos, Kiamal Z. Pekmestzi:
  A hardware peripheral for Java bytecodes translation acceleration. 552-553
  
• Duck-Ho Bae, Ji-Woong Chang, Sang-Wook Kim:
  Flash-aware record management method. 554-555
  

Mobile computing and applications track

• Waskitho Wibisono, Sea Ling, Arkady B. Zaslavsky:
  Collaborative context management framework for mobile ad hoc network environments. 558-562
  
• Edwin J. Y. Wei, Alvin T. S. Chan:
  Towards semantic-based adaptation decisions for context-aware mobile computing. 563-567
  
• Yile Wang, Junhuai Li, Jing Zhang, Lei Yu:
  An indoor tracking algorithm with the virtual reference based positioning. 568-574
  
• Marcio E. F. Maia, Claysson Celes, Rute Castro, Rossana M. C. Andrade:
  Considerations on developing mobile applications based on the Capuchin project. 575-579
  
• Jingsong Lv, Victor C. S. Lee, Minming Li, Enhong Chen:
  Profit-based on-demand broadcast scheduling of real-time multi-item requests. 580-584
  
• HaRim Jung, Byung Ku Cho, Yon Dohn Chung, Ling Liu:
  On processing location based top-k queries in the wireless broadcasting system. 585-591
  
• Tales Benigno Matos, Angelo Brayner, José Everardo Bessa Maia:
  Towards in-network data prediction in wireless sensor networks. 592-596
  

Poster papers

• Alton Yeow-Kuan Chua, Chei Sian Lee, Dion Hoe-Lian Goh, Keng Tiong Tan, Nguyen Anthony:
  Evaluating the usability of a mobile content sharing game. 597-598
  
• Karl Stamm, Sheikh Iqbal Ahamed, Praveen Madiraju, Sina Zulkernain:
  Mobile intelligent interruptions management (MIIM): a context aware unavailability system. 599-600
  
• Marcio Andrey Teixeira, Paulo Roberto Guardieiro:
  Uplink scheduling algorithm with dynamic polling management in IEEE 802.16 broadband wireless networks. 601-602
  

Privacy on the web track

• Aggelos Delis, Vassilios S. Verykios, Achilleas A. Tsitsonis:
  A data perturbation approach to sensitive classification rule hiding. 605-609
  
• Somnath Chakrabarti, Zhiyuan Chen, Aryya Gangopadhyay, Shibnath Mukherjee:
  Privacy preserving linear discriminant analysis from perturbed data. 610-615
  
• Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio:
  CNL4DSA: a controlled natural language for data sharing agreements. 616-620
  
• Alessandro Sorniotti, Refik Molva:
  Secret interest groups (SIGs) in social networks with an implementation on Facebook. 621-628
  

Networking track

• Sibaram Khara, Iti Saha Misra, Debashis Saha:
  An improved WLAN-first access scheme for UMTS/WLAN integrated system. 630-634
  
• Gabriela Schütz, Noélia S. C. Correia:
  A multi-objective optimization approach for fault-tolerance provisioning in multi-radio hybrid wireless-optical broadband access networks. 635-640
  
• Niccolo Cascarano, Luigi Ciminiera, Fulvio Risso:
  Improving cost and accuracy of DPI traffic classifiers. 641-646
  
• Piyush Harsh, Richard E. Newman:
  Mode independent session directory service architecture: a unified approach for ASM and SSM multicast networks. 647-654
  
• Jani Hautakorpi, Jouni Mäenpää:
  Load balancing for structured P2P networks using the advanced finger selection algorithm (AFSA). 655-662
  
• Pascal Anelli, Emmanuel Lochin, Fanilo Harivelo, Dino Martin López-Pacheco:
  Transport congestion events detection (TCED): towards decorrelating congestion detection from TCP. 663-669
  
• Marc Brogle, Sebastian Barthlomé, Torsten Braun:
  Quality of service for multicasting using NICE. 670-677
  
• Antti Mäkelä:
  Concept for providing guaranteed service level over an array of unguaranteed commodity connections. 678-683
  
• Lluis Pamies-Juarez, Pedro García López:
  Maintaining data reliability without availability in P2P storage systems. 684-688
  
• Malabika Sengupta, Swapan Kumar Mondal, Debashis Saha:
  MMSRP: multi-wavelength Markov-based split reservation protocol for DWDM optical networks. 689-693
  
• Carlos Eduardo Lenz, Lau Cheuk Lung, Frank Augusto Siqueira:
  SeRViSO: a selective retransmission scheme for video streaming in overlay networks. 694-698
  
• Luís Conceição, David Palma, Marilia Curado:
  A novel stable and low-maintenance clustering scheme. 699-705
  
• Mitsuhiro Mabuchi, Yasushi Shinjo, Koji Hasebe, Akira Sato, Kazuhiko Kato:
  CapaCon: access control mechanism for inter-device communications through TCP connections. 706-712
  
• Zhang Fu, Marina Papatriantafilou, Philippas Tsigas, Wei Wei:
  Mitigating denial of capability attacks using sink tree based quota allocation. 713-718
  
• Benaouda Nacéra, Hervé Guyennet, Hammad Ahmed, Mostefai Mohammed:
  A new two level hierarchy structuring for node partitioning in ad hoc networks. 719-726
  

Poster papers

• Xingang Liu, Jinpeng Huai, Qin Li, Tianyu Wo:
  Network state consistency of virtual machine in live migration. 727-728
  
• Cristina Melchiors, Alessandro H. dos Santos, Dionatan Mattjie, Carlos Raniery Paula dos Santos, André Panisson, Lisandro Zambenedetti Granville, Liane Margarida Rockenbach Tarouco:
  A network polling solution through a P2P-based distributed management environment. 729-730
  
• Jinman Jung, Yookun Cho, Yeongkwun Kim, Injoo Kim:
  ASTRAL: an adaptive, efficient, and reliable flooding mechanism for MANET. 731-732
  
• Anjali Sardana, Ramesh Chandra Joshi:
  Dual-level defense for networks under DDoS attacks. 733-734
  

Wireless sensor network systems and applications track

• Taehoon Kim, Bora Kang, E. K. Park, Sungwoo Tak:
  Integrating real-time hybrid task scheduling into a sensor node platform. 737-741
  
• Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler:
  An operating system abstraction layer for portable applications in wireless sensor networks. 742-748
  
• Wei Zhou, Radu Stoleru:
  Towards higher throughput and energy efficiency in dense wireless ad hoc and sensor networks. 749-755
  
• Fabrizio Mulas, Andrea Acquaviva, Salvatore Carta, Gianni Fenu, Davide Quaglia, Franco Fummi:
  Network-adaptive management of computation energy in wireless sensor networks. 756-763
  
• Marguerite Doman, Jamie Payton, Teresa Dahlberg:
  Leveraging fuzzy query processing to support applications in wireless sensor networks. 764-771
  
• Qian Dong, Waltenegus Dargie:
  Analysis of collision probability in unsaturated situation. 772-777
  
• William Claycomb, Rodrigo Lopes, Dongwan Shin, Byunggi Kim:
  A group-based security policy for wireless sensor networks. 778-785
  
• Angelo Brayner, André L. V. Coelho, Karina Marinho de Souza:
  Dealing with application requirements and energy consumption in wireless sensor networks: a novelty detection approach for quality of query services. 786-790
  

Poster papers

• Benjamin Satzger, Faruk Bagci, Florian Kluge, Theo Ungerer:
  Towards lightweight self-configuration in wireless sensor networks. 791-792
  
• Nelson Matthys, Syed Rehan Afzal, Christophe Huygens, Sam Michiels, Wouter Joosen, Danny Hughes:
  Towards fine-grained and application-centric access control for wireless sensor networks. 793-794
  
• Will Hedgecock, Péter Völgyesi, Ákos Lédeczi, Xenofon D. Koutsoukos, Akram Aldroubi, Alexander S. Szalay, Andreas Terzis:
  Mobile air pollution monitoring network. 795-796
  

Web technologies track

• Florian Skopik, Daniel Schall, Schahram Dustdar:
  Trustworthy interaction balancing in mixed service-oriented systems. 799-806
  
• Dion Hoe-Lian Goh, Alton Yeow-Kuan Chua:
  Investigating the influence of social computing applications on website quality. 807-811
  
• Janne Kuuskeri, Janne Lautamäki, Tommi Mikkonen:
  Peer-to-peer collaboration in the lively kernel. 812-817
  
• Ziqing Mao, Cormac Herley:
  A robust link-translating proxy server mirroring the whole web. 818-825
  
• Gabriele D'Angelo, Fabio Vitali, Stefano Zacchiroli:
  Content cloaking: preserving privacy with Google Docs and other web applications. 826-830
  
• Bernardo de la Ossa, Ana Pont, Julio Sahuquillo, José A. Gil:
  Referrer graph: a low-cost web prediction algorithm. 831-838
  
• Alessandro Bozzon, Marco Brambilla, Piero Fraternali, Pasquale Pigazzini:
  Integration of a human face annotation technology in an audio-visual search engine platform. 839-843
  
• Nicola Raffaele Di Matteo, Silvio Peroni, Fabio Tamburini, Fabio Vitali:
  Of mice and terms: clustering algorithms on ambiguous terms in folksonomies. 844-848
  
• Cristian Mateos, Marco Crasso, Alejandro Zunino, Marcelo R. Campo:
  Separation of concerns in service-oriented applications based on pervasive design patterns. 849-853
  
• Kim Schouten, Philip Ruijgrok, Jethro Borsje, Flavius Frasincar, Leonard Levering, Frederik Hogenboom:
  A semantic web-based approach for personalizing news. 854-861
  
• Matteo Battistelli, Silvia Mirri, Ludovico Antonio Muratori, Paola Salomoni, Simone Spagnoli:
  Avoiding to dispense with accuracy: a method to make different DTDs documents comparable. 862-866
  
• Wei-Chen Kao, Duen-Ren Liu, Shiu-Wen Wang:
  Expert finding in question-answering websites: a novel hybrid approach. 867-871
  

Poster papers

• Pasi Fränti, Juha Kuittinen, Andrei Tabarcea, Lomanzi Sakala:
  MOPSI location-based search engine: concept, architecture and prototype. 872-873
  
• Denis Shestakov, Tapio Salakoski:
  Host-IP clustering technique for deep web characterization. 874-875
  
• Evandro Manara Miletto, Marcelo Soares Pimenta, Jean-Paul Sansonnet, François Bouchet:
  Social music making on the web with CODES. 876-877
  

Advances in spatial and image-based information systems track

• Mario Döller, Florian Stegmaier, Harald Kosch, Rubén Tous, Jaime Delgado:
  Standardized interoperable image retrieval. 880-886
  
• Andrea Ballatore, Gavin McArdle, Caitriona Kelly, Michela Bertolotto:
  RecoMap: an interactive and adaptive map-based recommender. 887-891
  
• Wan D. Bae, Shayma Alkobaisi, Petr Vojtechovský, Sada Narayanappa, Kye Y. Bae:
  Convex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature. 892-899
  
• Luciana A. S. Romani, Ana Maria Heuminski de Ávila, Jurandir Zullo Jr., Richard Chbeir, Caetano Traina Jr., Agma J. M. Traina:
  CLEARMiner: a new algorithm for mining association patterns on heterogeneous time series from climate data. 900-905
  
• Tao Chen, Markus Schneider:
  Modeling cardinal directions in the 3D space with the objects interaction cube matrix. 906-910
  

Agent-oriented methodologies, infrastructures and processes track

• Iván García-Magariño, Massimo Cossentino, Valeria Seidita:
  A metrics suite for evaluating agent-oriented architectures. 912-919
  
• Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini:
  Building an agent methodology from fragments: the MEnSA experience. 920-927
  
• Andrew Diniz da Costa, Camila Nunes, Viviane Torres da Silva, Baldoino Fonseca dos Santos Neto, Carlos José Pereira de Lucena:
  JAAF+T: a framework to implement self-adaptive agents that apply self-test. 928-935
  

Poster papers

• Enyo José Tavares Gonçalves, Mariela I. Cortés, Gustavo A. L. de Campos, Gilzamir F. Gomes, Viviane Torres da Silva:
  Towards the modeling reactive and proactive agents by using MAS-ML. 936-937
  
• Vincent Hilaire, Nicolas Gaud, Stéphane Galland, Abderrafiaa Koukam:
  An approach based upon OWL-S for method fragments documentation and selection. 938-939
  

Computational intelligence and image analysis track

• Yin-Fu Huang, Lien-Hung Tung:
  Semantic scene detection system for baseball videos based on the MPEG-7 specification. 941-947
  
• Alexandre W. C. Faria, David Menotti, Daniel S. D. Lara, Gisele L. Pappa, Arnaldo de Albuquerque Araújo:
  A new methodology for photometric validation in vehicles visual interactive systems. 948-953
  
• Renata C. B. Madeo, Sarajane Marques Peres, Helton Hideraldo Bíscaro, Daniel B. Dias, Clodis Boscarioli:
  A committee machine implementing the pattern recognition module for fingerspelling applications. 954-958
  
• Yihua Lan, Hong Liu, Enmin Song, Chih-Cheng Hung:
  An improved K-view algorithm for image texture classification using new characteristic views selection methods. 959-963
  
• Daniel Welfer, Jacob Scharcanski, Diane Ruschel Marinho:
  A morphologic three-stage approach for detecting exudates in color eye fundus images. 964-968
  
• Ednaldo Brigante Pizzolato, Mauro dos Santos Anjo, Guilherme C. Pedroso:
  Automatic recognition of finger spelling for LIBRAS based on a two-layer architecture. 969-973
  
• Hongbo Zhou, Qiang Cheng, Zhikun She:
  Reparameterization based consistent graph-structured linear programs. 974-978
  

Poster papers

• Daria Migotina, Agostinho C. Rosa, Ana L. N. Fred:
  Automatic K-complex detection using Hjorth parameters and fuzzy decision. 979-980
  
• Nuo Zhang, Toshinori Watanabe:
  Image representation and classification based on data compression. 981-982
  
• Fan-Chieh Cheng, Shih-Chia Huang, Shanq-Jang Ruan:
  Advanced motion detection for intelligent video surveillance systems. 983-984
  

Data mining track

• Murugan Ayyappan, Yew-Kwong Woon, Wee Keong Ng:
  MICHO: a scalable constraint-based algorithm for learning Bayesian networks. 985-989
  
• Ken Kaneiwa:
  A rough set approach to mining connections from information systems. 990-996
  
• Bart Goethals, Wim Le Page, Michael Mampaey:
  Mining interesting sets and rules in relational databases. 997-1001
  
• Paulo Fernandes, Lucelene Lopes, Duncan Dubugras A. Ruiz:
  The impact of random samples in ensemble classifiers. 1002-1009
  
• Biao Qin, Yuni Xia, Fang Li:
  A Bayesian classifier for uncertain data. 1010-1014
  
• Yong-Hyuk Kim, Wonkook Kim, Kyungsub Min, Yourim Yoon:
  Probabilistic context prediction using time-inferred multiple pattern networks. 1015-1019
  
• Ashkan Sami, Babak Yadegari, Hossein Rahimi, Naser Peiravian, Sattar Hashemi, Ali Hamzeh:
  Malware detection based on mining API calls. 1020-1025
  
• Alessandro Colantonio, Roberto Di Pietro, Alberto Ocello, Nino Vincenzo Verde:
  ABBA: adaptive bicluster-based approach to impute missing values in binary matrices. 1026-1033
  
• Carson Kai-Sang Leung, Boyu Hao, Dale A. Brajczuk:
  Mining uncertain data for frequent itemsets that satisfy aggregate constraints. 1034-1038
  
• Mojdeh Jalali Heravi, Osmar R. Zaïane:
  A study on interestingness measures for associative classifiers. 1039-1046
  
• Jun Liu, Lu Jiang, Zhaohui Wu, Qinghua Zheng, Ya-nan Qian:
  Mining preorder relation between knowledge units from text. 1047-1053
  
• Frédéric Flouvat, Nazha Selmaoui-Folcher, Dominique Gay, Isabelle Rouet, Chloé Grison:
  Constrained colocation mining: application to soil erosion characterization. 1054-1059
  
• Elena Baralis, Tania Cerquitelli, Silvia Chiusano:
  A persistent HY-Tree to efficiently support itemset mining on large datasets. 1060-1064
  
• Annalisa Appice, Michelangelo Ceci, Donato Malerba:
  Transductive learning for spatial regression with co-training. 1065-1070
  
• Michelangelo Ceci, Annalisa Appice, Corrado Loglisci, Donato Malerba:
  Complex objects ranking: a relational data mining approach. 1071-1077
  
• Gianni Costa, Fabio Fassetti, Massimo Guarascio, Giuseppe Manco, Riccardo Ortale:
  Mining models of exceptional objects through rule learning. 1078-1082
  
• Hans-Henning Gabriel, Myra Spiliopoulou, Alexandros Nanopoulos:
  Eigenvector-based clustering using aggregated similarity matrices. 1083-1087
  
• Tianyu Cao, Xindong Wu, Song Wang, Xiaohua Hu:
  OASNET: an optimal allocation approach to influence maximization in modular social networks. 1088-1094
  
• James Rosswog, Kanad Ghose:
  Efficiently detecting clusters of mobile objects in the presence of dense noise. 1095-1102
  

Poster papers

• Alina Campan, Traian Marius Truta, Nicholas Cooper:
  User-controlled generalization boundaries for p-sensitive k-anonymity. 1103-1104
  
• Yiling Zeng, Hongbo Xu, Xueqi Cheng, Shuo Bai:
  Introducing global scaling parameters into Ncut. 1105-1106
  
• Saket S. R. Mengle, Nazli Goharian:
  Mining temporal relationships among categories. 1107-1108
  
• Claudio Lucchese, Salvatore Orlando, Raffaele Perego:
  A generative pattern model for mining binary datasets. 1109-1110
  
• Jianchun Zhang, Daoqiang Zhang:
  Canonical random correlation analysis. 1111-1112
  
• Radim Belohlávek, Vilém Vychodil:
  Background knowledge in formal concept analysis: constraints via closure operators. 1113-1114
  
• Akira Ninagawa, Koji Eguchi:
  Link prediction using probabilistic group models of network structure. 1115-1116
  

Applications of evolutionary computing track

• Slim Bechikh, Lamjed Ben Said, Khaled Ghédira:
  Searching for knee regions in multi-objective optimization using mobile reference points. 1118-1125
  
• Lucas Serpa Silva, Maarten van Someren:
  Evolutionary testing of object-oriented software. 1126-1130
  
• Rodrigo C. Barros, Márcio P. Basgalupp, Duncan D. Ruiz, André Carlos Ponce Leon Ferreira de Carvalho, Alex Alves Freitas:
  Evolutionary model tree induction. 1131-1137
  
• Elmira Ghoulbeigi, Marcus Vinicius dos Santos:
  Probabilistic developmental program evolution. 1138-1142
  
• Juan A. Nepomuceno, Alicia Troncoso Lora, Jesús S. Aguilar-Ruiz:
  Evolutionary metaheuristic for biclustering based on linear correlations among genes. 1143-1147
  
• Claudio Fabiano Motta Toledo, Lucas de Oliveira, Renato Resende Ribeiro de Oliveira, Marluce Rodrigues Pereira:
  Parallel genetic algorithm approaches applied to solve a synchronized and integrated lot sizing and scheduling problem. 1148-1152
  

Poster papers

• Ricardo de A. Araújo, Adriano L. I. de Oliveira, Sérgio C. B. Soares:
  Hybrid evolutionary quantum inspired method to adjust time phase distortions in financial time series. 1153-1154
  
• Kazi Shah Nawaz Ripon, Kyrre Glette, Mats Høvin, Jim Tørresen:
  Multi-objective evolutionary approach for solving facility layout problem using local search. 1155-1156
  

Human computer interaction track

• Koichi Kuzume:
  Input device for disabled persons using expiration and tooth-touch sound signals. 1159-1164
  
• XiongFei Luo, Feng Tian, Wei Liu, Dongxing Teng, Guozhong Dai, Hongan Wang:
  Visualizing time-series data in processlines: design and evaluation of a process enterprise application. 1165-1172
  
• Mieke Massink, Michael D. Harrison, Diego Latella:
  Scalable analysis of collective behaviour in smart service systems. 1173-1180
  
• Seung-Hyun Ji, Jong-Woo Kim, Taijin Yoon, Hwan-Gue Cho:
  How to manage interactive dialogues of avatar agents by using 3D spatial information of virtual world. 1181-1187
  
• Ansar-Ul-Haque Yasar, Nasim Mahmud, Davy Preuveneers, Kris Luyten, Karin Coninx, Yolande Berbers:
  Where people and cars meet: social interactions to improve information sharing in large scale vehicular networks. 1188-1194
  
• Nathalie Aquino, Jean Vanderdonckt, Oscar Pastor:
  Transformation templates: adding flexibility to model-driven engineering of user interfaces. 1195-1202
  
• Liyu Gong, Tianjiang Wang, Chengshuo Wang, Fang Liu, Fuqiang Zhang, Xiaoyuan Yu:
  Recognizing affect from non-stylized body motion using shape of Gaussian descriptors. 1203-1206
  
• Daniela Cristina Cascini Peixoto, Raquel Oliveira Prates, Rodolfo F. Resende:
  Semiotic inspection method in the context of educational simulation games. 1207-1212
  
• Elaine Cristina Saito Hayashi, Maria Cecília Calani Baranauskas:
  Understanding meta-communication in an inclusive scenario. 1213-1218
  
• Vagner Figuerêdo de Santana, Maria Cecília Calani Baranauskas:
  Summarizing observational client-side data to reveal web usage patterns. 1219-1223
  
• Anderson Maciel, Luciana Porcher Nedel, Vitor A. M. Jorge, Juan M. T. Ibiapina, Luis F. M. S. Silva:
  Reality cues-based interaction using whole-body awareness. 1224-1228
  
• Anderson Maciel, Luciana Porcher Nedel, Eduardo M. Mesquita, Marcelo H. Mattos, Gustavo M. Machado, Carla M. D. S. Freitas:
  Collaborative interaction through spatially aware moving displays. 1229-1233
  

Poster papers

• Marcus Ständer:
  Towards interactionflows for smart products. 1234-1235
  
• Inês Oliveira, Ovidiu Grigore, Nuno Guimarães, Carlos Duarte:
  Experiences in reading detection with EEG signals. 1236-1237
  
• Elisa Rubegni, Nicoletta Di Blas, Paolo Paolini, Amalia Sabiescu:
  A format to design narrative multimedia applications for cultural heritage communication. 1238-1239
  

Geometric constraints and reasoning track

• Young Joon Ahn, Christoph M. Hoffmann:
  Constraint-based LN-curves. 1242-1246
  
• Christoph Fünfzig, Dominique Michelucci, Sebti Foufou:
  Polytope-based computation of polynomial ranges. 1247-1252
  
• Christoph Fünfzig, Philippe Thomin, Gudrun Albrecht:
  Haptic manipulation of rational parametric planar cubics using shape constraints. 1253-1257
  
• Theodoris Athanasiadis, Ioannis Fudos, Christophoros Nikou, Vasiliki Stamati:
  Feature-based 3D morphing based on geometrically constrained sphere mapping optimization. 1258-1265
  

Poster papers

• Yayun Zhou, Jörg Schulze, Stefan Schäffler:
  Blade geometry design with kinematic ruled surface approximation. 1266-1267
  
• Tuan Minh Pham:
  Similar triangles and orientation in plane elementary geometry for Coq-based proofs. 1268-1269
  

Intelligent robotic systems track

• David Portugal, Rui P. Rocha:
  MSP algorithm: multi-robot patrolling based on territory allocation using balanced graph partitioning. 1271-1276
  
• Yi-Ju Ho, Jing-Sin Liu:
  Simulated annealing based algorithm for smooth robot path planning with different kinematic constraints. 1277-1281
  
• Kwang Wee Lee, Bharath Kalyan, W. Sardha Wijesoma, Martin Adams, Franz S. Hover, Nicholas M. Patrikalakis:
  Tracking random finite objects using 3D-LIDAR in marine environments. 1282-1287
  
• Ri Choe, Taejin Park, Kwang Ryel Ryu:
  Dispatching AGVs with noisy estimation of crane operation time. 1288-1293
  
• Hassan Mohy-ud-Din, Abubakr Muhammad:
  Detecting narrow passages in configuration spaces via spectra of probabilistic roadmaps. 1294-1298
  
• Huawei Miao, Chia-Ching Ooi, Xiaowen Wu, Christian Schindelhauer:
  Coverage-hole trap model in target tracking using distributed relay-robot network. 1299-1304
  

Poster papers

• Leila Fotoohi, Axel Gräser:
  A supervisory control approach for safe behavior of service robot case study: FRIEND. 1305-1306
  

Self-organizing complex systems track

• Shlomi Dolev, Nir Tzachar:
  Spanders: distributed spanning expanders. 1309-1314
  
• Manolya Eyiyurekli, Linge Bai, Peter I. Lelkes, David E. Breen:
  Chemotaxis-based sorting of self-organizing heterotypic agents. 1315-1322
  
• Piyush Harsh, Randy Chow, Richard E. Newman:
  Gray networking: a step towards next generation computer networks. 1323-1328
  
• Jeannette Janssen, Pawel Pralat, Rory Wilson:
  Estimating node similarity from co-citation in a spatial graph model. 1329-1333
  
• Jose Luis Fernandez-Marquez, Josep Lluís Arcos, Giovanna Di Marzo Serugendo:
  Infrastructureless storage in dynamic environments. 1334-1338
  

Poster papers

• Marko Harasic, Anne Augustin, Philipp Obermeier, Robert Tolksdorf:
  RDFSwarms: selforganized distributed RDF triple store. 1339-1340
  

The semantic web and its application track

• Tudor Groza, Siegfried Handschuh, Georgeta Bordea:
  Towards automatic extraction of epistemic items from scientific publications. 1341-1348
  
• Tapio Niemi, Marko Niinimäki:
  Ontologies and summarizability in OLAP. 1349-1353
  
• Lucas Drumond, Rosario Girardi:
  Extracting ontology concept hierarchies from text using Markov logic. 1354-1358
  
• Ahmad Ali Iqbal, Maximilian Ott, Aruna Seneviratne:
  Semantic content distribution with aggregated profiles. 1359-1365
  
• Ioan Marius Bilasco, Samir Amir, Patrick Blandin, Chabane Djeraba, Juhani Laitakari, Jean Martinet, Eduardo Martínez-Gracía, Daniel Pakkala, Mika Rautiainen, Mika Ylianttila, Jiehan Zhou:
  Semantics for intelligent delivery of multimedia content. 1366-1372
  
• Sven Groppe, Jinghua Groppe:
  External sorting for index construction of large semantic web databases. 1373-1380
  
• Ebrahim Bagheri, Faezeh Ensan:
  Evidential reasoning for the treatment of incoherent terminologies. 1381-1387
  
• Diego Calvanese, C. Maria Keet, Werner Nutt, Mariano Rodriguez-Muro, Giorgio Stefanoni:
  Web-based graphical querying of databases through an ontology: the Wonder system. 1388-1395
  
• María José Ibáñez, Gabriela Vulcu, Joaquin Ezpeleta, Sami Bhiri:
  Semantically enabled business process discovery. 1396-1403
  
• Melike Sah, Wendy Hall, David De Roure:
  Dynamic linking and personalization on web. 1404-1410
  
• Yvette Teiken, Stefan Brüggemann, Hans-Jürgen Appelrath:
  Interchangeable consistency constraints for public health care systems. 1411-1416
  
• Faezeh Ensan, Ebrahim Bagheri:
  A framework for handling revisions in distributed ontologies. 1417-1422
  
• Nicola Fanizzi, Claudia d'Amato, Floriana Esposito:
  Towards the induction of terminological decision trees. 1423-1427
  
• Floriana Esposito, Nicola Fanizzi, Claudia d'Amato:
  Recovering uncertain mappings through structural validation and aggregation with the MoTo system. 1428-1432
  
• Tarsis Marinho, Evandro de Barros Costa, Diego Dermeval, Rafael Ferreira, Lucas M. Braz, Ig Ibert Bittencourt, Henrique Pacca Loureiro Luna:
  An ontology-based software framework to provide educational data mining. 1433-1437
  

Poster papers

• Nesrine Ben Mustapha, Hajer Baazaoui Zghal, Marie-Aude Aufaure, Henda Hajjami Ben Ghézala:
  Enhancing semantic search using case-based modular ontology. 1438-1439
  
• Rui Lopes, Konstantinos Votis, Luís Carriço, Dimitrios Tzovaras, Spiridon D. Likothanassis:
  The semantics of personalised web accessibility assessment. 1440-1441
  
• I. Shin, Takahiro Kawamura, Hiroyuki Nakagawa, Ken Nakayama, Yasuyuki Tahara, Akihiko Ohsuga:
  ONTOMO: web-based ontology building system: ---instance recommendation using bootstrapping---. 1442-1443
  
• Frederik Hogenboom, Flavius Frasincar, Uzay Kaymak:
  A review of approaches for representing RCC8 in OWL. 1444-1445
  
• Claudia d'Amato, Floriana Esposito, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz:
  Inductive reasoning and semantic web search. 1446-1447
  

Trust, reputation, evidence and other collaboration know-how track

• David O'Callaghan, Louise Doran, Brian A. Coghlan:
  Evaluating trust in grid certificates. 1449-1450
  
• Rafael Maranzato, Adriano M. Pereira, Alair Pereira do Lago, Marden Neubert:
  Fraud detection in reputation systems in e-markets using logistic regression. 1454-1455
  
• Shlomi Dolev, Niv Gilboa, Marina Kopeetsky:
  Computing multi-party trust privately: in O(n) time units sending one (possibly large) message at a time. 1460-1465
  
• Kuldeep Yadav, Avinash Srinivasan:
  iTrust: an integrated trust framework for wireless sensor networks. 1466-1471
  
• Rachid Saadi, Jean-Marc Pierson, Lionel Brunie:
  T2D: a peer to peer trust management system based on disposition to trust. 1472-1478
  

Applied biometrics track

• Jutta Hämmerle-Uhl, Karl Raab, Andreas Uhl:
  Experimental study on the impact of robust watermarking on iris recognition accuracy. 1479-1484
  
• Zhongkai Han, Chi Fang, Xiaoqing Ding:
  A discriminated correlation classifier for face recognition. 1485-1490
  
• Anindya Roy, Sébastien Marcel:
  Visual processing-inspired fern-audio features for noise-robust speaker verification. 1491-1495
  
• Philip E. Miller, Allen W. Rawls, Shrinivas J. Pundlik, Damon L. Woodard:
  Personal identification using periocular skin texture. 1496-1500
  

Poster papers

• Anthony Larcher, Jean-François Bonastre, John S. D. Mason:
  Constrained Viterbi decoding for embedded user-customised password speaker recognition. 1501-1502
  
• Eric Charton, Anthony Larcher, Christophe Lévy, Jean-François Bonastre:
  Mistral: open source biometric platform. 1503-1504
  

Bioinformatics track

• Hsiao Ping Lee, Tzu-Fang Sheu, Chuan Yi Tang:
  An incremental algorithm for efficient unique signature discoveries on DNA databases. 1506-1510
  
• Yue W. Webster, Ranga Chandra Gudivada, Ernst R. Dow, Jacob Koehler, Mathew J. Palakal:
  A framework for cross-disciplinary hypothesis generation. 1511-1515
  
• Manuele Bicego, Pietro Lovato, Barbara Oliboni, Alessandro Perina:
  Expression microarray classification using topic models. 1516-1520
  
• Christian Baudet, Zanoni Dias:
  An improved algorithm to enumerate all traces that sort a signed permutation by reversals. 1521-1525
  
• Brendan Elliott, Stephen Mayes, Ali Cakmak, Gultekin Özsoyoglu, Z. Meral Özsoyoglu:
  Advanced querying interface for biochemical network databases. 1526-1533
  
• Mohammad Shafkat Amin, Anupam Bhattacharjee, Russell L. Finley Jr., Hasan M. Jamil:
  A stochastic approach to candidate disease gene subnetwork extraction. 1534-1538
  
• Sanchit Misra, Ramanathan Narayanan, Simon Lin, Alok N. Choudhary:
  FANGS: high speed sequence mapping for next generation sequencers. 1539-1546
  
• Dean Cheng, John Sheldon, Marcelo Marcet-Palacios, Osmar R. Zaïane:
  PROM-OOGLE: data mining and integration of on-line databases to discover gene promoters. 1547-1551
  
• Taiki Miyanishi, Kazuhiro Seki, Kuniaki Uehara:
  Hypothesis generation and ranking based on event similarities. 1552-1558
  
• Pedro Manuel Pinto Ribeiro, Fernando M. A. Silva:
  g-tries: an efficient data structure for discovering network motifs. 1559-1566
  
• Mark Menor, Kyungim Baek, Mahdi Belcaid, Yannick Gingras, Guylaine Poisson:
  Virus DNA-fragment classification using taxonomic hidden Markov model profiles. 1567-1571
  
• Mohammad Shafkat Amin, Anupam Bhattacharjee, Hasan M. Jamil:
  A cytoscape based framework for efficient sub-graph isomorphic protein-protein interaction motif lookup. 1572-1576
  

Computer forensics track

• David Billard, Rolf Hauri:
  Making sense of unstructured flash-memory dumps. 1579-1583
  
• Thomas Gloe, Rainer Böhme:
  The 'Dresden Image Database' for benchmarking digital image forensics. 1584-1590
  
• Farkhund Iqbal, Liaquat A. Khan, Benjamin C. M. Fung, Mourad Debbabi:
  e-mail authorship verification for forensic investigation. 1591-1598
  

Poster papers

• Carlos A. B. Mello:
  Filtering the shadows from poorly illuminated photos. 1599-1600
  
• Irfan Ahmed, Kyung-suk Lhee, Hyunjung Shin, Manpyo Hong:
  Fast file-type identification. 1601-1602
  

Data streams track

• André L. L. de Aquino, Ricardo A. R. Oliveira, Elizabeth F. Wanner:
  A wavelet-based sampling algorithm for wireless sensor networks applications. 1604-1608
  
• Pedro Henriques dos Santos Teixeira, Ruy Luiz Milidiú:
  Data stream anomaly detection through principal subspace tracking. 1609-1616
  
• Alice Marascu, Florent Masseglia, Yves Lechevallier:
  A fast approximation strategy for summarizing a set of streaming time series. 1617-1621
  
• Bai-En Shie, Vincent S. Tseng, Philip S. Yu:
  Online mining of temporal maximal utility itemsets from data streams. 1622-1626
  

Poster papers

• Mohamed Khalil El Mahrsi, Christine Potier, Georges Hébrail, Fabrice Rossi:
  Spatiotemporal sampling for trajectory streams. 1627-1628
  
• Mohamed Medhat Gaber, Ary Mazharuddin Shiddiqi:
  Distributed data stream classification for wireless sensor networks. 1629-1630
  

Database theory, technology, and applications track

• Joe Tang, Eric Lo:
  A lightweight framework for testing database applications. 1632-1637
  
• Yangjun Chen:
  A time optimal algorithm for evaluating tree pattern queries. 1638-1642
  
• Madhu Ahluwalia, Ruchika Gupta, Aryya Gangopadhyay, Yelena Yesha, Michael McAllister:
  Target-based database synchronization. 1643-1647
  
• Radim Belohlávek, Vilém Vychodil:
  Query systems in similarity-based databases: logical foundations, expressive power, and completeness. 1648-1655
  
• Mohammad Shafkat Amin, Anupam Bhattacharjee, Hasan M. Jamil:
  Wikipedia driven autonomous label assignment in wrapper induced tables with missing column names. 1656-1660
  
• Sung-Hyun Shin, Sang-Chul Lee, Sang-Wook Kim, Junghoon Lee, Eul Gyu Im:
  Efficient shortest path finding of k-nearest neighbor objects in road network databases. 1661-1665
  
• Alfredo Cuzzocrea, Elisa Bertino:
  A secure multiparty computation privacy preserving OLAP framework over distributed XML data. 1666-1673
  
• Lubos Kulic:
  Adaptability in XML-to-relational mapping strategies. 1674-1679
  
• Simon Malkowski, Deepal Jayasinghe, Markus Hedwig, Junhee Park, Yasuhiko Kanemasa, Calton Pu:
  Empirical analysis of database server scalability using an N-tier benchmark with read-intensive workload. 1680-1687
  
• Alex Costa, José Maria Monteiro, Angelo Brayner:
  A distributed protocol for ensuring replicated database consistency in mobile computing environments. 1688-1693
  

Information access and retrieval track

• Jer Lang Hong, Eu-Gene Siew, Simon Egerton:
  WMS-extracting multiple sections data records from search engine results pages. 1696-1701
  
• Carlos Nascimento Silla Jr., Alessandro L. Koerich, Celso A. A. Kaestner:
  Improving automatic music genre classification with hybrid content-based feature vectors. 1702-1707
  
• Claire Fautsch, Jacques Savoy:
  Adapting the tf idf vector-space model to domain specific information retrieval. 1708-1712
  
• Raiko Eckstein, Andreas Henrich, Nadine Weber:
  LFRP-search: multi-layer ranked visual faceted search: an approach to cope with complex search situations. 1713-1717
  
• Patrick Bosc, Olivier Pivert, Amine Mokhtari, Ludovic Lietard:
  Extending relational algebra to handle bipolarity. 1718-1722
  
• Frederico Araujo Durão, Peter Dolog:
  Extending a hybrid tag-based recommender system with personalization. 1723-1727
  
• Mohamed Benaouicha, Mohamed Tmar, Mohand Boughanem:
  Flexible document-query matching based on a probabilistic content and structure score combination. 1728-1734
  
• Ari Pirkola, Tuomas Talvensaari:
  Addressing the limited scope problem of focused crawling using a result merging approach. 1735-1740
  
• Tadanobu Furukawa, Seishi Okamoto, Yutaka Matsuo, Mitsuru Ishizuka:
  Prediction of social bookmarking based on a behavior transition model. 1741-1747
  
• Stefano Baccianella, Andrea Esuli, Fabrizio Sebastiani:
  Feature selection for ordinal regression. 1748-1754
  
• Michel Beigbeder:
  Focused retrieval with proximity scoring. 1755-1759
  
• Heung-Seon Oh, Yoonjung Choi, Sung-Hyon Myaeng:
  Combining global and local information for enhanced deep classification. 1760-1767
  
• Radhouane Guermazi, Mohamed Hammami, Abdelmajid Ben Hamadou:
  Classification of violent web images using context based analysis. 1768-1773
  
• Sylvain Lamprier, Tassadit Amghar, Frédéric Saubion, Bernard Levrat:
  Traveling among clusters: a way to reconsider the benefits of the cluster hypothesis. 1774-1780
  
• Yong-Bin Kang, Arkady B. Zaslavsky, Shonali Krishnaswamy, Claudio Bartolini:
  A knowledge-rich similarity measure for improving IT incident resolution process. 1781-1788
  
• Sylvain Lamprier, Tassadit Amghar, Frédéric Saubion, Bernard Levrat:
  Query-oriented clustering: a multi-objective approach. 1789-1795
  
• Jae-won Lee, Han-joon Kim, Sang-goo Lee:
  Applying taxonomic knowledge to Bayesian belief network for personalized search. 1796-1801
  
• Tiago A. Almeida, Akebo Yamakami, Jurandy Almeida:
  Probabilistic anti-spam filtering with dimensionality reduction. 1802-1806
  
• Hyoseop Shin, Jeehoon Lee, Kyouhyun Hwang:
  Separating the reputation and the sociability of online community users. 1807-1814
  
• Rinaldo Lima, Bernard Espinasse, Frederico Luiz Gonçalves de Freitas:
  An adaptive information extraction system based on wrapper induction with POS tagging. 1815-1820
  

Poster papers

• Malik Muhammad Saad Missen, Mohand Boughanem, Guillaume Cabanac:
  Using passage-based language model for opinion detection in blogs. 1821-1822
  
• Maurizio Montagnuolo, Alberto Messina, Marco Ferri:
  HMNews: a multimodal news data association framework. 1823-1824
  
• Zi Ning, Ji Soo Yi, Mathew J. Palakal, Anna M. McDaniel:
  OncoViz: a user-centric mining and visualization tool for cancer-related literature. 1827-1828
  
• Gerardo Pelosi, Giuseppe Psaila:
  SMaC: spatial map caching technique for mobile devices. 1829-1830
  

Information security research and applications track

• Stefan Fenz:
  Ontology-based generation of IT-security metrics. 1833-1839
  
• Thomas Zefferer, Thomas Knall:
  An electronic-signature based circular resolution database system. 1840-1845
  
• Tammo Krueger, Christian Gehl, Konrad Rieck, Pavel Laskov:
  TokDoc: a self-healing web application firewall. 1846-1853
  
• Tiago A. Almeida, Akebo Yamakami, Jurandy Almeida:
  Filtering spams using the minimum description length principle. 1854-1858
  
• Andreas Dewald, Thorsten Holz, Felix C. Freiling:
  ADSandbox: sandboxing JavaScript to fight malicious websites. 1859-1864
  
• Manuel Egele, Leyla Bilge, Engin Kirda, Christopher Kruegel:
  CAPTCHA smuggling: hijacking web browsing sessions to create CAPTCHA farms. 1865-1870
  
• Ulrich Bayer, Engin Kirda, Christopher Kruegel:
  Improving the efficiency of dynamic malware analysis. 1871-1878
  

Poster papers

• Jens Grossklags, Svetlana Radosavac, Alvaro A. Cárdenas, John Chuang:
  Nudge: intermediaries' role in interdependent network security. 1879-1880
  
• William Claycomb, Dongwan Shin:
  A framework for risk analysis in virtual directory security. 1881-1882
  

Multimedia and visualization track

• Dong-Sung Ryu, Woo-Keun Chung, Hwan-Gue Cho:
  PHOTOLAND: a new image layout system using spatio-temporal information in digital photos. 1884-1891
  
• Joel André Ferreira dos Santos, Débora C. Muchaluat-Saade:
  XTemplate 3.0: adding semantics to hypermedia compositions and providing document structure reuse. 1892-1897
  
• Leonardo Crauss Daronco, Valter Roesler, José Valdeni de Lima:
  Subjective video quality assessment applied to scalable video coding and transmission instability. 1898-1904
  
• Yen-Chun Lin, Yi-Fang Hsieh, Hsiang-An Wang:
  Web-based image matting. 1905-1910
  
• Joerg Deigmoeller, Takebumi Itagaki, Gerhard Stoll, Norbert Just:
  An approach to intelligently crop and scale video for broadcast applications. 1911-1918
  
• Luca Paolino, Monica Sebillo, Giuliana Vitiello, Genoveffa Tortora:
  An evaluation of the sinuosity effect on visualization of RDP simplified maps: an empirical study. 1919-1923
  
• Ja-Hwung Su, Hsin-Ho Yeh, Vincent S. Tseng:
  A novel music recommender by discovering preferable perceptual-patterns from music pieces. 1924-1928
  
• César A. C. Teixeira, Giliard B. Freitas, Maria da Graça Campos Pimentel:
  Distributed discrimination of media moments and media intervals: a Watch-and-Comment approach. 1929-1935
  
• Ronaldo Husemann, Ricardo Kintschner, Valter Roesler, José Valdeni de Lima, Altamiro Amadeu Susin:
  Proposal of an improved motion estimation module for SVC. 1936-1940
  
• Sergio Canazza, Antonina Dattolo:
  Listening the photos. 1941-1945
  

Poster papers

• Gustavo de Sá Carvalho Honorato, Simone Diniz Junqueira Barbosa:
  NCL-inspector: towards improving NCL code. 1946-1947
  

Computer security track

• Yasir Abdelgadir Mohamed, Azween B. Abdullah:
  Novel immune-based framework for securing ad hoc networks. 1950-1957
  
• Carlo Blundo, Stelvio Cimato:
  A simple role mining algorithm. 1958-1962
  
• Istehad Chowdhury, Mohammad Zulkernine:
  Can complexity, coupling, and cohesion metrics be used as early indicators of vulnerabilities? 1963-1969
  
• Jusuk Lee, Kyoochang Jeong, Heejo Lee:
  Detecting metamorphic malwares using code graphs. 1970-1977
  
• Konrad Rieck, Guido Schwenk, Tobias Limmer, Thorsten Holz, Pavel Laskov:
  Botzilla: detecting the "phoning home" of malicious software. 1978-1984
  
• Sam Blackshear, Rakesh M. Verma:
  R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks. 1985-1992
  
• J. Todd McDonald, Eric D. Trias, Yong C. Kim, Michael R. Grimaila:
  Using logic-based reduction for adversarial component recovery. 1993-2000
  
• Ulrich Flegel, Johannes Hoffmann, Michael Meier:
  Cooperation enablement for centralistic early warning systems. 2001-2008
  

Coordination models, languages and applications track

• Frédéric Jouault, Bert Vanhooff, Hugo Bruneliere, Guillaume Doux, Yolande Berbers, Jean Bézivin:
  Inter-DSL coordination support by combining megamodeling and model weaving. 2011-2018
  
• Conor Muldoon, Richard Tynan, Gregory M. P. O'Hare, Michael J. O'Grady:
  Agent-based coordination for the sensor web. 2019-2023
  
• Julien Siebert, Laurent Ciarletta, Vincent Chevrier:
  Agents & artefacts for multiple models coordination: objective and decentralized coordination of simulators. 2024-2028
  
• Mirko Viroli, Matteo Casadei:
  Chemical-inspired self-composition of competing services. 2029-2036
  
• Elena Nardini, Mirko Viroli, Emanuele Panzavolta:
  Coordination in open and dynamic environments with TuCSoN semantic tuple centres. 2037-2044
  

Poster papers

• Sun Meng, Luís Soares Barbosa:
  Towards the introduction of QoS information in a component model. 2045-2046
  

Constraint solving and programming track

• Alexandre Goldsztejn, Frédéric Goualard:
  Box consistency through adaptive shaving. 2049-2054
  
• Elsa Carvalho, Jorge Cruz, Pedro Barahona:
  Probabilistic constraints for reliability problems. 2055-2060
  
• Salvatore Ruggieri, Fred Mesnard:
  Variable ranges in linear constraints. 2061-2065
  
• James J. Lu, Sebastien Siva, Ojas Parekh, George H. L. Fletcher, Hantao Zhang:
  Constraint processing in relational database systems: from theory to implementation. 2066-2070
  

Poster papers

• Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang:
  Local lemma: a new strategy of pruning in SAT solvers. 2071-2072
  
• Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere:
  Relational consistency by constraint filtering. 2073-2074
  

Object oriented programming languages and systems track

• Sean Rooney:
  Scheduling intense applications most 'surprising' first. 2077-2084
  
• Thomas Pawlitzki, Friedrich Steimann:
  Implicit invocation of traits. 2085-2089
  
• Lukas Rytz, Martin Odersky:
  Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language. 2090-2095
  
• Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
  Implementing software product lines using traits. 2096-2102
  
• Manuel Fähndrich, Michael Barnett, Francesco Logozzo:
  Embedded contract languages. 2103-2110
  
• Xiaolong Tang, Jaakko Järvi:
  Generic flow-sensitive optimizing transformations in C++ with concepts. 2111-2118
  

Poster papers

• João L. Gomes, Miguel P. Monteiro:
  Design pattern implementation in object teams. 2119-2120
  

Programming languages track

• Petr Krajca, Vilém Vychodil:
  Software transactional memory for implicitly parallel functional language. 2123-2130
  
• Gabriel Dos Reis, Bjarne Stroustrup:
  General constant expressions for system programming languages. 2131-2136
  
• Corneliu Popeea, Wei-Ngan Chin:
  Dual analysis for proving safety and finding bugs. 2137-2143
  
• Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
  An algorithm to generate the context-sensitive synchronized control flow graph. 2144-2148
  
• Eduardo Rocha Rodrigues, Philippe Olivier Alexandre Navaux, Jairo Panetta, Celso L. Mendes:
  A new technique for data privatization in user-level threads and its use in parallel applications. 2149-2154
  

Poster papers

• Stefan Brunthaler:
  Efficient inline caching without dynamic translation. 2155-2156
  
• Tomás Flouri, Borivoj Melichar, Jan Janousek:
  Aho-Corasick like multiple subtree matching by pushdown automata. 2157-2158
  

Programming for separation of concerns track

• Arturo Zambrano, Johan Fabry, Guillermo Jacobson, Silvia E. Gordillo:
  Expressing aspectual interactions in requirements engineering: experiences in the slot machine domain. 2161-2168
  
• Robert Hirschfeld, Michael Perscheid, Christian Schubert, Malte Appeltauer:
  Dynamic contract layers. 2169-2175
  
• Peter Ebraert, Theo D'Hondt, Tim Molderez, Dirk Janssens:
  Intensional changes: modularizing crosscutting features. 2176-2182
  
• Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana:
  Using aspects and annotations to separate application code from design patterns. 2183-2189
  

Software engineering track

• Shin Nakajima:
  Semi-automated diagnosis of FODA feature diagram. 2191-2197
  
• Giuseppe Scanniello, Anna D'Amico, Carmela D'Amico, Teodora D'Amico:
  An approach for architectural layer recovery. 2198-2202
  
• Pavel Parizek, Nodir Yuldashev:
  Extraction of component-environment interaction model using state space traversal. 2203-2210
  
• Padmanabhan Krishnan, Percy Antonio Pari Salas:
  Data generation in model-based testing. 2211-2215
  
• Alberto Coen-Porisini, Pietro Colombo, Sabrina Sicari:
  Dealing with anonymity in wireless sensor networks. 2216-2223
  
• Chih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong:
  SysML-based requirement modeling environment for multicore embedded system. 2224-2228
  
• Xin Zhang, Qing Gu, Xiang Chen, Jingxian Qi, Daoxu Chen:
  A study of relative redundancy in test-suite reduction while retaining or improving fault-localization effectiveness. 2229-2236
  
• Anne Etien, Alexis Muller, Thomas Legrand, Xavier Blanc:
  Combining independent model transformations. 2237-2243
  
• Sebastian Herold:
  Checking architectural compliance in component-based systems. 2244-2251
  
• JoonSeok Park, Jeonghan Kim, Sanghyun Yun, Mikyeong Moon, Keunhyuk Yeom:
  An approach to developing reusable domain services for service oriented applications. 2252-2256
  
• Klaus Marius Hansen, Mads Ingstrup:
  Modeling and analyzing architectural change with alloy. 2257-2264
  
• Selim Ciraci, Pim van den Broek, Mehmet Aksit:
  Graph-based verification of static program constraints. 2265-2272
  
• Janne Kätevä, Perttu Laurinen, Taneli Rautio, Jaakko Suutala, Lauri Tuovinen, Juha Röning:
  SE-155 DBSA: a device-based software architecture for data mining. 2273-2280
  
• Konrad Voigt, Petko Ivanov, Andreas Rummler:
  MatchBox: combined meta-model matching for semi-automatic mapping generation. 2281-2288
  
• José Uetanabara Júnior, Rosângela Dellosso Penteado, Valter Vieira de Camargo:
  An overview and an empirical evaluation of UML-AOF: an UML profile for aspect-oriented frameworks. 2289-2296
  
• Amine Lajmi, Mikal Ziane, Tewfik Ziadi, Sylvie Cauvin:
  A multi-view model-driven approach for packaging software components. 2297-2304
  
• Robert A. Ballance, Jonathan Cook:
  Monitoring MPI programs for performance characterization and management control. 2305-2310
  
• Zizhen Wang, Hanpin Wang, Naijun Zhan:
  Refinement of models of software components. 2311-2318
  
• Muhammad Sulayman, Emilia Mendes:
  Quantitative assessments of key success factors in software process improvement for small and medium web companies. 2319-2323
  
• Irit Hadar, Tsvi Kuflik, Anna Perini, Iris Reinhartz-Berger, Filippo Ricca, Angelo Susi:
  An empirical study of requirements model understanding: Use Case vs. Tropos models. 2324-2329
  
• Lerina Aversano, Carmine Grasso, Maria Tortorella:
  Measuring the alignment between business processes and software systems: a case study. 2330-2336
  
• Rainer Weinreich, Georg Buchgeher:
  Paving the road for formally defined architecture description in software development. 2337-2343
  
• Ahmad Waqas Kamal, Paris Avgeriou:
  Modeling the variability of architectural patterns. 2344-2351
  
• Angelina Espinoza, Goetz Botterweck, Juan Garbajosa:
  A formal approach to reuse successful traceability practices in SPL projects. 2352-2359
  
• Stefan Sobernig:
  Feature interaction networks. 2360-2364