26. SAC 2011:
TaiChung,
Taiwan
William C. Chu, W. Eric Wong, Mathew J. Palakal, Chih-Cheng Hung (Eds.):
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
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
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
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
Applications,
distributed systems,
and engineering:
Poster papers
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, Luis 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
Applications,
distributed systems,
and engineering:
Document engineering track
Applications,
distributed systems,
and engineering:
Poster papers
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 S. 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 C. S. Cardoso:
On the elements of an enterprise: towards an ontology-based account.
323-330
Applications,
distributed systems,
and engineering:
Poster papers
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, Jae-Hong 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 Schmid, Wolfgang Schröder-Preikschat:
I4Copter: an adaptable and modular quadrotor platform.
380-386
- K. Y. 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
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
Applications,
distributed systems,
and engineering:
Applications,
distributed systems,
and engineering:
Mediation services in computing environments track
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, A. 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
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, JungYeop 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
Applications,
distributed systems,
and engineering:
Poster papers
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
Applications,
distributed systems,
and engineering:
Poster papers
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
Artificial intelligence & agents,
information systems,
and software development:
Computational intelligence and signal and image analysis track
Artificial intelligence & agents,
information systems,
and software development:
Poster papers
Artificial intelligence & agents,
information systems,
and software development:
Coordination models,
languages and applications track
Artificial intelligence & agents,
information systems,
and software development:
Poster papers
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
Artificial intelligence & agents,
information systems,
and software development:
Data streams track
Artificial intelligence & agents,
information systems,
and software development:
Poster papers
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
Artificial intelligence & agents,
information systems,
and software development:
Applications of evolutionary computing track
Artificial intelligence & agents,
information systems,
and software development:
Poster papers
Artificial intelligence & agents,
information systems,
and software development:
Geometric constraints and reasoning track
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
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, Araujo Gomes, Sávio Silveira de Queiroz:
Effects of scaffoldings on interactive diagram constructions in educational interface for elementary school teachers training.
1212-1213
Artificial intelligence & agents,
information systems,
and software development:
Multimedia and visualization track
- 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 Erick 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
Artificial intelligence & agents,
information systems,
and software development:
Poster papers
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
Artificial intelligence & agents,
information systems,
and software development:
Programming for separation of concerns track
Artificial intelligence & agents,
information systems,
and software development:
Poster papers
Artificial intelligence & agents,
information systems,
and software development:
Intelligent robotic systems track
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, DooHwan 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
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, Cesar A. L. 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
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, Z. M. Ma, Jingwei Cheng:
Knowledge representation and reasoning of XML with ontology.
1705-1710
Artificial intelligence & agents,
information systems,
and software development:
Poster papers
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
Last update Fri May 25 08:35:01 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
