24. SAC 2009: Honolulu, Hawaii, USA
Sung Y. Shin, Sascha Ossowski (Eds.): Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009. ACM 2009 ISBN 978-1-60558-166-8
Computer networks track
- Fatiha Zaïdi, Emmanuel Bayse, Ana R. Cavalli: Network protocol interoperability testing based on contextual signatures and passive testing. 2-7
- Juan Carlos García, Stefan Beyer, Pablo Galdámez: Cross-layer cooperation between membership estimation and routing. 8-15
- Edoardo Biagioni, Yingfei Dong, Wesley Peterson, Kazuo Sugihara: Practical distributed voter-verifiable secret ballot system. 16-21
- Piyush Harsh, Richard E. Newman: Using geo-spatial session tagging for smart multicast session discovery. 22-27
- Zhuhua Cai, Ruichuan Chen, Jianqiao Feng, Cong Tang, Zhong Chen, Jian-bin Hu: A holistic mechanism against file pollution in peer-to-peer networks. 28-34
- Daniel M. Batista, André C. Drummond, Nelson Luis Saldanha da Fonseca: Robust scheduler for grid networks. 35-39
- Etienne C. R. de Oliveira, Célio Vinicius N. de Albuquerque: NECTAR: a DTN routing protocol based on neighborhood contact history. 40-46
- Udaya Kiran Tupakula, Vijay Varadharajan, Srini Rao Pandalaneni: DoSTRACK: a system for defending against DoS attacks. 47-53
- Jianping He, Jiahai Yang, Changqing An, Xuenong Li: BPR: a bit-level packet recovery in wireless sensor networks. 59-65
- Virginia N. L. Franqueira, Raul H. C. Lopes, Pascal van Eck: Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients. 66-73
- Rafael P. Esteves, Antonio Jorge Gomes Abelém, Michael A. Stanton: Quality of service management in GMPLS-based grid OBS networks. 74-78
- Mei-Ling Chiang, Chun-Hung Wu, Yi-Jiun Liao, Yu-Fen Chen: New content-aware request distribution policies in web clusters providing multiple services. 79-83
Poster papers
- Cong Tang, Ruichuan Chen, Zhuhua Cai, Anmin Xie, Jian-bin Hu, Liyong Tang, Zhong Chen: Securing key issuing in peer-to-peer networks. 84-85
- Alexandre Passito, Edjair de Souza Mota, Edjard Mota: Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS. 86-87
- Cássio M. M. Pereira, César A. C. Teixeira, Daniel Corrêa Lobato, Maria da Graça Campos Pimentel: Preservation of ordering in a network of brokers. 88-89
Human-computer interaction track
- Jie Dai, Remo Mueller, Jacek Szymanski, Guo-Qiang Zhang: Towards "WYDIWYS" for MIMI using concept analysis. 91-97
- Farida Bouarab-Dahmani, Malik Si-Mohammed, Catherine Comparot, Pierre-Jean Charrel: Learners automated evaluation with the ODALA approach. 98-103
- Patrícia Augustin Jaques, Matheus Lehmann, Sylvie Pesty: Evaluating the affective tactics of an emotional pedagogical agent. 104-109
- Lorena Lira de Menezes, Mariana Romão do Nascimento, José Eustáquio Rangel de Queiroz, Joseana M. Fechine: Expert system for supporting conformity inspections of software application interfaces to the ISO 9241. 110-115
- Américo Talarico Neto, Thiago J. Bittar, Renata Pontin de Mattos Fortes, Kátia Felizardo: Developing and evaluating web multimodal interfaces - a case study with usability principles. 116-120
- João Carlos Silva, João Saraiva, José Creissac Campos: A generic library for GUI reasoning and testing. 121-128
- Sabina Jeschke, Olivier Pfeiffer, Helmut Vieritz: Using web accessibility patterns for web application development. 129-135
- Yohei Tokoro, Tsutomu Terada, Masahiko Tsukamoto: A pointing method using two accelerometers for wearable computing. 136-141
- Carol Heins Gonzales, Gondy Leroy, Gianluca De Leo: Requirements engineering using appreciative inquiry for an online community of caregivers of children with autism. 142-146
- Rui Lopes, Konstantinos Votis, Luís Carriço, Dimitrios Tzovaras, Spiridon D. Likothanassis: Towards the universal semantic assessment of accessibility. 147-151
Poster papers
- Ana Luiza Dias, Júnia Coutinho Anacleto Silva, Luciana Martha Silveira, Rosângela Dellosso Penteado: Formalizing motivational patterns based on colors and their cultural meanings for developing web applications. 152-153
- Masakatsu Miyamoto, Tsutomu Terada, Masahiko Tsukamoto: Design and implementation on a pie menu interface for analog joysticks. 154-155
- Inês Oliveira, Rui Lopes, Nuno Guimarães: Development of a biosignals framework for usability analysis. 156-157
- Francisco Gomes de Oliveira Neto, Joseana M. Fechine, Roberta Ribeiro G. Pereira: MATRACA: a tool to provide support for people with impaired vision when using the computer for simple tasks. 158-159
Mobile computing and applications track
- Wendel Bezerra Silva, Maria Andréia Formico Rodrigues: A lightweight 3D visualization and navigation system on handheld devices. 162-166
- Lorena F. Maia, Danilo F. S. Santos, Ricardo S. Souza, Angelo Perkusich, Hyggo Oliveira de Almeida: Seamless access of home theater personal computers for mobile devices. 167-171
- Marion G. Ceruti, Vincent Vinh Dinh, Nghia Xuan Tran, Hoa Van Phan, LorRaine Duffy, Tu-Anh Ton, Guy Leonard, Emily W. Medina, Omar Amezcua, Sunny Fugate, Gary J. Rogers, Robert Luna, Jeffrey Ellen: Wireless communication glove apparatus for motion tracking, gesture recognition, data transmission, and reception in extreme environments. 172-176
- Tommi Mikkonen, Antero Taivalsaari: Creating a mobile web application platform: the lively kernel experiences. 177-184
- Gustavo Medeiros Araújo, Frank Siqueira: The device service bus: a solution for embedded device integration through web services. 185-189
- Kohei Tanaka, Yasue Kishino, Tsutomu Terada, Shojiro Nishio: A destination prediction method using driving contexts and trajectory for car navigation systems. 190-195
- Hyelim Park, Myungchul Kim, Sooyong Lee, Sungwon Kang, Yongho Kim: A mobility management scheme using SCTP-SIP for real-time services across heterogeneous networks. 196-200
- Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca: A passive conformance testing approach for a MANET routing protocol. 207-211
- Natallia Kokash, Roberto Speicys Cardoso, Pierre-Guillaume Raverdy, Valérie Issarny: A flexible QoS-aware routing protocol for infrastructure-less B3G networks. 212-216
Poster papers
- Jiang Yu Zheng: Scene map on wireless mobile platform. 217-218
- Mehrab Monjur, Sheikh Iqbal Ahamed: Towards a landmark influence framework to protect location privacy. 219-220
- Vando de Freitas Batista, Nelson Souto Rosa: High-level specification of a middleware framework for mobile ad hoc networks: spontaneousware case. 221-222
Organizational engineering track
- Peter Rittgen: Collaborative modeling of business processes: a comparative case study. 225-230
- Kai M. Hüner, Martin Ofner, Boris Otto: Towards a maturity model for corporate data quality management. 231-238
- Diana Heckl, Jürgen Moormann: Operational control of service processes: modularization as precondition. 239-244
- Martin Op't Land, Hans Zwitzer, Paul Ensink, Quentin Lebel: Towards a fast enterprise ontology based method for post merger integration. 245-252
- Artur Caetano, António Rito Silva, José M. Tribolet: A role-based enterprise architecture framework. 253-258
- Jay Ramanathan, Rajiv Ramnath, Randall Glassgow: The people, the process or the technology?: Using the ACE framework to make tradeoffs in service delivery improvement. 259-264
- Joe Bolinger, Greg Horvath, Jay Ramanathan, Rajiv Ramnath: Collaborative workflow assistant for organizational effectiveness. 273-280
Poster papers
- Rafael Paim, Vanessa Tavares Nunes, Bruno Pinho, Flávia Maria Santoro, Claudia Cappelli, Fernanda Araujo Baião: Structuring a process management center of excellence. 281-282
- Viara Popova, Alexei Sharpanskykh: Constraint-based modelling and analysis of organisations. 283-284
- Wilco Engelsman, Maria-Eugenia Iacob, Henry M. Franken: Architecture-driven requirements engineering. 285-286
Operating systems track
- Bongjae Kim, Sangho Yi, Yookun Cho, Jiman Hong: Impact of function inlining on resource-constrained embedded systems. 287-292
- Tomohiro Katori, Lei Sun, Dennis K. Nilsson, Tatsuo Nakajima: Building a self-healing embedded system in a multi-OS environment. 293-298
- Xiaojun Ruan, Adam Manzanares, Kiranmai Bellam, Xiao Qin, Ziliang Zong: DARAW: a new write buffer to improve parallel I/O energy-efficiency. 299-304
- Junghoon Lee, Gyung-Leen Park, Shafqat-ur Rehman: A real-time message scheduler support for dual-sink mobile ad-hoc sensor networks. 305-309
- Hideki Eiraku, Yasushi Shinjo, Calton Pu, Younggyun Koh, Kazuhiko Kato: Fast networking with socket-outsourcing in hosted virtual machine environments. 310-317
- Jongmin Lee, Eujoon Byun, Hanmook Park, Jongmoo Choi, Donghee Lee, Sam H. Noh: CPS-SIM: configurable and accurate clock precision solid state drive simulator. 318-325
- Toshihiro Yokoyama, Miyuki Hanaoka, Makoto Shimamura, Kenji Kono: Simplifying security policy descriptions for internet servers in secure operating systems. 326-333
- Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen: Response time analysis of software transactional memory-based distributed real-time systems. 334-338
Poster papers
- Sangho Yi, Hong Min, Yookun Cho, Yeongkwun Kim, Injoo Jeong: Arbiter-Recall: a new function update scheme by arbitration between a remote call and a dynamic update for wireless sensor networks. 339-340
- Hyungsoo Jung, Hyuck Han, Shin Gyu Kim, Heon Young Yeom: A practical evaluation of large-memory data processing on a reliable remote memory system. 343-344
Requirement engineering track
- Haihua Xie, Lin Liu, Jingwei Yang: i*-prefer: optimizing requirements elicitation process based on actor preferences. 347-354
- Travis D. Breaux, Jonathan D. Lewis, Paul N. Otto, Annie I. Antón: Identifying vulnerabilities and critical requirements using criminal court proceedings. 355-359
- Kristina Winbladh, Hadar Ziv, Debra J. Richardson: Eliciting required characteristics for usable requirements engineering approaches. 360-364
- Ken Decreus, Geert Poels: Mapping semantically enriched Formal Tropos to business process models. 371-376
- Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo: Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. 377-381
- An Agent, Goal-Oriented Approach: Extending Problem Frames to deal with stakeholder problems. 389-394
Poster papers
- Ing Widya, Bert-Jan van Beijnum, Richard Bults, V. M. Jones, Hermie Hermens, Leif Sandsjö, Leendert Schaake, M. H. A. Huis in't Veld: Early phase requirements assessment of a teletreatment trial. 395-396
- Karen Smiley, Qingfeng He, Elizabeth Kielczewski, Aldo Dagnino: Architectural requirements prioritization and analysis applied to software technology evaluation. 397-398
- Shunichi Suzuki, Akira Osada, Tomonori Sato, Haruhiko Kaiya, Masaaki Tanigawa, Kenji Kaijiri: A systematic method for generating quality requirements spectrum. 399-400
- Christoph Becker, Andreas Rauber: Requirements modelling and evaluation for digital preservation: a COTS selection method based on controlled experimentation. 401-402
Software engineering track
- Néstor Cataño, Tim Wahls: Executing JML specifications of Java card applications: a case study. 404-408
- Rui Abreu, Wolfgang Mayer, Markus Stumptner, Arjan J. C. van Gemund: Refining spectrum-based fault localization rankings. 409-414
- Shaoying Liu, Tetsuo Tamai, Shin Nakajima: Integration of formal specification, review, and testing for software component quality assurance. 415-421
- Tsong Yueh Chen, Dehao Huang, Fei-Ching Kuo, Robert G. Merkel, Johannes Mayer: Enhanced lattice-based adaptive random testing. 422-429
- Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu: Modeling and integrating aspects with UML activity diagrams. 430-437
- Johannes Bohnet, Stefan Voigt, Jürgen Döllner: Projecting code changes onto execution traces to support localization of recently introduced bugs. 438-442
- Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Nien-Lin Hsueh, Chorng-Shiuh Koong: A case study of pattern-based software framework to improve the quality of software development. 443-447
- Mariano Ceccato, Paolo Tonella, Mila Dalla Preda, Anirban Majumdar: Remote software protection by orthogonal client replacement. 448-455
- Flávia Coimbra Delicato, Isanio L. Araujo Santos, Paulo F. Pires, Ana Liz S. Oliveira, Thaís Vasconcelos Batista, Luci Pirmez: Using aspects and dynamic composition to provide context-aware adaptation for mobile applications. 456-460
- Adam M. Smith, Gregory M. Kapfhammer: An empirical study of incorporating cost into test suite reduction and prioritization. 461-467
- Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano: Towards a compositional approach to model transformation for software development. 468-475
- Otávio Augusto Lazzarini Lemos, Sushil Krishna Bajracharya, Joel Ossher, Paulo Cesar Masiero, Cristina Videira Lopes: Applying test-driven code search to the reuse of auxiliary functionality. 476-482
- Sarthak Grover, Nigamanth Sridhar: GenQA: automated addition of architectural quality attribute support for Java software? 483-487
- Mikael Lindvall, Raimund L. Feldmann, George Karabatis, Zhiyuan Chen, Vandana Pursnani Janeja: Searching for relevant software change artifacts using semantic networks. 496-500
- Tomás Bures, Petr Hnetynka, Michal Malohlava: Using a product line for creating component systems. 501-508
- Francisco J. Pino, Félix García, Mario Piattini: Key processes to start software process improvement in small companies. 509-516
- Haklin Kimm, Sung Y. Shin, Ho-sang Ham, Chang Oan Sung: Failure management development for integrated automotive safety-critical software systems. 517-521
- Baris Aktemur, Sam Kamin: A comparative study of techniques to write customizable libraries. 522-529
- Misook Choi, Injoo J. Kim, Jiman Hong, Jungyeop Kim: Component-based metrics applying the strength of dependency between classes. 530-536
Poster papers
- Norman F. Schneidewind, Mike Hinchey: A consumer/producer approach to risk-driven software reliability and testing. 537-538
- Rubén Mondéjar, Pedro García López, Carles Pairot, Pascal Urso, Pascal Molli: Designing a distributed AOP runtime composition model. 539-540
- Hector Miguel Chavez, Wuwei Shen, Shaoying Liu: An approach to detection of UML-based ownership violation. 541-542
- Eunjee Song, Hanil Kim, Wuliang Sun: A property-based verification approach in aspect-oriented modeling. 545-546
- Chorng-Shiuh Koong, Ching-Meng Lee, Deng-Jyi Chen, Chih-Hung Chang, Chihhsiong Shih: The visual authoring tool of flash-based component for interactive item template. 547-548
- Chunying Zhao, Kang Zhang, Yu Lei: Abstraction of multiple executions of object-oriented programs. 549-550
Software verification and testing track
- Sheng Huang, Yang Chen, Jun Zhu, Zhong Jie Li, Huafang Tan: An optimized change-driven regression testing selection strategy for binary Java applications. 558-565
- Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich: The synergy of precise and fast abstractions for program verification. 566-573
- Fernando R. C. Silva, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira: An approach for component testing and its empirical validation. 574-581
- Sergio Giro, Pedro R. D'Argenio: On the verification of probabilistic I/O automata with unspecified rates. 582-586
- Clément Hurlin: Specifying and checking protocols of multithreaded classes. 587-592
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Enforcement monitoring wrt. the safety-progress classification of properties. 593-600
- Iman Narasamdya, Michaël Périn: Certification of smart-card applications in common criteria. 601-608
- Perry R. James, Patrice Chalin: Extended static checking in JML4: benefits of multiple-prover support. 609-614
- K. Rustan M. Leino, Rosemary Monahan: Reasoning about comprehensions with first-order SMT solvers. 615-622
Web technologies track
- Mauricio Chui Rodrigues, Simon Malkowski, João Eduardo Ferreira: Implementing rigorous web services with process algebra: navigation plan for web services. 625-631
- Janne Kuuskeri, Tommi Mikkonen: Partitioning web applications between the server and the client. 647-652
- Mikko Pohja: Server push with instant messaging. 653-658
- Diogo Santana Martins, Mauro Biajiz, Antônio Francisco do Prado, Wanderley Lopes de Souza: Implicit relevance feedback for context-aware information retrieval in UbiLearning environments. 659-663
- Luiz Alexandre Hiane da Silva Maciel, Celso Massaki Hirata: An optimistic technique for transactions control using REST architectural style. 664-669
- Kay-Uwe Schmidt, Tobias Sarnow, Ljiljana Stojanovic: Socially filtered web search: an approach using social bookmarking tags to personalize web search. 670-674
- Cássio V. S. Prazeres, César A. C. Teixeira, Ethan V. Munson, Maria da Graça Campos Pimentel: Semantic web services: from OWL-S via UML to MVC applications. 675-680
- Angelo Di Iorio, Davide Rossi, Fabio Vitali, Stefano Zacchiroli: Where are your manners?: Sharing best community practices in the web 2.0. 681-687
Poster papers
- Shinobu Izumi, Toshihiro Uchibayashi, Takaichi Yoshida: Designing of a system model for web 3D disabled access GIS on web 2.0. 688-689
- Cristiano Maciel, Vinícius Carvalho Pereira, Licinio Roque, Ana Cristina Bicharra Garcia: Identifying discourse mistakes in web debates: moderation in the DCC. 690-691
- Reginaldo Mendes, Paulo F. Pires, Flávia Coimbra Delicato, Thaís Vasconcelos Batista: WebFlowAH: an environment for ad-hoc specification and execution of web services-based processes. 692-693
- Ivo Calado, Heitor Barros, Ig Ibert Bittencourt: An approach for semantic web services automatic discovery and composition with similarity metrics. 694-695
Agent-oriented software engineering methodologies and systems track
- Ambra Molesini, Enrico Denti, Elena Nardini, Andrea Omicini: Situated process engineering for integrating processes from methodologies to infrastructures. 699-706
- Juan C. García-Ojeda, Scott A. DeLoach, Robby: agentTool process editor: supporting the design of tailored agent-based processes. 707-714
- Massimo Cossentino, Luca Sabatucci, Valeria Seidita: A collaborative tool for designing and enacting design processes. 715-721
- Mauro Dragone, David Lillis, Rem W. Collier, Gregory M. P. O'Hare: SoSAA: a framework for integrating components & agents. 722-728
Poster papers
- Ingrid Nunes, Uirá Kulesza, Camila Nunes, Elder Cirilo, Carlos José Pereira de Lucena: Extending PASSI to model multi-agent systems product lines. 729-730
- Elder Cirilo, Ingrid Nunes, Uirá Kulesza, Camila Nunes, Carlos José Pereira de Lucena: Automatic product derivation of multi-agent systems product lines. 731-732
Agreement technologies track
- Jordi Campos Miralles, Maite López-Sánchez, Marc Esteva: Multi-agent system adaptation in a peer-to-peer scenario. 735-739
- Roberto Centeno, Holger Billhardt, Ramón Hermoso, Sascha Ossowski: Organising MAS: a formal model based on organisational mechanisms. 740-746
- Javier Palanca Cámara, Vicente J. Botti, Ana García-Fornes: Towards organizational agent-oriented operating systems. 752-756
Bioinformatics track
- Paola Lecca, Alida Palmisano, Corrado Priami, G. Sanguinetti: A new probabilistic generative model of parameter inference in biochemical networks. 758-765
- Bhanu Rekapalli, Christian Halloy, Igor B. Zhulin: HSP-HMMER: a tool for protein domain identification on a large scale. 766-770
- Francesca Cordero, Alessia Visconti, Marco Botta: A new protein motif extraction framework based on constrained co-clustering. 776-781
- Nicolay Postarnakevich, Rahul Singh: Global-to-local representation and visualization of molecular surfaces using deformable models. 782-787
- Chihyun Park, Youngmi Yoon, Jaegyoon Ahn, Myungjin Moon, Sanghyun Park: A novel approach to detect copy number variation using segmentation and genetic algorithm. 788-792
- Kevin Kontos, Gianluca Bontempi: An improved shrinkage estimator to infer regulatory networks with Gaussian graphical models. 793-798
- Akther Shermin, Mehmet A. Orgun: Using dynamic bayesian networks to infer gene regulatory networks from expression profiles. 799-803
Poster papers
- Carlile Lavor, Leo Liberti, Antonio Mucherino, Nelson Maculan: On a discretizable subclass of instances of the molecular distance geometry problem. 804-805
- Catia Pesquita, Daniel Faria, Francisco M. Couto: Measuring coherence between electronic and manual annotations in biological databases. 806-807
- Ján Manuch, Ladislav Stacho, Christine Stoll: Two lower bounds for self-assemblies at temperature 1. 808-809
Computer application in health care track
- Luciano Vieira de Araújo, Sabri S. Sanabani, Ester C. Sabino, João Eduardo Ferreira: HIVSetSubtype: software for subtype classification of HIV-1 sequences. 811-815
- Bernardo Gonçalves, Veruska Zamborlini, Giancarlo Guizzardi, José Gonçalves Pereira Filho: An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web. 816-820
- Cléber Gimenez Corrêa, Fátima L. S. Nunes, Adriano Bezerra, Paulo M. Carvalho Jr.: Evaluation of VR medical training applications under the focus of professionals of the health area. 821-825
- Adebayo Olowoyeye, Mihran Tuceryan, Shiaofen Fang: Medical volume segmentation using bank of Gabor filters. 826-829
- Yan Zhang, Peter J. Passmore, Richard H. Bayford: Task based visualization of 5D brain EIT data. 831-835
- Fabrício Pretto, Isabel Harb Manssour, Maria H. Itaqui Lopes, Emerson Rodrigues da Silva, Márcio Sarroglia Pinho: Augmented reality environment for life support training. 836-841
- Florian F. Schmitzberger, Justus E. Roos, Sandy Napel, Geoffrey D. Rubin, David S. Paik: Thin client architecture in support of remote radiology learning. 842-846
- Sofia J. Athenikos, Hyoil Han, Ari D. Brooks: A framework of a logic-based question-answering system for the medical domain (LOQAS-Med). 847-851
- Shiaofen Fang, Ying Liu, Jeffrey Huang, Sophia Vinci-Booher, Bruce Anthony, Feng Zhou: Facial image classification of mouse embryos for the animal model study of fetal alcohol syndrome. 852-856
Poster papers
- Thomas Neubauer, Andreas Ekelhart: An evaluation of technologies for the pseudonymization of medical data. 857-858
- Mohamad El Habbal, Maya El Moghrabi, Omar Monajjed, Ayman I. Kayssi: Automated device for determination of skin lesion regions. 859-860
Computer forensics track
- Chang-Keon Ryu, Hyong-Jun Kim, Hwan-Gue Cho: A detecting and tracing algorithm for unauthorized internet-news plagiarism using spatio-temporal document evolution model. 863-868
- Alana Platt, Saket S. R. Mengle, Nazli Goharian: Improving classification based off-topic search detection via category relationships. 869-874
- Bruno W. P. Hoelz, Célia Ghedini Ralha, Rajiv Geeverghese: Artificial intelligence applied to computer forensics. 883-888
Poster papers
- Chun Wei, Alan Sprague, Gary Warner: Clustering malware-generated spam emails with a novel fuzzy string matching algorithm. 889-890
- Chengcui Zhang, Wei-bang Chen, Xin Chen, Gary Warner: Revealing common sources of image spam by unsupervised clustering with visual features. 891-892
- Marlos A. O. Marques, Cinthia O. A. Freitas: Reconstructing strip-shredded documents using color as feature matching. 893-894
- Damir Kahvedzic, M. Tahar Kechadi: On the persistence of deleted windows registry data structures. 895-896
Computational intelligence and image analysis track
- Khalil Djelloul: From exponential to almost linear decomposability of finite or infinite trees. 897-902
- Glenn Flora, Mihran Tuceryan, Herbert Blitzer: Forensic bite mark identification using image processing methods. 903-907
- Jana Stanclová: On the complexity of hierarchical associative memories. 908-913
- Hong Liu, Siguang Dai, Enmin Song, Cihui Yang, Chih-Cheng Hung: A new K-View algorithm for texture image classification using rotation-invariant feature. 914-921
- Dario Landa Silva, Fathima Marikar, Khoi Le: Heuristic approach for automated shelf space allocation. 922-928
- Changming Xu, Z. M. Ma, Xinhe Xu: A method to construct knowledge table-base in k-in-a-row games. 929-933
- Ana Luísa Dine Martins, Murillo R. P. Homem, Nelson D. A. Mascarenhas: Super-resolution image reconstruction using the generalized isotropic multi-level logistic model. 934-938
Poster papers
- Amirali Jazayeri, Hongyuan Cai, Jiang Yu Zheng, Mihran Tuceryan, Herbert Blitzer: An intelligent video system for vehicle localization and tracking in police cars. 939-940
- Dongshan Huang, Enmin Song, Guangzhi Ma, Huirong Zhan, Chih-Cheng Hung: A new cross-training approach by using labeled data. 941-942
- Xiaoying Sha, Xiaobai Liu, Jianting Wen: Foreground classification using active template in the scene context for visual surveillance. 943-944
- Jae-Ho Lee, Min-Hee Jang, Du-Yeol Kim, Sang-Wook Kim, Min-Ho Kim, Jin-Sung Choi: Shader space navigator: a turbo for an intuitive and effective shading process. 945-946
Computational sciences track
- Christof Vömel, Stanimire Tomov, Osni Marques: Bulk based preconditioning for quantum dot computations. 961-965
- Chuan-Ju Wang, Tian-Shyr Dai, Yuh-Dauh Lyuu, Yen-Chun Liu: An efficient and accurate lattice for pricing derivatives under a jump-diffusion process. 966-970
- H. Martin Bücker, Arno Rasch, Volker Rath, Andreas Wolf: Semi-automatic parallelization of direct and inverse problems for geothermal simulation. 971-975
- John C. Linford, Adrian Sandu: Vector stream processing for effective application of heterogeneous parallelism. 976-980
- Amrita Mathuriya, David A. Bader, Christine E. Heitsch, Stephen C. Harvey: GTfold: a scalable multicore code for RNA secondary structure prediction. 981-988
- Ioana Cipcigan, Muruhan Rathinam: Interlaced Euler scheme for stiff systems of stochastic differential equations. 989-994
- Pilsung Kang, Yang Cao, Naren Ramakrishnan, Calvin J. Ribbens, Srinidhi Varadarajan: Modular implementation of adaptive decisions in stochastic simulations. 995-1001
- Wolfgang Bangerth, Amit Joshi: Adaptive finite element methods for nonlinear inverse problems. 1002-1006
Poster papers
- Hao Wang, Vladimir D. Tonchev: An algorithm for optimal comma free codes with isomorphism rejection. 1007-1008
- Nima Namaki, Andreas de Blanche, Stefan Mankefors-Christiernin: Exhaustion dominated performance: a first attempt. 1011-1012
Dependable and adaptive distributed systems track
- Nianen Chen, Shangping Ren: Adaptive optimal checkpoint interval and its impact on system's overall quality in soft real-time applications. 1015-1020
- Romain Rouvoy, Frank Eliassen, Mikaël Beauvois: Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services. 1021-1028
- Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter: Formalizing the notion of adaptive system behavior. 1029-1033
- Vinicius Petrucci, Orlando Loques, Daniel Mossé: A framework for dynamic adaptation of power-aware server clusters. 1034-1039
- Mohammad Gias Uddin, Mohammad Zulkernine: ATM: an automatic trust monitoring algorithm for service software. 1040-1044
- Haifeng Chen, Guofei Jiang, Hui Zhang, Kenji Yoshihira: Boosting the performance of computing systems through adaptive configuration tuning. 1045-1049
- Ke Liang, Xingshe Zhou, Ruiqing Sheng, Kailong Zhang: Adaptive resource management architecture for distributed real-time embedded systems. 1050-1055
- Md. Endadul Hoque, Farzana Rahman, Sheikh Iqbal Ahamed: Supporting recovery, privacy and security in RFID systems using a robust authentication protocol. 1062-1066
- Raphael Y. de Camargo, Fernando Castor Filho, Fabio Kon: Efficient maintenance of distributed data in highly dynamic opportunistic grids. 1067-1071
Poster papers
- Min Liu, Dianfu Ma, Yongwang Zhao: An approach to identifying conversation dependency in service oriented system during dynamic evolution. 1072-1073
Applications of evolutionary computation track
- Ya Gao, Guangquan Zhang, Jie Lu: A particle swarm optimization based algorithm for fuzzy bilevel decision making with constraints-shared followers. 1075-1079
- Haifeng Chen, Guofei Jiang: A gradient oriented recombination scheme for evolution strategies. 1080-1084
- Márcio P. Basgalupp, Rodrigo C. Barros, André Carlos Ponce Leon Ferreira de Carvalho, Alex Alves Freitas, Duncan D. Ruiz: LEGAL-tree: a lexicographic multi-objective genetic algorithm for decision tree induction. 1085-1090
- Azin Moallem, Simone A. Ludwig: Using artificial life techniques for distributed grid job scheduling. 1091-1097
- Kiyeok Park, Taejin Park, Kwang Ryel Ryu: Planning for remarshaling in an automated container terminal using cooperative coevolutionary algorithms. 1098-1105
Poster papers
- Tezuka Masaru, Munakata Satoshi: Daily demand forecasting of new products utilizing diffusion models and genetic algorithms. 1106-1107
Geometric constraints and reasoning track
- Nicolas Magaud, Julien Narboux, Pascal Schreck: Formalizing Desargues' theorem in Coq using ranks. 1110-1115
- Heping Gao, Meera Sitharam: Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces. 1122-1126
- Kirk Haller, Audrey Lee-St. John, Meera Sitharam, Ileana Streinu, Neil White: Body-and-cad geometric constraint systems. 1127-1131
Poster papers
- Jin-San Cheng, Xiao-Shan Gao, Jia Li: Topology determination and isolation for implicit plane curves. 1140-1141
- Markus Färber, Beat Brüderlin: Multivariate root finding with search space decomposition and randomisation. 1142-1143
Intelligent robotic systems track
- Christopher A. Brooks, Karl Iagnemma: Visual detection of novel terrain via two-class classification. 1145-1150
- Thomas Müller, Alois Knoll: Attention driven visual processing for an interactive dialog robot. 1151-1155
- Milton Roberto Heinen, Paulo Martins Engel: Evaluation of visual attention models under 2D similarity transformations. 1156-1160
- Milton Roberto Heinen, Fernando Santos Osório: Evolving morphologies and gaits of physically realistic simulated robots. 1161-1165
- Hannah Hoersting, Lesia Bilitchenko, Zachary Dodds: Visual loop-closing with image profiles. 1166-1170
- Stelios Timotheou, Georgios Loukas: Autonomous networked robots for the establishment of wireless communication in uncertain emergency response scenarios. 1171-1175
- Evan Drumwright, Dylan A. Shell: A robust and tractable contact model for dynamic robotic simulation. 1176-1180
- Stephen Berard, Binh Nguyen, Jeffrey C. Trinkle: Sources of error in a rigid body simulation of rigid parts on a vibrating rigid plate. 1181-1185
Poster papers
- André Scolari Conceição, A. Paulo Moreira, J. Paulo Costa: A nonlinear mobile robot modeling applied to a model predictive controller. 1186-1187
Self-organization in pervasive distributed systems track
- Jose Luis Fernandez-Marquez, Josep Lluís Arcos: Keeping diversity when exploring dynamic environments. 1192-1196
- Jacob Beal: Flexible self-healing gradients. 1197-1201
- Gabriella Castelli, Ronaldo Menezes, Franco Zambonelli: Self-organized control of knowledge generation in pervasive computing systems. 1202-1208
- Gian Paolo Jesi, Edoardo Mollona, Srijith K. Nair, Maarten van Steen: Prestige-based peer sampling service: interdisciplinary approach to secure gossip. 1209-1213
- Neeraj Rajgure, Eric Platon, Cristian Borcea, Shinichi Honiden: Geographical data collection in sensor networks with self-organizing transaction cluster-heads. 1214-1218
Poster papers
- Francesco Aymerich, Gianni Fenu, Simone Surcis: A real time financial system based on grid and cloud computing. 1219-1220
- Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli: A biochemical metaphor for developing eternally adaptive service ecosystems. 1221-1222
- Holger Kasinger, Jörg Denzinger, Bernhard Bauer: Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals. 1223-1224
The semantic web and applications track
- Francisco Echarte, José Javier Astrain, Alberto Córdoba, Jesús E. Villadangos: Improving folksonomies quality by syntactic tag variations grouping. 1226-1230
- Jinghua Groppe, Sven Groppe, Sebastian Ebers, Volker Linnemann: Efficient processing of SPARQL joins in memory by dynamically restricting triple patterns. 1231-1238
- Sven Groppe, Jana Neumann, Volker Linnemann: SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types. 1239-1246
- Lamia Abo Zaid, Frederic Kleinermann, Olga De Troyer: Applying semantic web technology to feature modeling. 1252-1256
- Sivaramakrishnan Narayanan, Ümit V. Çatalyürek, Tahsin M. Kurç, Joel H. Saltz: Parallel materialization of large ABoxes. 1257-1261
- Seongwook Youn, Dennis McLeod: Spam decisions on gray e-mail using personalized ontologies. 1262-1266
- Serge Boucher, Esteban Zimányi: Leveraging OWL for GIS interoperability: rewards and pitfalls. 1267-1272
Poster papers
- Samir Tartir, Bobby McKnight, Ismailcem Budak Arpinar: SemanticQA: web-based ontology-driven question answering. 1275-1276
Trust, reputation, evidence and other collaboration know-how track
- Ting-Chun Peng, Seng-cho Timothy Chou: iTrustU: a blog recommender system based on multi-faceted trust and collaborative filtering. 1278-1285
- Justin King, Kiran Lakkaraju, Adam J. Slagell: A taxonomy and adversarial model for attacks against network log anonymization. 1286-1293
- Sebastian Ries: Extending Bayesian trust models regarding context-dependence and user friendly representation. 1294-1301
- Trung Dong Huynh: A personalized framework for trust assessment. 1302-1307
- Yafei Yang, Yan Lindsay Sun, Steven Kay, Qing Yang: Defending online reputation systems against collaborative unfair raters through signal modeling and trust. 1308-1315
Poster papers
- Takuya Kobayashi, Hiroaki Ohshima, Satoshi Oyama, Katsumi Tanaka: Modeling and analyzing review information on the web focusing on credibility. 1316-1317
Advances in spatial and image-based information systems track
- Marta Fort, Joan Antoni Sellarès: GPU-based computation of distance functions on road networks with applications. 1320-1324
- Hye-Young Kang, Joon-Seok Kim, Ki-Joune Li: Similarity measures for trajectory of moving objects in cellular space. 1325-1330
- Micheal Baechler, Jean-Luc Bloechle, Jean Hennebert: Labeled images verification using Gaussian mixture models. 1331-1335
- Thiago Luís Lopes Siqueira, Ricardo Rodrigues Ciferri, Valéria Cesário Times, Cristina Dutra de Aguiar Ciferri: A spatial bitmap-based index for geographical data warehouses. 1336-1342
Coordination models, languages and applications track
- Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella: On-line adaptation of sequential mobile processes running concurrently. 1345-1352
- Mirko Viroli, Matteo Casadei, Andrea Omicini: A framework for modelling and implementing self-organising coordination. 1353-1360
- Martin Murth, eva Kühn: Knowledge-based coordination with a reliable semantic subscription mechanism. 1374-1380
Poster papers
- Natallia Kokash, Farhad Arbab: Applying Reo to service coordination in long-running business transactions. 1381-1382
Constraint solving and programming track
- Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni: Softening Gcc and Regular with preferences. 1392-1396
- Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: LS(graph & tree): a local search framework for constraint optimization on graphs and trees. 1402-1407
- Lukas Kroc, Ashish Sabharwal, Bart Selman: Message-passing and local heuristics as decimation strategies for satisfiability. 1408-1414
Poster papers
- Tian Yang, Zaifei Liao, Xinjie Lv, Hongan Wang: An approximate approach to constraint solving in soft sensing. 1415-1416
- Sebastian Brand: The sum-of-increments constraint in the consecutive-ones matrix decomposition problem. 1417-1418
Data mining track
- Carlos Castro-Herrera, Chuan Duan, Jane Cleland-Huang, Bamshad Mobasher: A recommender system for requirements elicitation in large-scale software projects. 1419-1426
- Luca Leonardi, Salvatore Orlando, Alessandra Raffaetà, Alessandro Roncato, Claudio Silvestri: Frequent spatio-temporal patterns in trajectory data warehouses. 1433-1440
- Samah Jamal Fodeh, William F. Punch, Pang-Ning Tan: Combining statistics and semantics via ensemble model for document clustering. 1446-1450
- Toon Calders, Christian W. Günther, Mykola Pechenizkiy, Anne Rozinat: Using minimum description length for process mining. 1451-1455
- Keith Henderson, Tina Eliassi-Rad: Applying latent dirichlet allocation to group discovery in large graphs. 1456-1461
- Zhipeng Xie: Improved AdaBoost.M1 of decision trees with confidence-rated predictions. 1462-1466
- Clifford Conley Owens III, T. M. Murali, Naren Ramakrishnan: Capturing truthiness: mining truth tables in binary datasets. 1467-1474
- Carina Lopes, Gerson Zaverucha: HTILDE: scaling up relational decision trees for very large databases. 1475-1479
- Youngho Kim, Yingshi Tian, Yoonjae Jeong, Jihee Ryu, Sung-Hyon Myaeng: Automatic discovery of technology trends from patent text. 1480-1487
Poster papers
- Xuequn Shang, Zhanhuai Li, Wei Li: Mining functional associated patterns from biological network data. 1488-1489
Data streams track
- João Gama, Pedro Pereira Rodrigues, Raquel Sebastião: Evaluating algorithms that learn from data streams. 1496-1500
- Gordon J. Ross, Dimitris K. Tasoulis, Niall M. Adams: Online annotation and prediction for regime switching data streams. 1501-1505
- Xiaomeng Wan, Evangelos E. Milios, Nauzer Kalyaniwalla, Jeannette Janssen: Link-based event detection in email communication networks. 1506-1510
- Marcel Karnstedt, Daniel Klan, Christian Pölitz, Kai-Uwe Sattler, Conny Franke: Adaptive burst detection in a stream engine. 1511-1515
Poster papers
- Li Ma, Xin Li, Yongyan Wang, Hongan Wang: Real-time scheduling for continuous queries with deadlines. 1516-1517
- Xinjie Lv, Tian Yang, Zaifei Liao, Manzoor Elahi, Wei Liu, Hongan Wang: Incremental outlier detection in data streams using local correlation integral. 1520-1521
Data theory, technology, and applications track
- Noureddine Abbadeni: Information retrieval from visual databases using multiple representations and multiple queries. 1523-1527
- Lingbo Kong, Rémi Gilleron, Aurélien Lemay: Retrieving valid matches for XML keyword search. 1536-1540
- Joubert de Castro Lima, Celso Massaki Hirata: Computing data cubes using exact sub-graph matching: the sequential MCG approach. 1541-1548
- Michael Henderson, Bryce Cutt, Ramon Lawrence: Exploiting join cardinality for faster hash joins. 1549-1554
- Hadj Mahboubi, Jérôme Darmont: Enhancing XML data warehouse query performance by fragmentation. 1555-1562
- Sang-Chul Lee, Sang-Wook Kim, Junghoon Lee, Jae Soo Yoo: Approximate indexing in road network databases. 1568-1572
- Sandra de Amo, Marcos Roberto Ribeiro: CPref-SQL: a query language supporting conditional preferences. 1573-1577
- Alain-Pierre Manine: Learning the ontological theory of an information extraction system in the multi-predicate ILP setting. 1578-1582
Poster papers
- Weihai Yu: Consistent and decentralized orchestration of BPEL processes. 1583-1584
Enterprise information systems track
- Sebastian Höhn: Model-based reasoning on the achievement of business goals. 1589-1593
- Arlindo L. Marcon Jr., Altair Olivo Santin, Luiz A. de Paula Lima Jr., Maicon Stihler: Policy management architecture based on provisioning model and authorization certificates. 1594-1598
- Silja Eckartz, Maya Daneva, Roel Wieringa, Jos van Hillegersberg: Cross-organizational ERP management: how to create a successful business case? 1599-1604
- Björn Johansson, Rogério Atem de Carvalho: Management of requirements in ERP development: a comparison between proprietary and open source ERP. 1605-1609
Poster papers
- Hayley Bakker, Maria-Eugenia Iacob: Web-services in the dutch healthcare insurance sector: expected versus achieved benefits. 1617-1618
Embedded systems track
- Zhanzhan Liu, Lihua Yue, Peng Wei, Peiquan Jin, Xiaoyan Xiang: An adaptive block-set based management for large-scale flash memory. 1621-1625
- Nalini Vasudevan, Stephen A. Edwards: Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore. 1626-1631
- Cássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha: Improving functional verification of embedded systems using hierarchical composition and set theory. 1632-1636
- Meikang Qiu, Hao Li, Edwin Hsing-Mean Sha: Heterogeneous real-time embedded software optimization considering hardware platform. 1637-1641
- Luís Tarrataca, André C. Santos, João M. P. Cardoso: The current feasibility of gesture recognition for a smartphone using J2ME. 1642-1649
- Clemens Moser, Jian-Jia Chen, Lothar Thiele: Optimal service level allocation in environmentally powered embedded systems. 1650-1657
- In Hwan Doh, Hyo J. Lee, Young Je Moon, Eunsam Kim, Jongmoo Choi, Donghee Lee, Sam H. Noh: Impact of NVRAM write cache for file system metadata on I/O performance in embedded systems. 1658-1663
- Soojun Im, Dongkun Shin: Storage architecture and software support for SLC/MLC combined flash memory. 1664-1669
- Ji Chan Maeng, Jung-Il Kwon, Min-Kyu Sin, Minsoo Ryu: RT-replayer: a record-replay architecture for embedded real-time software debugging. 1670-1675
- Siddharth Choudhuri, Tony Givargis: FlashBox: a system for logging non-deterministic events in deployed embedded systems. 1676-1682
Poster papers
- Ryozo Kiyohara, Satoshi Mii, Mitsuhiro Matsumoto, Masayuki Numao, Satoshi Kurihara: Method for fast compression of program codes for remote updates in embedded systems. 1683-1684
- Shouwen Lai, Binoy Ravindran, Hyeonjoong Cho: On scheduling soft real-time tasks with lock-free synchronization for embedded devices. 1685-1686
- Paolo Pagano, Mangesh Chitnis, Antonio Romano, Giuseppe Lipari, Ricardo Severino, Mário Alves, Paulo G. Sousa, Eduardo Tovar: ERIKA and open-ZB: an implementation for real-time wireless networking. 1687-1688
Information access and retrieval track
- Yoshinori Hijikata, Bui Quang Hung, Masanori Otsubo, Shogo Nishida: HITS algorithm improvement using anchor-related text extracted by DOM structure analysis. 1691-1698
- Tom Matthé, Guy De Tré: Bipolar query satisfaction using satisfaction and dissatisfaction degrees: bipolar satisfaction degrees. 1699-1703
- Guy De Tré, Jozo J. Dujmovic, Nico Van de Weghe, Tom Matthé, Niels Charlier: Heterogeneous bipolar criteria satisfaction handling in geographical decision support systems: an LSP based approach. 1704-1708
- Chi Shen, Mike Unuakhalu: A class of multistep sparse matrix strategies for concept decomposition matrix approximation. 1714-1718
- Alexander Höhfeld, Patrick Gratz, Angelo Beck, Jean Botev, Hermann Schloss, Ingo Scholtes: Self-organizing collaborative filtering in global-scale massive multi-user virtual environments. 1719-1723
- Mariam Daoud, Lynda Tamine-Lechani, Mohand Boughanem, Bilal Chebaro: A session based personalized search using an ontological user profile. 1732-1736
- Wai Gen Yee, Linh Thai Nguyen, Ophir Frieder: Alternatives to conjunctive query processing in peer-to-peer file-sharing systems. 1737-1741
- Shizhu Liu, Yuval Merhav, Wai Gen Yee, Nazli Goharian, Ophir Frieder: A sentence level probabilistic model for evolutionary theme pattern mining from news corpora. 1742-1747
Poster papers
- Patrick Bosc, Olivier Pivert, Olivier Soufflet: Stratified division queries involving ordinal user preferences. 1748-1749
- Tianjiang Wang, Gang Chen, Perfecto Herrera: Music retrieval based on a multi-samples selection strategy for support vector machine active learning. 1750-1751
- Chandan Kumar, Prasad Pingali, Vasudeva Varma: A light-weight summarizer based on language model with relative entropy. 1752-1753
- Seongwook Youn, Dennis McLeod: Improved spam filtering by extraction of information from text embedded image e-mail. 1754-1755