dblp: SAC 2011 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

26th SAC 2011: TaiChung, Taiwan

• 
  export records of this page
  first 1000 hits only:

  • XML
  • JSON
  • JSONP
  • BibTeX
    see FAQ:
  • How to use the dblp search API?
    BHT key:
  • db/conf/sac/sac2011.bht

• 

• 

• 

• 
  jump to

  • Applications, distributed systems, and engineering: applied biometrics track
  • Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Cloud computing track
  • Applications, distributed systems, and engineering: Poster papers
  • Applications, distributed systems, and engineering: Poster papers
  • Applications, distributed systems, and engineering: Poster papers
  • Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Web technologies track
  • Artificial intelligence & agents, information systems, and software development: Poster papers
  • Artificial intelligence & agents, information systems, and software development: Poster papers
  • Artificial intelligence & agents, information systems, and software development: Information access and retrieval track
  • Artificial intelligence & agents, information systems, and software development: Poster papers
  • Artificial intelligence & agents, information systems, and software development: Software engineering track
  • Artificial intelligence & agents, information systems, and software development: Semantic web and its application track

• 

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

• 
  • 
  • 
  • 
  • 
    William C. Chu, W. Eric Wong, Mathew J. Palakal, Chih-Cheng Hung:
    Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011. ACM 2011, ISBN 978-1-4503-0113-8

Applications, distributed systems, and engineering: applied biometrics track

• 
  • 
  • 
  • 
  • 
    Christian Rathgeb, Andreas Uhl, Peter Wild:
    Shifting score fusion: on exploiting shifting variation in iris recognition. 3-7
• 
  • 
  • 
  • 
  • 
    Bian Yang, Zhibo Chen, Christoph Busch:
    Raster image representation of fingerprint minutiae. 8-12
• 
  • 
  • 
  • 
  • 
    Davrondzhon Gafurov, Christoph Busch, Patrick Bours, Bian Yang:
    Fusion in fingerprint authentication: two finger types vs. two scanner types. 13-18
• 
  • 
  • 
  • 
  • 
    Emanuele Maiorana, Patrizio Campisi, Noelia González-Carballo, Alessandro Neri:
    Keystroke dynamics authentication for mobile phones. 21-26

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Daigo Muramatsu:
    Random forgery attacks against DTW-based online signature verification algorithm. 27-28
• 
  • 
  • 
  • 
  • 
    Nisha Bhaskaran, Ifeoma Nwogu, Mark G. Frank, Venu Govindaraju:
    Deceit detection via online behavioral learning. 29-30

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Asian perspective of global and collaborative computing track

• 
  • 
  • 
  • 
  • 
    Kuo-Fong Kao, Tau-Heng Yeo, Wai-Shuen Yong, Hui-Hsuan Chen:
    A location-aware rogue AP detection system based on wireless packet sniffing of sensor APs. 32-36
• 
  • 
  • 
  • 
  • 
    Lily Chang, Xudong He:
    A model transformation approach for verifying multi-agent systems using SPIN. 37-42
• 
  • 
  • 
  • 
  • 
    Peng Wang, Baowen Xu, Yue You, Lu Chen:
    Tagging web product titles based on hidden Markov model. 43-48
• 
  • 
  • 
  • 
  • 
    Peng-Hua Chu, Nien-Lin Hsueh, Chien-Ching Lee, Min-Ju Chuang, Pao-Ann Hsiung, William C. Chu:
    A pattern-based verification approach for a multi-core system development. 49-53
• 
  • 
  • 
  • 
  • 
    Jiantao Zhou, Shang Zheng, Delin Jing, Hongji Yang:
    An approach of creative application evolution on cloud computing platform. 54-58
• 
  • 
  • 
  • 
  • 
    Chien-Hung Liu, Shu-Ling Chen, Wei-Lun Jhu:
    Change impact analysis for object-oriented programs evolved to aspect-oriented programs. 59-65
• 
  • 
  • 
  • 
  • 
    Yao-Hsien Huang, Peng-Cheng Wang, Chia-Chi Chou, Kui-Ping Lin:
    An automatic selective color transfer algorithm for images. 66-71

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Yi-Hung Huang, Chao-Yu Kuo:
    Performance analysis of IEEE 802.11 ad hoc based broadcast. 72-73
• 
  • 
  • 
  • 
  • 
    Weifeng Zhang, Danmei Zhu, Yingzhou Zhang, Guoqiang Zhou, Baowen Xu:
    Harmonic functions based semi-supervised learning for web spam detection. 74-75

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Bioinformatics track

• 
  • 
  • 
  • 
  • 
    Valeria Fionda, Giuseppe Pirrò:
    BioTRON: a biological workflow management system. 77-82
• 
  • 
  • 
  • 
  • 
    Mahdi Belcaid, Kyungim Baek, David Haymer, Guylaine Poisson:
    Efficient clustering of populations using a minimal SNP panel. 83-88
• 
  • 
  • 
  • 
  • 
    Martin Simonsen, Christian N. S. Pedersen:
    Rapid computation of distance estimators from nucleotide and amino acid alignments. 89-93
• 
  • 
  • 
  • 
  • 
    Luiza Antonie, Kyrylo Bessonov:
    Classifying microarray data with association rules. 94-99
• 
  • 
  • 
  • 
  • 
    John David Osborne, Song Gao, Wei-bang Chen, Aleodor Andea, Chengcui Zhang:
    Machine classification of melanoma and nevi from skin lesions. 100-105

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Gustavo Rodrigues Galvão, Zanoni Dias:
    Computing rearrangement distance of every permutation in the symmetric group. 106-107
• 
  • 
  • 
  • 
  • 
    Fabien Chhel, Adrien Goëffon, Antoine Lafosse, Frédéric Lardeux, Frédéric Saubion, Gilles Hunault, Tristan Boureau:
    The bacterial strains characterization problem. 108-109
• 
  • 
  • 
  • 
  • 
    T. Van Du Tran, Philippe Chassignet, Jean-Marc Steyaert:
    Prediction of permuted super-secondary structures in β-barrel proteins. 110-111

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Cloud computing track

• 
  • 
  • 
  • 
  • 
    Mario Macías, Jordi Guitart:
    A genetic model for pricing in cloud computing markets. 113-118
• 
  • 
  • 
  • 
  • 
    Roman Iakymchuk, Jeff Napper, Paolo Bientinesi:
    Improving high-performance computations on clouds through resource underutilization. 119-126
• 
  • 
  • 
  • 
  • 
    Hsin-Han You, Chun-Chung Yang, Jiun-Long Huang:
    A load-aware scheduler for MapReduce framework in heterogeneous cloud environments. 127-132
• 
  • 
  • 
  • 
  • 
    Rui Cao, Caijun Zhen, Yan Gao, Guangzhi Xu, Xiaoguang Liu, Gang Wang, Guangjun Xie:
    AoDI: an allocation-on-demand incremental volume based on LVM. 133-138
• 
  • 
  • 
  • 
  • 
    Sven Groot, Kazuo Goda, Masaru Kitsuregawa:
    Towards improved load balancing for data intensive distributed computing. 139-146
• 
  • 
  • 
  • 
  • 
    Huan Liu:
    Rapid application configuration in Amazon cloud using configurable virtual appliances. 147-154
• 
  • 
  • 
  • 
  • 
    Jaekeun Shim, Jongdae Han, Jindae Kim, Byungjeong Lee, Jaewon Oh, Chisu Wu:
    Patterns for configuration requirements of Software-as-a-Service. 155-161
• 
  • 
  • 
  • 
  • 
    Jay Ramanathan, Rajiv Ramnath, Nisheet Singh, Zhe Xu, Yingxiao Xu:
    Sense-respond cloud mediator architecture for services evolution. 162-169

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Computer forensics track

• 
  • 
  • 
  • 
  • 
    Rabeah Al-Zaidy, Benjamin C. M. Fung, Amr M. Youssef:
    Towards discovering criminal communities from textual data. 172-177
• 
  • 
  • 
  • 
  • 
    Raffael Marty:
    Cloud application logging for forensics. 178-184
• 
  • 
  • 
  • 
  • 
    Xiaoqin Ding, Hengming Zou:
    Time based data forensic and cross-reference analysis. 185-190

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Kostas Kontogiannis, Ahmed Wasfy, Serge Mankovski:
    Event clustering for log reduction and run time system understanding. 191-192
• 
  • 
  • 
  • 
  • 
    Merin Sebastian, Priya Chandran:
    Towards designing a tool for event reconstruction using Gladyshev Approach. 193-194

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Dependable and adaptive distributed systems track

• 
  • 
  • 
  • 
  • 
    Kurt Geihs, Christoph Evers, Roland Reichle, Michael Wagner, Mohammad Ullah Khan:
    Development support for QoS-aware service-adaptation in ubiquitous computing applications. 197-202
• 
  • 
  • 
  • 
  • 
    Shen Lin, François Taïani, Marin Bertier, Gordon S. Blair, Anne-Marie Kermarrec:
    Transparent componentisation: high-level (re)configurable programming for evolving distributed systems. 203-208
• 
  • 
  • 
  • 
  • 
    João Paulo Magalhães, Luís Moura Silva:
    Root-cause analysis of performance anomalies in web-based applications. 209-216
• 
  • 
  • 
  • 
  • 
    Yu Liu, René Meier:
    AdaptStream: towards achieving fluidity in adaptive stream-based systems. 217-223
• 
  • 
  • 
  • 
  • 
    Dawood Tariq, Basim Baig, Ashish Gehani, Salman Mahmood, Rashid Tahir, Azeem Aqil, Fareed Zaffar:
    Identifying the provenance of correlated anomalies. 224-229
• 
  • 
  • 
  • 
  • 
    Jean-Charles Fabre, Marc-Olivier Killijian, François Taïani:
    Robustness of automotive applications using reflective computing: lessons learnt. 230-235

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Marc Zeller, Gereon Weiss, Dirk Eilers, Rudi Knorr:
    An approach for providing dependable self-adaptation in distributed embedded systems. 236-237

Applications, distributed systems, and engineering: Document engineering track

• 
  • 
  • 
  • 
  • 
    Wenjie Cai, Yaokai Feng, Seiichi Uchida:
    Massive character recognition with a large ground-truthed database. 240-244
• 
  • 
  • 
  • 
  • 
    Siyuan Chen, Henry S. Baird:
    Pixel accurate document image content extraction. 245-251
• 
  • 
  • 
  • 
  • 
    Ozge Yeloglu, Evangelos E. Milios, Nur Zincir-Heywood:
    Multi-document summarization of scientific corpora. 252-258
• 
  • 
  • 
  • 
  • 
    Daniel Marques de Oliveira, Rafael Dueire Lins, Gabriel Torreão, Jian Fan, Marcelo Thielo:
    A new algorithm for segmenting warped text-lines in document images. 259-265

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Andrei de Araújo Formiga, Rafael Dueire Lins, Steven J. Simske, Gary Dispoto, Marcelo Thielo:
    An assessment of data matrix barcode recognition under scaling, rotation and cylindrical warping. 266-267
• 
  • 
  • 
  • 
  • 
    Araly Barrera, Rakesh M. Verma:
    Automated extractive single-document summarization: beating the baselines with a new approach. 268-269

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Enterprise engineering track

• 
  • 
  • 
  • 
  • 
    Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini, Barbara Weber, Ángeles Saavedra Places:
    An empirical comparison of static and dynamic business process mining. 272-279
• 
  • 
  • 
  • 
  • 
    Anne Cleven, Robert Winter, Felix Wortmann:
    Process performance management: illuminating design issues through a systematic problem analysis. 280-286
• 
  • 
  • 
  • 
  • 
    Tim A. Majchrzak, Tobias Jansen, Herbert Kuchen:
    Efficiency evaluation of open source ETL tools. 287-294
• 
  • 
  • 
  • 
  • 
    Christian Janiesch, Martin Matzner, Oliver Müller, Robert Vollmer, Jörg Becker:
    Slipstream: architecture options for real-time process analytics. 295-300
• 
  • 
  • 
  • 
  • 
    Yu Li, Andreas Oberweis, Huayu Zhang:
    An integrated approach for modeling and facilitating RFID-based collaborative logistics processes. 301-307
• 
  • 
  • 
  • 
  • 
    Rafael Accorsi, Claus Wonnemann:
    Strong non-leak guarantees for workflow models. 308-314
• 
  • 
  • 
  • 
  • 
    Wouter Spoelstra, Maria-Eugenia Iacob, Marten van Sinderen:
    Software reuse in agile development organizations: a conceptual management tool. 315-322
• 
  • 
  • 
  • 
  • 
    João Paulo A. Almeida, Evellin Cristine Souza Cardoso:
    On the elements of an enterprise: towards an ontology-based account. 323-330

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Usman Wajid, Nikolay Mehandjiev, Abdallah Namoun, Panagiotis Gouvas:
    Tool support for realising a common understanding of business documents in collaborating enterprises. 331-333
• 
  • 
  • 
  • 
  • 
    Andreas Emrich, Alexandra Chapko, Christina Di Valentin, Dirk Werth:
    An architecture proposal for the prosumerized enterprise. 334-335

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Embedded systems: applications, solutions, and techniques track

• 
  • 
  • 
  • 
  • 
    Hiromasa Shimada, Yuki Kinebuchi, Tsung-Han Lin, Alexandre Courbot, Tatsuo Nakajima:
    Design issues in composition kernels for highly functional embedded systems. 338-345
• 
  • 
  • 
  • 
  • 
    Sung Kyu Park, Youngwoo Park, Gyudong Shim, Kyu Ho Park:
    CAVE: channel-aware buffer management scheme for solid state disk. 346-353
• 
  • 
  • 
  • 
  • 
    Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent:
    System-level co-simulation of integrated avionics using polychrony. 354-359
• 
  • 
  • 
  • 
  • 
    Seongwook Jin, Jaehong Kim, Jaegeuk Kim, Jaehyuk Huh, Seungryoul Maeng:
    Sector log: fine-grained storage management for solid state drives. 360-367
• 
  • 
  • 
  • 
  • 
    N. Venkatesh, Ruchir Gulati, Rajeev Bhujade, M. Girish Chandra:
    Fixed-point implementation of isolated sub-word level speech recognition using hidden Markov models. 368-373
• 
  • 
  • 
  • 
  • 
    Sehwan Lee, Bitna Lee, Kern Koh, Hyokyung Bahn:
    A lifespan-aware reliability scheme for RAID-based flash storage. 374-379
• 
  • 
  • 
  • 
  • 
    Peter Ulbrich, Rüdiger Kapitza, Christian Harkort, Reiner N. Schmid, Wolfgang Schröder-Preikschat:
    I4Copter: an adaptable and modular quadrotor platform. 380-386
• 
  • 
  • 
  • 
  • 
    Kwan Yong Sim, Fei-Ching Kuo, Robert G. Merkel:
    Fuzzing the out-of-memory killer on embedded Linux: an adaptive random approach. 387-392

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Zheng Ding, Wei Shu, Min-You Wu:
    FPGA based parallel transitive closure algorithm. 393-394
• 
  • 
  • 
  • 
  • 
    Yu Liu, Wei Zhang:
    Exploiting time predictable two-level scratchpad memory for real-time systems. 395-396

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Mobile computing and applications track

• 
  • 
  • 
  • 
  • 
    Hiroaki Kimura, Jun Ebisui, Yoshio Funabashi, Akihito Yoshii, Tatsuo Nakajima:
    iDetective: a persuasive application to motivate healthier behavior using smart phone. 399-404
• 
  • 
  • 
  • 
  • 
    Shinichi Yataka, Kohei Tanaka, Tsutomu Terada, Masahiko Tsukamoto:
    A context-aware audio presentation method in wearable computing. 405-412
• 
  • 
  • 
  • 
  • 
    Edison Pignaton de Freitas, Tales Heimfarth, Luiz Augusto Guimarães Costa, Armando Morado Ferreira, Carlos Eduardo Pereira, Flávio Rech Wagner, Tony Larsson:
    Analyzing different levels of geographic context awareness in agent ferrying over VANETs. 413-418
• 
  • 
  • 
  • 
  • 
    Karan Mitra, Arkady B. Zaslavsky, Christer Åhlund:
    A probabilistic context-aware approach for quality of experience measurement in pervasive systems. 419-424
• 
  • 
  • 
  • 
  • 
    Elisa Gonzalez Boix, Andoni Lombide Carreton, Christophe Scholliers, Tom Van Cutsem, Wolfgang De Meuter, Theo D'Hondt:
    Flocks: enabling dynamic group interactions in mobile social networking applications. 425-432
• 
  • 
  • 
  • 
  • 
    Keng-Pei Lin, Ming-Syan Chen:
    Towards communication-efficient private location dependent queries. 433-438
• 
  • 
  • 
  • 
  • 
    Farzana Rahman, Md. Endadul Hoque, Sheikh Iqbal Ahamed:
    REBIVE: a reliable private data aggregation scheme for wireless sensor networks. 439-444
• 
  • 
  • 
  • 
  • 
    Chin-Liang Tsai, Hsiao-Wen Chen, Jiun-Long Huang, Chih-Lin Hu:
    Transmission reduction between mobile phone applications and RESTful APIs. 445-450

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    William R. Claycomb, Dongwan Shin:
    Formal analysis of device authentication applications in ubiquitous computing. 451-452
• 
  • 
  • 
  • 
  • 
    Farzana Rahman, Md. Endadul Hoque, Sheikh Iqbal Ahamed:
    ProQuPri: towards anonymity protection with privacy quantification for context-aware applications. 453-454
• 
  • 
  • 
  • 
  • 
    Marcel Tilly, Stephan Reiff-Marganiec:
    Matching customer requests to service offerings in real-time. 456-461
• 
  • 
  • 
  • 
  • 
    Szu-Yin Lin, Kuo-Ming Chao, Chi-Chun Lo:
    Service-oriented dynamic data driven application systems to potential field method vehicle navigation. 462-467

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Alex Norta:
    A choreography language for eBusiness collaboration. 468-469

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Networking track

• 
  • 
  • 
  • 
  • 
    Romain Fontugne, Kensuke Fukuda:
    A Hough-transform-based anomaly detector with an adaptive time interval. 471-477
• 
  • 
  • 
  • 
  • 
    Vasilis Sourlas, Georgios S. Paschos, Petteri Mannersalo, Paris Flegkas, Leandros Tassiulas:
    Modeling the dynamics of caching in content-based publish/subscribe systems. 478-485
• 
  • 
  • 
  • 
  • 
    Marija Kalendar, Danijela Jakimovska, Aristotel Tentov, Goce Dokoski:
    Novel processor architecture for modified advanced routing in NGN. 486-491
• 
  • 
  • 
  • 
  • 
    Alberto E. Schaeffer Filho, Paul Smith, Andreas Mauthe:
    Policy-driven network simulation: a resilience case study. 492-497
• 
  • 
  • 
  • 
  • 
    Prasanthi Sreekumari, Sang-Hwa Chung:
    A new TCP mechanism for reducing retransmission timeouts over multi-hop wireless networks. 498-505
• 
  • 
  • 
  • 
  • 
    Yuuichi Teranishi, Susumu Takeuchi, Kaname Harumoto:
    HDOV: an overlay network for wide area spatial data collection. 506-513
• 
  • 
  • 
  • 
  • 
    Tingwen Liu, Yong Sun, Li Guo, Binxing Fang:
    Improving matching performance of DPI traffic classifier. 514-519
• 
  • 
  • 
  • 
  • 
    Zhang Fu, Marina Papatriantafilou, Philippas Tsigas:
    CluB: a cluster based framework for mitigating distributed denial of service attacks. 520-527
• 
  • 
  • 
  • 
  • 
    Adetokunbo Makanju, Nur Zincir-Heywood, Evangelos E. Milios:
    Storage and retrieval of system log events using a structured schema based on message type transformation. 528-533
• 
  • 
  • 
  • 
  • 
    Jehan-François Pâris, Ahmed Amer, Darrell D. E. Long:
    Accelerated chaining: a better way to harness peer power in video-on-demand applications. 534-539

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Yipeng Wang, Zhibin Zhang, Li Guo:
    Traffic classification beyond application level: identifying content types from network traces. 540-541
• 
  • 
  • 
  • 
  • 
    Jing Liu, Haibo Wu, Xinming Ye, Jun Li:
    Scalable CP-nets modeling for BitTorrent protocol. 542-543

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Operating systems track

• 
  • 
  • 
  • 
  • 
    Jian-Jia Chen, Kai Huang, Lothar Thiele:
    Power management schemes for heterogeneous clusters under quality of service requirements. 546-553
• 
  • 
  • 
  • 
  • 
    Min Zhu, Miao Yu, Mingyuan Xia, Bingyu Li, Peijie Yu, Shang Gao, Zhengwei Qi, Liang Liu, Ying Chen, Haibing Guan:
    VASP: virtualization assisted security monitor for cross-platform protection. 554-559
• 
  • 
  • 
  • 
  • 
    Wanyong Tian, Chun Jason Xue, Minming Li, Enhong Chen:
    Loop fusion and reordering for register file optimization on stream processors. 560-565
• 
  • 
  • 
  • 
  • 
    Heejune Ahn, Sang Chul Ahn, Junyoung Heo, Sung Y. Shin:
    Fault tolerant framework and techniques for component-based autonomous robot systems. 566-572
• 
  • 
  • 
  • 
  • 
    Jun Nakajima, Qian Lin, Sheng Yang, Min Zhu, Shang Gao, Mingyuan Xia, Peijie Yu, Yaozu Dong, Zhengwei Qi, Kai Chen, Haibing Guan:
    Optimizing virtual machines using hybrid virtualization. 573-578
• 
  • 
  • 
  • 
  • 
    Zhiyong Shan, Tzi-cker Chiueh, Xin Wang:
    Virtualizing system and ordinary services in Windows-based OS-level virtual machines. 579-583
• 
  • 
  • 
  • 
  • 
    Junghoon Lee, Gyung-Leen Park, Sang-Wook Kim, Hye-Jin Kim, Chang Oan Sung:
    Power consumption scheduling for peak load reduction in smart grid homes. 584-588
• 
  • 
  • 
  • 
  • 
    Tae-Sun Chung, Dong-Joo Park, Jongik Kim:
    LSTAFF*: an efficient flash translation layer for large block flash memory. 589-594
• 
  • 
  • 
  • 
  • 
    Hyunchul Seok, Youngwoo Park, Kyu Ho Park:
    Migration based page caching algorithm for a hybrid main memory of DRAM and PRAM. 595-599
• 
  • 
  • 
  • 
  • 
    Chin-Hsien Wu, Hau-Shan Wu:
    A data de-duplication access framework for solid state drives. 600-604
• 
  • 
  • 
  • 
  • 
    Jen-Wei Hsieh, Shang-Yang Chang:
    An open-system framework for flash-memory storage system. 605-610
• 
  • 
  • 
  • 
  • 
    Seokhyun Kim, Geunyoung Park, Jiman Hong, Yookun Cho:
    Adaptive link recovery scheme for structured peer-to-peer networks under churn. 611-615
• 
  • 
  • 
  • 
  • 
    Mei-Ling Chiang, Hsiang-Yu Hsu:
    Supporting dynamic update and resource protection in an embedded operating system. 616-620

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Sanghyun Ahn, Yujin Lim, Sanggil Kang:
    Development of the wireless embedded sensor network for energy-efficient flooding. 621-622
• 
  • 
  • 
  • 
  • 
    Qian Lin, Mingyuan Xia, Miao Yu, Peijie Yu, Min Zhu, Shang Gao, Zhengwei Qi, Kai Chen, Haibing Guan:
    SPAD: software protection through anti-debugging using hardware virtualization. 623-624
• 
  • 
  • 
  • 
  • 
    Younghwan Kim, TaeHyoung Kim, Yuri Kim, Ah-Reum Kim:
    FMCM: a efficient flash memory cache management scheme for energy-efficient disks. 625-626
• 
  • 
  • 
  • 
  • 
    Youngsam Shin, Seungwon Lee, Minyoung Son, Shihwa Lee:
    Predictable multithread scheduling with cycle-accurate thread progress monitor. 627-628
• 
  • 
  • 
  • 
  • 
    Hitoshi Mitake, Yuki Kinebuchi, Alexandre Courbot, Tatsuo Nakajima:
    Coexisting real-time OS and general purpose OS on an embedded virtualization layer for a multicore processor. 629-630
• 
  • 
  • 
  • 
  • 
    Hyeong-chan Lee, Chung Hui Kim, Jeong Hyun Yi:
    Experimenting with system and Libc call interception attacks on ARM-based Linux kernel. 631-632
• 
  • 
  • 
  • 
  • 
    Joongjin Kook, Sukil Hong, Wooseung Lee, Eunkyeung Jae, Jung-Yeop Kim:
    Optimization of out of memory killer for embedded Linux environments. 633-634

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Green/power-aware design and optimization track

• 
  • 
  • 
  • 
  • 
    Fanxin Kong, Nan Guan, Qingxu Deng, Wang Yi:
    Energy-efficient scheduling for parallel real-time tasks based on level-packing. 635-640
• 
  • 
  • 
  • 
  • 
    Xia Zhao, Yao Guo, Qing Feng, Xiangqun Chen:
    A system context-aware approach for battery lifetime prediction in smart phones. 641-646

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Arun Rangasamy, Y. N. Srikant:
    Petri net based performance modeling for effective DVFS for multithreaded programs. 647-648

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Requirements engineering track

• 
  • 
  • 
  • 
  • 
    Golnaz Elahi, Eric S. K. Yu:
    Requirements trade-offs analysis in the absence of quantitative measures: a heuristic method. 651-658
• 
  • 
  • 
  • 
  • 
    Ebrahim Bagheri, Faezeh Ensan:
    Consolidating multiple requirement specifications through argumentation. 659-666
• 
  • 
  • 
  • 
  • 
    Patrícia Varela, João Araújo, Isabel Sofia Brito, Ana Moreira:
    Aspect-oriented analysis for software product lines requirements engineering. 667-674
• 
  • 
  • 
  • 
  • 
    Jennifer Horkoff, Eric S. K. Yu:
    Analyzing goal models: different approaches and how to choose among them. 675-682
• 
  • 
  • 
  • 
  • 
    Ivana Ognjanovic, Dragan Gasevic, Ebrahim Bagheri, Mohsen Asadi:
    Conditional preferences in software stakeholders' judgments. 683-690
• 
  • 
  • 
  • 
  • 
    Mohsen Asadi, Ebrahim Bagheri, Dragan Gasevic, Marek Hatala, Bardia Mohabbati:
    Goal-driven software product line engineering. 691-698
• 
  • 
  • 
  • 
  • 
    Márcia Lucena, Jaelson Castro, Carla T. L. L. Silva, Fernanda M. R. Alencar, Emanuel Santos:
    Stream: a strategy for transition between requirements models and architectural models. 699-704
• 
  • 
  • 
  • 
  • 
    Garyfallos Fragidis, Konstantinos A. Tarabanis:
    Analyzing value co-creation in service systems: contribution from GORE. 705-707
• 
  • 
  • 
  • 
  • 
    Ricardo Argenton Ramos, Jaelson Brelaz de Castro, João Araújo, Fernanda M. R. Alencar:
    Towards the improvement of use case models: the AIRDoc process. 708-709

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Real-time systems track

• 
  • 
  • 
  • 
  • 
    Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate:
    A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems. 711-716
• 
  • 
  • 
  • 
  • 
    Mohammad Mahdi Jaghoori:
    From nonpreemptive to preemptive scheduling: from single-processor to multi-processor? 717-722
• 
  • 
  • 
  • 
  • 
    Yu Liu, Wei Zhang:
    Stack distance based worst-case instruction cache performance analysis. 723-728
• 
  • 
  • 
  • 
  • 
    Florian Many, David Doose:
    Fault tolerance evaluation and schedulability analysis. 729-734
• 
  • 
  • 
  • 
  • 
    Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti:
    Multiprocessor schedulability analyser. 735-741
• 
  • 
  • 
  • 
  • 
    Raphael Guerra, Gerhard Fohler:
    Handling overload of target sensitive real-time applications for increased system utility and improved resource usage. 742-747

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Jupyung Lee, Geunsik Lim, Sang-Bum Suh:
    Preemptibility-aware responsive multi-core scheduling. 748-749

Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Web technologies track

• 
  • 
  • 
  • 
  • 
    Georg Singer, Ulrich Norbisrath, Eero Vainikko, Hannu Kikkas, Dirk Lewandowski:
    Search-logger analyzing exploratory search tasks. 751-756
• 
  • 
  • 
  • 
  • 
    Tim A. Majchrzak, Kay F. Hildebrand:
    Game vendors' influence on the monetary value of virtual goods. 757-764
• 
  • 
  • 
  • 
  • 
    Jeroen van der Meer, Ferry Boon, Frederik Hogenboom, Flavius Frasincar, Uzay Kaymak:
    A framework for automatic annotation of web pages using the Google rich snippets vocabulary. 765-772
• 
  • 
  • 
  • 
  • 
    Jiwoon Ha, Duck-Ho Bae, Sang-Wook Kim, Seok-Chul Baek, Byeong-Soo Jeong:
    Analyzing a Korean blogosphere: a social network analysis perspective. 773-777
• 
  • 
  • 
  • 
  • 
    Luiz Alexandre Hiane da Silva Maciel, Celso Massaki Hirata:
    Extending timestamp-based two phase commit protocol for RESTful services to meet business rules. 778-785
• 
  • 
  • 
  • 
  • 
    Yun-Jung Lee, Eun-Kyung Kim, Hwan-Gue Cho, Gyun Woo:
    Visualizing dispute sections and relations from the sequence of replying comments. 786-791
• 
  • 
  • 
  • 
  • 
    Daniel Schall, Florian Skopik, Harald Psaier, Schahram Dustdar:
    Bridging socially-enhanced virtual communities. 792-799
• 
  • 
  • 
  • 
  • 
    Matti Anttonen, Arto Salminen, Tommi Mikkonen, Antero Taivalsaari:
    Transforming the web into a real application platform: new technologies, emerging trends and missing pieces. 800-807
• 
  • 
  • 
  • 
  • 
    Jodi Schneider, Alexandre Passant, John G. Breslin:
    Understanding and improving Wikipedia article discussion spaces. 808-813
• 
  • 
  • 
  • 
  • 
    Antonina Dattolo, Davide Eynard, Luca Mazzola:
    An integrated approach to discover tag semantics. 814-820

Applications, distributed systems, and engineering: Poster papers

• 
  • 
  • 
  • 
  • 
    Tim A. Majchrzak, Adalbert Jakubiec, Martin Lablans, Frank Ückert:
    Towards better social integration through mobile web 2.0 ambient assisted living devices. 821-822
• 
  • 
  • 
  • 
  • 
    Kenta Sasaki, Masayuki Okamoto, Nayuko Watanabe, Masaaki Kikuchi, Takayuki Iida, Masanori Hattori:
    Extracting preference terms from web browsing histories excluding pages unrelated to users' interests. 823-824
• 
  • 
  • 
  • 
  • 
    Fan Zhang, Di Wu, Naiyong Ao, Gang Wang, Xiaoguang Liu, Jing Liu:
    Fast lists intersection with Bloom filter using graphics processing units. 825-826

Artificial intelligence & agents, information systems, and software development: advances in spatial and image-based information systems track

• 
  • 
  • 
  • 
  • 
    Virupaksha Kanjilal, Markus Schneider:
    Spatial network modeling for databases. 827-832
• 
  • 
  • 
  • 
  • 
    Hechen Liu, Markus Schneider:
    Tracking continuous topological changes of complex moving regions. 833-838

Artificial intelligence & agents, information systems, and software development: Computational intelligence and signal and image analysis track

• 
  • 
  • 
  • 
  • 
    Volkmar Frinken, Andreas Fischer, Horst Bunke:
    Improving handwritten keyword spotting with self-training. 840-845
• 
  • 
  • 
  • 
  • 
    Yin-Fu Huang, Li-Wen Chen:
    An event-based video retrieval system by combining broadcasting baseball video and web-casting text. 846-852
• 
  • 
  • 
  • 
  • 
    Huaifei Hu, Hong Liu, Lili Chen, Chih-Cheng Hung, Xiangyang Xu, Zhicong Lan:
    Image segmentation of cervical vertebra in X-ray radiographs using the curve fitting strategy. 853-858

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Yihua Lan, Hong Liu, Enmin Song, Chih-Cheng Hung:
    A comparative study and analysis on K-view based algorithms for image texture classification. 859-860

Artificial intelligence & agents, information systems, and software development: Coordination models, languages and applications track

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Marco Sbaraglia, Matteo Casadei, Mirko Viroli:
    Programming coordination laws of artifacts in CArtAgO. 885-886

Artificial intelligence & agents, information systems, and software development: Constraint Solving and Programming Track

Artificial intelligence & agents, information systems, and software development: Poster papers

Artificial intelligence & agents, information systems, and software development: Data mining track

• 
  • 
  • 
  • 
  • 
    Christine Largeron, Christophe Moulin, Mathias Géry:
    Entropy based feature selection for text categorization. 924-928
• 
  • 
  • 
  • 
  • 
    Yin-Fu Huang, Jyun-Jhang Huang:
    Semantic event detection in baseball videos based on a multi-output hidden Markov model. 929-936
• 
  • 
  • 
  • 
  • 
    Seung-Hwan Lim, Sang-Wook Kim, Soyoun Kim, Sanghyun Park:
    Construction of a blog network based on information diffusion. 937-941
• 
  • 
  • 
  • 
  • 
    Tao Ban, Changshui Zhang, Shigeo Abe, Takeshi Takahashi, Youki Kadobayashi:
    Mining interlacing manifolds in high dimensional spaces. 942-949
• 
  • 
  • 
  • 
  • 
    Carson Kai-Sang Leung, Fan Jiang:
    Frequent itemset mining of uncertain data streams using the damped window model. 950-955
• 
  • 
  • 
  • 
  • 
    Philippe Fournier-Viger, Roger Nkambou, Vincent Shin-Mu Tseng:
    RuleGrowth: mining sequential rules common to several sequences by pattern-growth. 956-961
• 
  • 
  • 
  • 
  • 
    Madhu Ahluwalia, Aryya Gangopadhyay, Zhiyuan Chen, Yelena Yesha:
    Target-based privacy preserving association rule mining. 962-967
• 
  • 
  • 
  • 
  • 
    Xueke Xu, Tao Meng, Xueqi Cheng:
    Aspect-based extractive summarization of online reviews. 968-975
• 
  • 
  • 
  • 
  • 
    Alfredo Cuzzocrea, Paolo Serafino:
    ClustCube: an OLAP-based framework for clustering and mining complex database objects. 976-982

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Carson Kai-Sang Leung, Lijing Sun:
    Equivalence class transformation based mining of frequent itemsets from uncertain data. 983-984
• 
  • 
  • 
  • 
  • 
    Meirong Wang, Lijun Jiang, Liru Zhang, Tadashi Ohmori:
    Exact top-k keyword search on graph databases. 985-986

Artificial intelligence & agents, information systems, and software development: Data streams track

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Abhijat Sinha, Hossein Tayebi, Shonali Krishnaswamy, Agustinus Borgy Waluyo, Mohamed Medhat Gaber:
    Resource-aware ECG analysis on mobile devices. 1012-1013

Artificial intelligence & agents, information systems, and software development: Database theory, technology, and applications track

• 
  • 
  • 
  • 
  • 
    Norvald H. Ryeng, Jon Olav Hauglid, Kjetil Nørvåg:
    Site-autonomous distributed semantic caching. 1015-1021
• 
  • 
  • 
  • 
  • 
    Shen Liu, Ling Chen, Gencai Chen:
    Voronoi-based range query for trajectory data in spatial networks. 1022-1026
• 
  • 
  • 
  • 
  • 
    Guilherme Dal Bianco, Renata de Matos Galante, Carlos A. Heuser:
    A fast approach for parallel deduplication on multicore processors. 1027-1032
• 
  • 
  • 
  • 
  • 
    Karim Benouaret, Djamal Benslimane, Allel HadjAli:
    Top-k service compositions: a fuzzy set-based approach. 1033-1038
• 
  • 
  • 
  • 
  • 
    Lixiao Zheng, Haiming Chen:
    Determinacy and rewriting of conjunctive queries over unary database schemas. 1039-1044
• 
  • 
  • 
  • 
  • 
    Claus Dabringer, Johann Eder:
    Efficient top-k retrieval for user preference queries. 1045-1052
• 
  • 
  • 
  • 
  • 
    Hasan M. Jamil:
    Computing subgraph isomorphic queries using structural unification and minimum graph structures. 1053-1058

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Olalekan Kadri, Christie I. Ezeife:
    Mining uncertain web log sequences with access history probabilities. 1059-1060

Artificial intelligence & agents, information systems, and software development: Applications of evolutionary computing track

• 
  • 
  • 
  • 
  • 
    Kengo Katayama, Akinori Kohmura, Keiko Kohmoto, Hideo Minamihara:
    Memetic algorithm with strategic controller for the maximum clique problem. 1062-1069
• 
  • 
  • 
  • 
  • 
    Henry Santosa, John Milton, Paul J. Kennedy:
    HMXT-GP: an information-theoretic approach to genetic programming that maintains diversity. 1070-1075
• 
  • 
  • 
  • 
  • 
    Pham Trung Kien, Nguyen Duy Hiep, Huynh Thi Thanh Binh:
    New hybrid genetic algorithm for solving optimal communication spanning tree problem. 1076-1081
• 
  • 
  • 
  • 
  • 
    Alfonso E. Márquez Chamorro, Federico Divina, Jesús S. Aguilar-Ruiz:
    Evolutionary computation for the prediction of secondary protein structures. 1082-1087

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Kamer Ali Yüksel, Batuhan Bozkurt, Hamed Ketabdar:
    A software platform for genetic algorithms based parameter estimation on digital sound synthesizers. 1088-1089
• 
  • 
  • 
  • 
  • 
    Aparna Mandke Dani, Bharadwaj Amrutur, Y. N. Srikant:
    Applying genetic algorithms to optimize the power in tiled SNUCA chip multicore architectures. 1090-1091

Artificial intelligence & agents, information systems, and software development: Geometric constraints and reasoning track

• 
  • 
  • 
  • 
  • 
    Gui-Fang Zhang:
    Well-constrained completion for under-constrained geometric constraint problem based on connectivity analysis of graph. 1094-1099
• 
  • 
  • 
  • 
  • 
    Simon E. B. Thierry:
    A particle-spring approach to geometric constraints solving. 1100-1105
• 
  • 
  • 
  • 
  • 
    Asem Kasem, Fadoua Ghourabi, Tetsuo Ida:
    Origami axioms and circle extension. 1106-1111

Artificial intelligence & agents, information systems, and software development: Information access and retrieval track

• 
  • 
  • 
  • 
  • 
    Patrick Bosc, Olivier Pivert:
    On three fuzzy connectives for flexible data retrieval and their axiomatization. 1114-1118
• 
  • 
  • 
  • 
  • 
    Mostafa Keikha, Shima Gerani, Fabio Crestani:
    Relevance stability in blog retrieval. 1119-1123
• 
  • 
  • 
  • 
  • 
    Dion Hoe-Lian Goh, Chei Sian Lee, Alton Yeow-Kuan Chua:
    Performance and perceptions of human computation games for image tagging. 1124-1129
• 
  • 
  • 
  • 
  • 
    Chiao-Fang Hsu, James Caverlee, Elham Khabiri:
    Hierarchical comments-based clustering. 1130-1137
• 
  • 
  • 
  • 
  • 
    Zheng Ye, Xiangji Huang, Hongfei Lin:
    A Bayesian network approach to context sensitive query expansion. 1138-1142
• 
  • 
  • 
  • 
  • 
    Yeming Hu, Evangelos E. Milios, James Blustein:
    Interactive feature selection for document clustering. 1143-1150
• 
  • 
  • 
  • 
  • 
    Adam Jatowt, Yukiko Kawai, Katsumi Tanaka:
    Calculating content recency based on timestamped and non-timestamped sources for supporting page quality estimation. 1151-1158
• 
  • 
  • 
  • 
  • 
    Duy Dinh, Lynda Tamine:
    Biomedical concept extraction based on combining the content-based and word order similarities. 1159-1163

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Jorge Costa, Gabriel Pereira Lopes, Luís Gomes, Luís M. S. Russo:
    Representing a bilingual lexicon with suffix trees. 1164-1165
• 
  • 
  • 
  • 
  • 
    Ourdia Bouidghaghen, Lynda Tamine, Mohand Boughanem:
    Inferring situation-based interests for mobile users: a case based reasoning approach. 1166-1167

Artificial intelligence & agents, information systems, and software development: Intelligent/innovative learning environments track

• 
  • 
  • 
  • 
  • 
    Mamoun Nawahdah, Tomoo Inoue:
    Positioning a virtual teacher in an MR physical task learning support system. 1169-1174
• 
  • 
  • 
  • 
  • 
    Laysa Mabel de Oliveira Fontes, Francisco Milton Mendes Neto, Alexandre Ádames Alves Pontes, Gustavo Augusto Lima de Campos:
    An agent-based architecture for supporting the workgroups creation and the detection of out-of-context conversation on problem-based learning in virtual learning environments. 1175-1180
• 
  • 
  • 
  • 
  • 
    Chao-Lin Liu, Chia-Ying Lee, Jie-Li Tsai, Chia-Ling Lee:
    A cognition-based interactive game platform for learning Chinese characters. 1181-1186
• 
  • 
  • 
  • 
  • 
    Douglas Véras, Ig Ibert Bittencourt, Heitor Barros, Marlos Silva, Evandro de Barros Costa:
    A solution for personalized t-learning applications integrated with a web educational platform. 1187-1193
• 
  • 
  • 
  • 
  • 
    Jairo C. Simões, Nizam Omar:
    Leveraging the dynamics of learning by modeling and managing psychosocial relations and behavior by means of game theory and memetics. 1194-1201
• 
  • 
  • 
  • 
  • 
    Vanessa Araujo Borges, José Carlos Maldonado, Ellen Francine Barbosa:
    Towards the establishment of supporting mechanisms for modeling and generating educational content. 1202-1207

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Mirfat Akter Sharmin, Md. Mizanur Rahman, Syed Ishtiaque Ahmed, Md. Mustafizur Rahman, S. M. Ferdous:
    Teaching intelligible speech to the autistic children by interactive computer games. 1208-1209
• 
  • 
  • 
  • 
  • 
    Jin-Su Lim, Jeong-Hoon Ji, Yun-Jung Lee, Gyun Woo:
    Style Avatar: a visualization system for teaching C coding style. 1210-1211
• 
  • 
  • 
  • 
  • 
    Ana Emília de Melo Queiroz, Alex Sandro Gomes, Cláudia Roberta Araújo Gomes, Sávio Silveira de Queiroz:
    Effects of scaffoldings on interactive diagram constructions in educational interface for elementary school teachers training. 1212-1213
• 
  • 
  • 
  • 
  • 
    Daniel Ribeiro Trindade, Alberto Barbosa Raposo:
    Improving 3D navigation in multiscale environments using cubemap-based techniques. 1215-1221
• 
  • 
  • 
  • 
  • 
    Kaori Kusama, Takayuki Itoh:
    MusCat: a music browser featuring abstract pictures and zooming user interface. 1222-1228
• 
  • 
  • 
  • 
  • 
    Dong-Sung Ryu, Kwanghwi Kim, Sun-Young Park, Hwan-Gue Cho:
    A web-based photo management system for large photo collections with user-customizable quality assessment. 1229-1236
• 
  • 
  • 
  • 
  • 
    Marcus F. C. Alencar, Alberto Barbosa Raposo, Simone Diniz Junqueira Barbosa:
    Composition of HCI evaluation methods for hybrid virtual environments. 1237-1244
• 
  • 
  • 
  • 
  • 
    Ai Gomi, Takayuki Itoh:
    A personal photograph browser for life log analysis based on location, time, and person. 1245-1251
• 
  • 
  • 
  • 
  • 
    Diogo Pedrosa, José Augusto C. Martins Jr., Erick Lazaro Melo, César A. C. Teixeira:
    A multimodal interaction component for digital television. 1253-1258
• 
  • 
  • 
  • 
  • 
    Bruno Seabra Lima, Luiz Fernando Gomes Soares, Marcelo Ferreira Moreno:
    Considering non-functional aspects in the design of hypermedia authoring tools. 1259-1266
• 
  • 
  • 
  • 
  • 
    Didier Augusto Vega-Oliveros, Diogo Santana Martins, Maria da Graça Campos Pimentel:
    Media-oriented operators for authoring interactive multimedia documents generated from capture sessions. 1267-1272

Artificial intelligence & agents, information systems, and software development: Object oriented programming languages and systems track

• 
  • 
  • 
  • 
  • 
    Elisa Gonzalez Boix, Carlos Noguera, Tom Van Cutsem, Wolfgang De Meuter, Theo D'Hondt:
    REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications. 1275-1281
• 
  • 
  • 
  • 
  • 
    Michael Haupt, Michael Perscheid, Robert Hirschfeld:
    Type harvesting: a practical approach to obtaining typing information in dynamic programming languages. 1282-1289
• 
  • 
  • 
  • 
  • 
    Seonghoon Kang, Sukyoung Ryu:
    FortressCheck: automatic testing for generic properties. 1290-1296

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Pascal Coupey, Christophe Fouqueré:
    A formal framework for a functional language with adaptable components. 1297-1298

Artificial intelligence & agents, information systems, and software development: Programming languages track

• 
  • 
  • 
  • 
  • 
    Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
    Relating function spaces to resourced function spaces. 1301-1308
• 
  • 
  • 
  • 
  • 
    Tom Dinkelaker, Michael Eichberg, Mira Mezini:
    Incremental concrete syntax for embedded languages. 1309-1316
• 
  • 
  • 
  • 
  • 
    Ralf Lämmel, Ekaterina Pek, Jürgen Starek:
    Large-scale, AST-based API-usage analysis of open-source Java projects. 1317-1324
• 
  • 
  • 
  • 
  • 
    Mirko Viroli, Jacob Beal, Matteo Casadei:
    Core operational semantics of Proto. 1325-1332
• 
  • 
  • 
  • 
  • 
    Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:
    A domain-specific language for managing feature models. 1333-1340

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Tobias Gutzmann, Jonas Lundberg, Welf Löwe:
    Feedback-driven points-to analysis. 1341-1342
• 
  • 
  • 
  • 
  • 
    Amel Mammar:
    An overview of a proof-based approach to detecting C vulnerabilities. 1343-1344

Artificial intelligence & agents, information systems, and software development: Programming for separation of concerns track

• 
  • 
  • 
  • 
  • 
    Peter Ebraert, Quinten David Soetens, Dirk Janssens:
    Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation. 1345-1352
• 
  • 
  • 
  • 
  • 
    Michihiro Horie, Satoshi Morita, Shigeru Chiba:
    Distributed dynamic weaving is a crosscutting concern. 1353-1360

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Rodrigo Ramos Couto, Rodrigo Pereira Valentim, Udo Fritzke Jr., Luiz Alberto Ferreira Gomes, Daniel Merli Morais:
    Structuring adaptive replicated systems with design patterns and aspects. 1361-1362

Artificial intelligence & agents, information systems, and software development: Intelligent robotic systems track

• 
  • 
  • 
  • 
  • 
    Weiya Yue, John V. Franco, Weiwei Cao, Hongwei Yue:
    ID* Lite: improved D* Lite algorithm. 1364-1369
• 
  • 
  • 
  • 
  • 
    Milton Roberto Heinen, Paulo Martins Engel:
    Incremental feature-based mapping from sonar data using Gaussian mixture models. 1370-1375
• 
  • 
  • 
  • 
  • 
    Jefferson R. Souza, Daniel O. Sales, Patrick Yuri Shinzato, Fernando Santos Osório, Denis F. Wolf:
    Template-based autonomous navigation in urban environments. 1376-1381
• 
  • 
  • 
  • 
  • 
    Mohammad Reza Mohammadi, Saeed Shiry Ghidary:
    Integrated PSO and line based representation approach for SLAM. 1382-1388

Artificial intelligence & agents, information systems, and software development: Software engineering track

• 
  • 
  • 
  • 
  • 
    Xiang Chen, Lijiu Zhang, Qing Gu, Haigang Zhao, Ziyuan Wang, Xiaobing Sun, Daoxu Chen:
    A test suite reduction approach based on pairwise interaction of requirements. 1390-1397
• 
  • 
  • 
  • 
  • 
    Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund:
    An empirical study on the usage of testability information to fault localization in software. 1398-1403
• 
  • 
  • 
  • 
  • 
    Kai Yu, Mengxiang Lin, Qing Gao, Hui Zhang, Xiangyu Zhang:
    Locating faults using multiple spectra-specific models. 1404-1410
• 
  • 
  • 
  • 
  • 
    Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden:
    IMPULSE: a design framework for multi-agent systems based on model transformation. 1411-1418
• 
  • 
  • 
  • 
  • 
    Djuradj Babich, Peter J. Clarke, James F. Power, B. M. Golam Kibria:
    Using a class abstraction technique to predict faults in OO classes: a case study through six releases of the Eclipse JDT. 1419-1424
• 
  • 
  • 
  • 
  • 
    Daniel Woodraska, Michael Sanford, Dianxiang Xu:
    Security mutation testing of the FileZilla FTP server. 1425-1430
• 
  • 
  • 
  • 
  • 
    Hanh Nhi Tran, Bernard Coulette, Tran Dan Thu, My Hang Vu:
    Automatic reuse of process patterns in process modeling. 1431-1438
• 
  • 
  • 
  • 
  • 
    Xiaobing Sun, Bixin Li, Sai Zhang, Chuanqi Tao, Xiang Chen, Wanzhi Wen:
    Using lattice of class and method dependence for change impact analysis of object oriented programs. 1439-1444
• 
  • 
  • 
  • 
  • 
    Laura Sánchez-González, Francisco Ruiz, Félix García, Jorge Cardoso:
    Towards thresholds of control flow complexity measures for BPMN models. 1445-1450
• 
  • 
  • 
  • 
  • 
    Dongjiang You, Zhenyu Chen, Baowen Xu, Bin Luo, Chen Zhang:
    An empirical study on the effectiveness of time-aware test case prioritization techniques. 1451-1456
• 
  • 
  • 
  • 
  • 
    Vidroha Debroy, W. Eric Wong:
    On the equivalence of certain fault localization techniques. 1457-1463
• 
  • 
  • 
  • 
  • 
    HyeonJeong Kim, Vidroha Debroy, Doo-Hwan Bae:
    Identifying properties of UML state machine diagrams that affect data and control dependence. 1464-1469
• 
  • 
  • 
  • 
  • 
    Jonathan Michaux, Xavier Blanc, Marc Shapiro, Pierre Sutra:
    A semantically rich approach for collaborative model edition. 1470-1475
• 
  • 
  • 
  • 
  • 
    Shuo Liu, Gang Quan, Shangping Ren:
    On-line scheduling of real-time services with profit and penalty. 1476-1481
• 
  • 
  • 
  • 
  • 
    Fei-Ching Kuo, Shuang Liu, Tsong Yueh Chen:
    Testing a binary space partitioning algorithm with metamorphic testing. 1482-1489

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Cuixiong Hu, Iulian Neamtiu:
    A GUI bug finding framework for Android applications. 1490-1491

Artificial intelligence & agents, information systems, and software development: Computer security track

• 
  • 
  • 
  • 
  • 
    Karsten Sohr, Tanveer Mustafa, Adrian Nowak:
    Software security aspects of Java-based mobile phones. 1494-1501
• 
  • 
  • 
  • 
  • 
    Jan Cederquist, Mohammad Torabi Dashti:
    Complexity of fairness constraints for the Dolev-Yao attacker model. 1502-1509
• 
  • 
  • 
  • 
  • 
    Madeline González Muñiz, Peeter Laud:
    On the (im)possibility of perennial message recognition protocols without public-key cryptography. 1510-1515
• 
  • 
  • 
  • 
  • 
    Orestis Kostakis, Joris Kinable, Hamed Mahmoudi, Kimmo Mustonen:
    Improved call graph comparison using simulated annealing. 1516-1523
• 
  • 
  • 
  • 
  • 
    Lei Lei Shi, David W. Chadwick:
    A controlled natural language interface for authoring access control policies. 1524-1530
• 
  • 
  • 
  • 
  • 
    Martin Johns, Bastian Braun, Michael Schrank, Joachim Posegga:
    Reliable protection against session fixation attacks. 1531-1537
• 
  • 
  • 
  • 
  • 
    Wei Wang, Xiangliang Zhang:
    High-speed web attack detection through extracting exemplars from HTTP traffic. 1538-1543
• 
  • 
  • 
  • 
  • 
    Hongxia Jin, Jeffrey B. Lotspiech:
    Efficient traitor tracing for clone attack in content protection. 1544-1549
• 
  • 
  • 
  • 
  • 
    Yan Zhu, Huaixi Wang, Zexing Hu, Gail-Joon Ahn, Hongxin Hu, Stephen S. Yau:
    Dynamic audit services for integrity verification of outsourced storages in clouds. 1550-1557

Artificial intelligence & agents, information systems, and software development: Service oriented architecture and programming track

• 
  • 
  • 
  • 
  • 
    Meriem Ouederni, Gwen Salaün, Ernesto Pimentel:
    Measuring the compatibility of service interaction protocols. 1560-1567
• 
  • 
  • 
  • 
  • 
    Florian Skopik, Daniel Schall, Harald Psaier, Schahram Dustdar:
    Adaptive provisioning of human expertise in service-oriented systems. 1568-1575
• 
  • 
  • 
  • 
  • 
    Marcelo Teixeira, Ricardo Massa Ferreira Lima, César A. L. de Oliveira, Paulo Romero Martins Maciel:
    Planning service agreements in soa-based systems through stochastic models. 1576-1581
• 
  • 
  • 
  • 
  • 
    Howard Foster, George Spanoudakis:
    Advanced service monitoring configurations with SLA decomposition and selection. 1582-1589
• 
  • 
  • 
  • 
  • 
    Waldemar Hummer, Philipp Leitner, Schahram Dustdar:
    WS-Aggregation: distributed aggregation of web services data. 1590-1597
• 
  • 
  • 
  • 
  • 
    Ivan Porres, Irum Rauf:
    Modeling behavioral RESTful web service interfaces in UML. 1598-1605
• 
  • 
  • 
  • 
  • 
    Bardia Mohabbati, Marek Hatala, Dragan Gasevic, Mohsen Asadi, Marko Boskovic:
    Development and configuration of service-oriented systems families. 1606-1613
• 
  • 
  • 
  • 
  • 
    Peep Küngas, Marlon Dumas:
    Configurable SOAP proxy cache for data provisioning web services. 1614-1621

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Bertrand Verlaine, Ivan Jureta, Stéphane Faulkner:
    Requirements engineering for services: an ontological framework. 1622-1623

Artificial intelligence & agents, information systems, and software development: Software verification and testing track

• 
  • 
  • 
  • 
  • 
    Jan Olaf Blech:
    Proving the security of ElGamal encryption via indistinguishability logic. 1625-1632
• 
  • 
  • 
  • 
  • 
    Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen:
    A dynamic constraint-based BMC strategy for generating counterexamples. 1633-1638
• 
  • 
  • 
  • 
  • 
    Cezary Kaliszyk, Christian Urban:
    Quotients revisited for Isabelle/HOL. 1639-1644
• 
  • 
  • 
  • 
  • 
    François Picalausa, Frédéric Servais, Esteban Zimányi:
    XEvolve: an XML schema evolution framework. 1645-1650
• 
  • 
  • 
  • 
  • 
    Amel Mammar, Marc Frappier, Fama Diagne:
    A proof-based approach to verifying reachability properties. 1651-1657
• 
  • 
  • 
  • 
  • 
    Ralph-Johan Back, Viorel Preoteasa:
    Semantics and proof rules of invariant based programs. 1658-1665
• 
  • 
  • 
  • 
  • 
    Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous:
    Application of partial-order methods for the verification of closed-loop SDL systems. 1666-1673

Artificial intelligence & agents, information systems, and software development: Semantic web and its application track

• 
  • 
  • 
  • 
  • 
    Francisco Echarte, José Javier Astrain, Alberto Córdoba, Jesús E. Villadangos, Aritz Labat:
    A method for the classification of folksonomy resources. 1675-1680
• 
  • 
  • 
  • 
  • 
    Jinghua Groppe, Sven Groppe:
    Parallelizing join computations of SPARQL queries for large semantic web databases. 1681-1686
• 
  • 
  • 
  • 
  • 
    Amal Zouaq, Dragan Gasevic, Marek Hatala:
    Ontologizing concept maps using graph theory. 1687-1692
• 
  • 
  • 
  • 
  • 
    Damir Vandic, Jan-Willem van Dam, Frederik Hogenboom, Flavius Frasincar:
    A semantic clustering-based approach for searching and browsing tag spaces. 1693-1699
• 
  • 
  • 
  • 
  • 
    Stefan Brüggemann, Hans-Jürgen Appelrath:
    Context-aware replacement operations for data cleaning. 1700-1704
• 
  • 
  • 
  • 
  • 
    Fu Zhang, Li Yan, Zong Min Ma, Jingwei Cheng:
    Knowledge representation and reasoning of XML with ontology. 1705-1710

Artificial intelligence & agents, information systems, and software development: Poster papers

• 
  • 
  • 
  • 
  • 
    Samira Sadaoui, Wei Jiang:
    An offer evaluation system based on buyers' interests. 1713-1714

Artificial intelligence & agents, information systems, and software development: Trust, reputation, evidence and other collaboration know-how track

• 
  • 
  • 
  • 
  • 
    Sujoy Ray, Mohammad Fahim Nizam, Swagata Das, Benjamin C. M. Fung:
    Verification of data pattern for interactive privacy preservation model. 1716-1723
• 
  • 
  • 
  • 
  • 
    Yusuke Yamamoto, Katsumi Tanaka:
    ImageAlert: credibility analysis of text-image pairs on the web. 1724-1731
• 
  • 
  • 
  • 
  • 
    Fenye Bao, Ing-Ray Chen, Moonjeong Chang, Jin-Hee Cho:
    Hierarchical trust management for wireless sensor networks and its application to trust-based routing. 1732-1738
• 
  • 
  • 
  • 
  • 
    Guido Schryen, Melanie Volkamer, Sebastian Ries, Sheikh Mahbub Habib:
    A formal approach towards measuring trust in distributed systems. 1739-1745