default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th SAC 2010: Sierre, Switzerland
- Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, Chih-Cheng Hung:
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010. ACM 2010, ISBN 978-1-60558-639-7
Document engineering track
- Emanuel Indermühle, Horst Bunke, Faisal Shafait, Thomas M. Breuel:
Text versus non-text distinction in online handwritten documents. 3-7 - Andreas Stoffel, David Spretke, Henrik Kinnemann, Daniel A. Keim:
Enhancing document structure analysis using visual analytics. 8-12 - Renato Bulcão Neto
, José Antonio Camacho Guerrero, Alvaro Barreiro, Javier Parapar, Alessandra A. Macedo:
An automatic linking service of document images reducing the effects of OCR errors with latent semantics. 13-17 - Sukalpa Chanda, Katrin Franke, Umapada Pal:
Structural handwritten and machine print classification for sparse content and arbitrary oriented document fragments. 18-22 - Partha Pratim Roy, Umapada Pal, Josep Lladós:
Seal object detection in document images using GHT of local component shapes. 23-27 - Loïc Lecerf, Boris Chidlovskii:
Scalable indexing for layout based document retrieval and ranking. 28-32 - Rafael Dueire Lins, Serene Banerjee, Marcelo Thielo:
Automatically detecting and classifying noises in document images. 33-39 - Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Exploring, visualizing and slicing the soul of XML documents. 40-46 - Dan J. Smith, Richard W. Harvey:
Document retrieval using image features. 47-51 - Israel Rios, Alceu de Souza Britto Jr., Alessandro L. Koerich, Luiz S. Oliveira:
Evaluation of different feature sets in an OCR free method for word spotting in printed documents. 52-56
Poster papers
- Boris Lesner, Romain Brixtel, Cyril Bazin, Guillaume Bagan:
A novel framework to detect source code plagiarism: now, students have to work for real! 57-58 - Ergina Kavallieratou:
Text line detection and segmentation: uneven skew angles and hill-and-dale writing. 59-60 - Rafael Dueire Lins, Daniel Marques de Oliveira, Gabriel Torreão, Jian Fan, Marcelo Thielo:
A dewarping algorithm to compensate volume binding distortion in scanned documents. 61-62
Enterprise engineering track
- Peter Rittgen:
Quality and perceived usefulness of process models. 65-72 - Biplav Srivastava, Pietro Mazzoleni:
An APQC-PCF based framework to compare service offerings in business transformation projects. 73-78 - Artur Caetano, António Rito Silva, José M. Tribolet:
A method for business process decomposition based on the separation of concerns principle. 79-85 - Teduh Dirgahayu, Dick A. C. Quartel, Marten van Sinderen:
Interaction refinement in the design of business collaborations. 86-93 - Yong-Hyuk Kim, Yourim Yoon:
New theoretical findings in multiple personalized recommendations. 94-98 - Tharaka Ilayperuma, Jelena Zdravkovic:
Exploring business value models from the inter-organizational collaboration perspective. 99-105 - Boris Otto, Andreas Reichert:
Organizing master data management: findings from an expert survey. 106-110 - Soonhwa Lee-Klenz, Pedro Sampaio, Trevor Wood-Harper:
A requirements elicitation framework and tool for sourcing business-IT aligned e-services. 111-117 - Gregor Scheithauer, Holger Kett, Joachim Kaiser, Susanne Hackner, Hao Hu, Guido Wirtz:
Business modeling for service engineering: a case study in the IT outsourcing domain. 118-123 - Paulo Sérgio Santos Jr., João Paulo A. Almeida, Giancarlo Guizzardi:
An ontology-based semantic foundation for ARIS EPCs. 124-130 - Jan Stefan Addicks, Hans-Jürgen Appelrath:
A method for application evaluations in context of enterprise architecture. 131-136 - Oliver Hummel, Christof Momm, Susan Hickl:
Towards quality-aware development and evolution of enterprise information systems. 137-144 - Bruno de Moura Araujo, Eber Assis Schmitz, Alexandre L. Correa, Antonio Juarez Alencar:
A method for validating the compliance of business processes to business rules. 145-149 - David Aveiro, António Rito Silva, José M. Tribolet:
Towards a GOD-theory for organizational engineering: continuously modeling the continuous (re)generation, operation and deletion of the enterprise. 150-157 - Lucas O. Meertens, Maria-Eugenia Iacob, Lambert J. M. Nieuwenhuis:
Goal and model driven design of an architecture for a care service platform. 158-164
Poster papers
- Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini:
On the use of patterns to recover business processes. 165-166 - Peter Bollen:
Fact-oriented declarative semantic enterprise modeling. 167-168 - Björn Johansson, Rogério Atem de Carvalho:
Software tools for requirements management in an ERP system context. 169-170
Operating systems track
- Keisuke Okamura, Yoshihiro Oyama:
Load-based covert channels between Xen virtual machines. 173-180 - Yuebin Bai, Cong Xu, Zhi Li:
Task-aware based co-scheduling for virtual machine system. 181-188 - Junghoon Lee, Gyung-Leen Park, Sang-Wook Kim, Hye-Jin Kim, Sung Y. Shin:
A hybrid prefetch policy for the retrieval of link-associated information on vehicular networks. 189-193 - Junyoung Heo, Boncheol Gu, Sang Il Eo, Pankoo Kim, Gwangil Jeon:
Energy efficient program updating for sensor nodes with flash memory. 194-200 - Shi-Wu Lo, Wei-shiuan Tsai, Jeng-gang Lin, Guan-shiung Cheng:
Swap-before-hibernate: a time efficient method to suspend an OS to a flash drive. 201-205 - Aditya Rajgarhia, Ashish Gehani:
Performance and extension of user space file systems. 206-213 - Yosuke Chubachi, Takahiro Shinagawa, Kazuhiko Kato:
Hypervisor-based prevention of persistent rootkits. 214-220 - Geunyoung Park, Seokhyun Kim, Yookun Cho, Joongjin Kook, Jiman Hong:
Chordet: an efficient and transparent replication for improving availability of peer-to-peer networked systems. 221-225 - Jing Chen, Hui-Ming Su, Chien-Fu Chou:
An aspect-oriented framework for operating system evolution. 226-230 - Jungwook Kim, Seong Tae Jhang, Chu Shik Jhon:
Dynamic register-renaming scheme for reducing power-density and temperature. 231-237
Poster papers
- Sangho Yi, Jung-Yeop Kim, Hong Min, Bongjae Kim, Chang Oan Sung:
ART: adaptive, reliable, and fault-tolerant task management for computational grids. 238-239 - Jinman Jung, Yookun Cho, Yeongkwun Kim, Yoojin Chung, Bongchan Gim, Jiyoung Kwak:
Virtual protocol stack interface for multiple wireless sensor network simulators. 240-241 - Youngjae Lee, Jin-Soo Kim, Seungryoul Maeng:
ReSSD: a software layer for resuscitating SSDs from poor small random write performance. 242-243
Power-aware design and optimization track
- Song Guo, Zhuzhong Qian, Sanglu Lu:
A general energy optimization model for wireless networks using configurable antennas. 246-250 - Shu Liu, Xu Cheng, Xuetao Guan, Dong Tong:
Energy efficient management scheme for heterogeneous secondary storage system in mobile computers. 251-257 - Yi-Hung Wei, Chuan-Yue Yang, Tei-Wei Kuo, Shih-Hao Hung, Yuan-Hua Chu:
Energy-efficient real-time scheduling of multimedia tasks on multi-core processors. 258-262
Poster papers
- Vinicius Petrucci, Orlando Loques, Daniel Mossé:
Dynamic optimization of power and performance for virtualized server clusters. 263-264
Requirement engineering track
- Richard Banach:
A deidealisation semantics for KAOS. 267-274 - Leandro Antonelli, Gustavo Rossi, Julio César Sampaio do Prado Leite:
Early identification of crosscutting concerns in the domain model guided by states. 275-280 - Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni:
An experience in using a tool for evaluating a large set of natural language requirements. 281-286 - Ana Sofia Penim, João Araújo:
Identifying and modeling aspectual scenarios with theme and MATA. 287-291 - Fernanda M. R. Alencar, Jaelson Castro, Márcia Lucena, Emanuel Santos, Carla T. L. L. Silva, João Araújo, Ana Moreira:
Towards modular i* models. 292-297 - Claudia Cappelli, Herbet de Souza Cunha, Bruno González-Baixauli, Julio César Sampaio do Prado Leite:
Transparency versus security: early analysis of antagonistic requirements. 298-305 - Rodrigo O. Spínola, Felipe C. R. Pinto, Guilherme Horta Travassos:
UbiCheck: an approach to support requirements definition in the ubicomp domain. 306-310 - Dewi Mairiza, Didar Zowghi, Nur Nurmuliani:
An investigation into the notion of non-functional requirements. 311-317
Poster papers
- Holger Röder:
Using interaction requirements to operationalize usability. 318-319
Real time systems track
- Linwei Niu:
Energy-aware dual-mode voltage scaling for weakly hard real-time systems. 321-325 - Martin Schoeberl, Florian Brandner, Jan Vitek:
RTTM: real-time transactional memory. 326-333 - Yue Yu, Shangping Ren, Nianen Chen, Xing Wang:
Profit and penalty aware (PP-aware) scheduling for tasks with variable task execution time. 334-339 - Dario Faggioli, Marko Bertogna, Fabio Checconi:
Sporadic Server revisited. 340-345 - Carlos Santana, Julius C. B. Leite, Daniel Mossé:
Load forecasting applied to soft real-time web clusters. 346-350 - Devesh B. Chokshi, Purandar Bhaduri:
Performance analysis of FlexRay-based systems using real-time calculus, revisited. 351-356
Poster papers
- Yue Lu, Thomas Nolte, Iain Bate:
Timing analyzing for systems with execution dependencies between tasks. 357-358 - Tullio Facchinetti, Matteo Foppiano:
Resource partitioning for real-time processing on a multicore architecture. 359-360
Cloud computing track
- Shin Gyu Kim, Hyuck Han, Hyungsoo Jung, Hyeonsang Eom, Heon Young Yeom:
Harnessing input redundancy in a MapReduce framework. 362-366 - Vivek Nallur, Rami Bahsoon:
Design of a market-based mechanism for quality attribute tradeoff of services in the cloud. 367-371 - Sonja Zaplata, Winfried Lamersdorf:
Towards mobile process as a service. 372-379 - Marin Litoiu, C. Murray Woodside, Johnny Wong, Joanna Ng, Gabriel Iszlai:
A business driven cloud optimization architecture. 380-385 - Swarna Mylavarapu, Vijay Sukthankar, Pradipta Banerjee:
An optimized capacity planning approach for virtual infrastructure exhibiting stochastic workload. 386-390 - Simon Malkowski, Markus Hedwig, Deepal Jayasinghe, Calton Pu, Dirk Neumann:
CloudXplor: a tool for configuration planning in clouds based on empirical data. 391-398 - Sewook Wee, Huan Liu:
Client-side load balancer using cloud. 399-405 - Mohamad Al Hajj Hassan, Mostafa Bamha:
Semi-join computation on distributed file systems using map-reduce-merge model. 406-413
Poster papers
- Flavio Lombardi, Roberto Di Pietro:
Transparent security for cloud. 414-415
Dependable and adaptive distributed systems track
- Nicolas Schiper, Fernando Pedone:
Fast, flexible, and highly resilient genuine fifo and causal multicast algorithms. 418-422 - Idrissa Sarr, Hubert Naacke, Stéphane Gançarski:
TransPeer: adaptive distributed transaction monitoring for Web2.0 applications. 423-430 - Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer:
Exploiting non-functional preferences in architectural adaptation for self-managed systems. 431-438 - Md. Endadul Hoque, Farzana Rahman, Sheikh Iqbal Ahamed:
S-search: finding RFID tags using scalable and secure search protocol. 439-443 - Jean Arnaud, Sara Bouchenak:
Adaptive internet services through performance and availability control. 444-451 - Li Wang, Yair Leiferman, Shangping Ren, Kevin A. Kwiat, Xiaowei Li:
Improving complex distributed software system availability through information hiding. 452-456 - Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky:
MetaSelf: an architecture and a development method for dependable self-* systems. 457-461 - Hassan Gomaa, Koji Hashimoto, Minseong Kim, Sam Malek, Daniel A. Menascé:
Software adaptation patterns for service-oriented architectures. 462-469 - Jose Felipe Mejia Bernal, Paolo Falcarin, Maurizio Morisio, Jia Dai:
Dynamic context-aware business process: a rule-based approach supported by pattern identification. 470-474 - Miguel Correia, Giuliana Santos Veronese, Lau Cheuk Lung:
Asynchronous Byzantine consensus with 2f+1 processes. 475-480
Embedded systems track
- Claus Traulsen, Reinhard von Hanxleden:
Reactive parallel processing for synchronous dataflow. 483-490 - Tullio Facchinetti, Alberto Savioli, Emanuele Goldoni:
Design and development of a real-time embedded inertial measurement unit. 491-495 - Roger D. Chamberlain, Jeremy Buhler, Mark A. Franklin, James H. Buckley:
Application-guided tool development for architecturally diverse computation. 496-501 - Seungwoo Ryu, Chul Lee, Sanghyun Yoo, Sungjong Seo:
Flash-aware cluster allocation method based on filename extension for FAT file system. 502-509 - Nikos Anastasiadis, Isidoros Sideris, Kiamal Z. Pekmestzi:
A fast multiplier-less edge detection accelerator for FPGAs. 510-515 - D. P. O'Connell, I. D. De Vries:
Digital energy metering for electrical system management. 516-520 - Diana Bautista, Julio Sahuquillo, Houcine Hassan, Salvador Petit, José Duato:
Dynamic task set partitioning based on balancing resource requirements and utilization to reduce power consumption. 521-526 - Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti:
A real-time architecture design language for multi-rate embedded control systems. 527-534 - Pavel Ghosh, Arunabha Sen:
Efficient mapping and voltage islanding technique for energy minimization in NoC under design constraints. 535-541 - Jian-Jia Chen, Lothar Thiele:
Energy-efficient scheduling on homogeneous multiprocessor platforms. 542-549
Poster papers
- Dawei Zhang, Zhen Han, Wei Jin:
Optimized Java Card transaction mechanism based on object locality. 550-551 - Isidoros Sideris, Nikos K. Moshopoulos, Kiamal Z. Pekmestzi:
A hardware peripheral for Java bytecodes translation acceleration. 552-553 - Duck-Ho Bae, Ji-Woong Chang, Sang-Wook Kim:
Flash-aware record management method. 554-555
Mobile computing and applications track
- Waskitho Wibisono, Sea Ling, Arkady B. Zaslavsky:
Collaborative context management framework for mobile ad hoc network environments. 558-562 - Edwin J. Y. Wei, Alvin T. S. Chan:
Towards semantic-based adaptation decisions for context-aware mobile computing. 563-567 - Yile Wang, Junhuai Li, Jing Zhang, Lei Yu:
An indoor tracking algorithm with the virtual reference based positioning. 568-574 - Marcio E. F. Maia, Clayson Celes, Rute Castro, Rossana M. C. Andrade:
Considerations on developing mobile applications based on the Capuchin project. 575-579 - Jingsong Lv, Victor C. S. Lee, Minming Li, Enhong Chen:
Profit-based on-demand broadcast scheduling of real-time multi-item requests. 580-584 - HaRim Jung, Byung Ku Cho, Yon Dohn Chung, Ling Liu:
On processing location based top-k queries in the wireless broadcasting system. 585-591 - Tales Benigno Matos, Angelo Brayner, José Everardo Bessa Maia:
Towards in-network data prediction in wireless sensor networks. 592-596
Poster papers
- Alton Yeow-Kuan Chua, Chei Sian Lee, Dion Hoe-Lian Goh, Keng Tiong Tan, Nguyen Anthony:
Evaluating the usability of a mobile content sharing game. 597-598 - Karl Stamm, Sheikh Iqbal Ahamed, Praveen Madiraju, Sina Zulkernain:
Mobile intelligent interruptions management (MIIM): a context aware unavailability system. 599-600 - Marcio Andrey Teixeira, Paulo Roberto Guardieiro:
Uplink scheduling algorithm with dynamic polling management in IEEE 802.16 broadband wireless networks. 601-602
Privacy on the web track
- Aggelos Delis, Vassilios S. Verykios, Achilleas A. Tsitsonis:
A data perturbation approach to sensitive classification rule hiding. 605-609 - Somnath Chakrabarti, Zhiyuan Chen, Aryya Gangopadhyay, Shibnath Mukherjee:
Privacy preserving linear discriminant analysis from perturbed data. 610-615 - Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio:
CNL4DSA: a controlled natural language for data sharing agreements. 616-620 - Alessandro Sorniotti, Refik Molva:
Secret interest groups (SIGs) in social networks with an implementation on Facebook. 621-628
Networking track
- Sibaram Khara, Iti Saha Misra, Debashis Saha:
An improved WLAN-first access scheme for UMTS/WLAN integrated system. 630-634 - Gabriela Schütz, Noélia S. C. Correia:
A multi-objective optimization approach for fault-tolerance provisioning in multi-radio hybrid wireless-optical broadband access networks. 635-640 - Niccolo Cascarano, Luigi Ciminiera, Fulvio Risso:
Improving cost and accuracy of DPI traffic classifiers. 641-646 - Piyush Harsh, Richard E. Newman:
Mode independent session directory service architecture: a unified approach for ASM and SSM multicast networks. 647-654 - Jani Hautakorpi, Jouni Mäenpää:
Load balancing for structured P2P networks using the advanced finger selection algorithm (AFSA). 655-662 - Pascal Anelli, Emmanuel Lochin, Fanilo Harivelo, Dino Martin López-Pacheco:
Transport congestion events detection (TCED): towards decorrelating congestion detection from TCP. 663-669 - Marc Brogle, Sebastian Barthlomé, Torsten Braun:
Quality of service for multicasting using NICE. 670-677 - Antti Mäkelä:
Concept for providing guaranteed service level over an array of unguaranteed commodity connections. 678-683 - Lluis Pamies-Juarez, Pedro García López:
Maintaining data reliability without availability in P2P storage systems. 684-688 - Malabika Sengupta, Swapan Kumar Mondal, Debashis Saha:
MMSRP: multi-wavelength Markov-based split reservation protocol for DWDM optical networks. 689-693 - Carlos Eduardo Lenz, Lau Cheuk Lung, Frank Augusto Siqueira:
SeRViSO: a selective retransmission scheme for video streaming in overlay networks. 694-698 - Luís Conceição, David Palma, Marília Curado:
A novel stable and low-maintenance clustering scheme. 699-705 - Mitsuhiro Mabuchi, Yasushi Shinjo, Koji Hasebe, Akira Sato, Kazuhiko Kato:
CapaCon: access control mechanism for inter-device communications through TCP connections. 706-712 - Zhang Fu, Marina Papatriantafilou, Philippas Tsigas, Wei Wei:
Mitigating denial of capability attacks using sink tree based quota allocation. 713-718 - Benaouda Nacéra, Hervé Guyennet, Ahmed Hammad, Mostefai Mohammed:
A new two level hierarchy structuring for node partitioning in ad hoc networks. 719-726
Poster papers
- Xingang Liu, Jinpeng Huai, Qin Li, Tianyu Wo:
Network state consistency of virtual machine in live migration. 727-728 - Cristina Melchiors, Alessandro H. dos Santos, Dionatan Mattjie, Carlos Raniery Paula dos Santos, André Panisson, Lisandro Zambenedetti Granville, Liane Margarida Rockenbach Tarouco:
A network polling solution through a P2P-based distributed management environment. 729-730 - Jinman Jung, Yookun Cho, Yeongkwun Kim, Injoo Kim:
ASTRAL: an adaptive, efficient, and reliable flooding mechanism for MANET. 731-732 - Anjali Sardana, Ramesh Chandra Joshi:
Dual-level defense for networks under DDoS attacks. 733-734
Wireless sensor network systems and applications track
- Taehoon Kim, Bora Kang, E. K. Park, Sungwoo Tak:
Integrating real-time hybrid task scheduling into a sensor node platform. 737-741 - Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler:
An operating system abstraction layer for portable applications in wireless sensor networks. 742-748 - Wei Zhou, Radu Stoleru:
Towards higher throughput and energy efficiency in dense wireless ad hoc and sensor networks. 749-755 - Fabrizio Mulas, Andrea Acquaviva, Salvatore Carta, Gianni Fenu, Davide Quaglia, Franco Fummi:
Network-adaptive management of computation energy in wireless sensor networks. 756-763 - Marguerite Doman, Jamie Payton, Teresa A. Dahlberg:
Leveraging fuzzy query processing to support applications in wireless sensor networks. 764-771 - Qian Dong, Waltenegus Dargie:
Analysis of collision probability in unsaturated situation. 772-777 - William R. Claycomb, Rodrigo Lopes, Dongwan Shin, Byunggi Kim:
A group-based security policy for wireless sensor networks. 778-785 - Angelo Brayner, André L. V. Coelho, Karina Marinho de Souza:
Dealing with application requirements and energy consumption in wireless sensor networks: a novelty detection approach for quality of query services. 786-790
Poster papers
- Benjamin Satzger, Faruk Bagci, Florian Kluge, Theo Ungerer:
Towards lightweight self-configuration in wireless sensor networks. 791-792 - Nelson Matthys, Syed Rehan Afzal, Christophe Huygens, Sam Michiels, Wouter Joosen, Danny Hughes:
Towards fine-grained and application-centric access control for wireless sensor networks. 793-794 - Will Hedgecock, Péter Völgyesi, Ákos Lédeczi, Xenofon D. Koutsoukos, Akram Aldroubi, Alexander S. Szalay, Andreas Terzis:
Mobile air pollution monitoring network. 795-796
Web technologies track
- Florian Skopik, Daniel Schall, Schahram Dustdar:
Trustworthy interaction balancing in mixed service-oriented systems. 799-806 - Dion Hoe-Lian Goh, Alton Yeow-Kuan Chua:
Investigating the influence of social computing applications on website quality. 807-811 - Janne Kuuskeri, Janne Lautamäki, Tommi Mikkonen:
Peer-to-peer collaboration in the lively kernel. 812-817 - Ziqing Mao, Cormac Herley:
A robust link-translating proxy server mirroring the whole web. 818-825 - Gabriele D'Angelo, Fabio Vitali, Stefano Zacchiroli:
Content cloaking: preserving privacy with Google Docs and other web applications. 826-830 - Bernardo de la Ossa, Ana Pont, Julio Sahuquillo, José A. Gil:
Referrer graph: a low-cost web prediction algorithm. 831-838 - Alessandro Bozzon, Marco Brambilla, Piero Fraternali, Pasquale Pigazzini:
Integration of a human face annotation technology in an audio-visual search engine platform. 839-843 - Nicola Raffaele Di Matteo, Silvio Peroni, Fabio Tamburini, Fabio Vitali:
Of mice and terms: clustering algorithms on ambiguous terms in folksonomies. 844-848 - Cristian Mateos, Marco Crasso, Alejandro Zunino, Marcelo R. Campo:
Separation of concerns in service-oriented applications based on pervasive design patterns. 849-853 - Kim Schouten, Philip Ruijgrok, Jethro Borsje, Flavius Frasincar, Leonard Levering, Frederik Hogenboom:
A semantic web-based approach for personalizing news. 854-861 - Matteo Battistelli, Silvia Mirri, Ludovico Antonio Muratori, Paola Salomoni, Simone Spagnoli:
Avoiding to dispense with accuracy: a method to make different DTDs documents comparable. 862-866 - Wei-Chen Kao, Duen-Ren Liu, Shiu-Wen Wang:
Expert finding in question-answering websites: a novel hybrid approach. 867-871
Poster papers
- Pasi Fränti, Juha Kuittinen, Andrei Tabarcea, Lomanzi Sakala:
MOPSI location-based search engine: concept, architecture and prototype. 872-873 - Denis Shestakov, Tapio Salakoski:
Host-IP clustering technique for deep web characterization. 874-875 - Evandro Manara Miletto, Marcelo Soares Pimenta, Jean-Paul Sansonnet, François Bouchet:
Social music making on the web with CODES. 876-877
Advances in spatial and image-based information systems track
- Mario Döller, Florian Stegmaier, Harald Kosch, Rubén Tous, Jaime Delgado:
Standardized interoperable image retrieval. 880-886 - Andrea Ballatore, Gavin McArdle, Caitriona Kelly, Michela Bertolotto:
RecoMap: an interactive and adaptive map-based recommender. 887-891 - Wan D. Bae, Shayma Alkobaisi, Petr Vojtechovský, Sada Narayanappa, Kye Y. Bae:
Convex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature. 892-899 - Luciana A. S. Romani, Ana Maria Heuminski de Ávila, Jurandir Zullo Jr., Richard Chbeir, Caetano Traina Jr., Agma J. M. Traina:
CLEARMiner: a new algorithm for mining association patterns on heterogeneous time series from climate data. 900-905 - Tao Chen, Markus Schneider:
Modeling cardinal directions in the 3D space with the objects interaction cube matrix. 906-910
Agent-oriented methodologies, infrastructures and processes track
- Iván García-Magariño, Massimo Cossentino, Valeria Seidita:
A metrics suite for evaluating agent-oriented architectures. 912-919 - Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini:
Building an agent methodology from fragments: the MEnSA experience. 920-927 - Andrew Diniz da Costa, Camila Nunes, Viviane Torres da Silva, Baldoino Fonseca dos Santos Neto, Carlos José Pereira de Lucena:
JAAF+T: a framework to implement self-adaptive agents that apply self-test. 928-935
Poster papers
- Enyo José Tavares Gonçalves, Mariela Inés Cortés, Gustavo A. L. de Campos, Gilzamir F. Gomes, Viviane Torres da Silva:
Towards the modeling reactive and proactive agents by using MAS-ML. 936-937 - Vincent Hilaire, Nicolas Gaud, Stéphane Galland, Abderrafiaa Koukam:
An approach based upon OWL-S for method fragments documentation and selection. 938-939
Computational intelligence and image analysis track
- Yin-Fu Huang, Lien-Hung Tung:
Semantic scene detection system for baseball videos based on the MPEG-7 specification. 941-947 - Alexandre W. C. Faria, David Menotti, Daniel S. D. Lara, Gisele L. Pappa, Arnaldo de Albuquerque Araújo:
A new methodology for photometric validation in vehicles visual interactive systems. 948-953 - Renata C. B. Madeo, Sarajane Marques Peres, Helton Hideraldo Bíscaro, Daniel B. Dias, Clodis Boscarioli:
A committee machine implementing the pattern recognition module for fingerspelling applications. 954-958 - Yihua Lan, Hong Liu, Enmin Song, Chih-Cheng Hung:
An improved K-view algorithm for image texture classification using new characteristic views selection methods. 959-963 - Daniel Welfer, Jacob Scharcanski, Diane Ruschel Marinho:
A morphologic three-stage approach for detecting exudates in color eye fundus images. 964-968 - Ednaldo Brigante Pizzolato, Mauro dos Santos Anjo, Guilherme C. Pedroso:
Automatic recognition of finger spelling for LIBRAS based on a two-layer architecture. 969-973 - Hongbo Zhou, Qiang Cheng, Zhikun She:
Reparameterization based consistent graph-structured linear programs. 974-978
Poster papers
- Daria Migotina, Agostinho C. Rosa, Ana L. N. Fred:
Automatic K-complex detection using Hjorth parameters and fuzzy decision. 979-980 - Nuo Zhang, Toshinori Watanabe:
Image representation and classification based on data compression. 981-982 - Fan-Chieh Cheng, Shih-Chia Huang, Shanq-Jang Ruan:
Advanced motion detection for intelligent video surveillance systems. 983-984
Data mining track
- Murugan Ayyappan, Yew-Kwong Woon, Wee Keong Ng:
MICHO: a scalable constraint-based algorithm for learning Bayesian networks. 985-989 - Ken Kaneiwa:
A rough set approach to mining connections from information systems. 990-996 - Bart Goethals, Wim Le Page, Michael Mampaey:
Mining interesting sets and rules in relational databases. 997-1001 - Paulo Fernandes, Lucelene Lopes, Duncan Dubugras A. Ruiz:
The impact of random samples in ensemble classifiers. 1002-1009 - Biao Qin, Yuni Xia, Fang Li:
A Bayesian classifier for uncertain data. 1010-1014 - Yong-Hyuk Kim, Wonkook Kim, Kyungsub Min, Yourim Yoon:
Probabilistic context prediction using time-inferred multiple pattern networks. 1015-1019 - Ashkan Sami, Babak Yadegari, Hossein Rahimi, Naser Peiravian, Sattar Hashemi, Ali Hamzeh:
Malware detection based on mining API calls. 1020-1025 - Alessandro Colantonio, Roberto Di Pietro, Alberto Ocello, Nino Vincenzo Verde:
ABBA: adaptive bicluster-based approach to impute missing values in binary matrices. 1026-1033 - Carson Kai-Sang Leung, Boyu Hao, Dale A. Brajczuk:
Mining uncertain data for frequent itemsets that satisfy aggregate constraints. 1034-1038 - Mojdeh Jalali Heravi, Osmar R. Zaïane:
A study on interestingness measures for associative classifiers. 1039-1046 - Jun Liu, Lu Jiang, Zhaohui Wu, Qinghua Zheng, Ya-nan Qian:
Mining preorder relation between knowledge units from text. 1047-1053 - Frédéric Flouvat, Nazha Selmaoui-Folcher, Dominique Gay, Isabelle Rouet, Chloé Grison:
Constrained colocation mining: application to soil erosion characterization. 1054-1059 - Elena Baralis, Tania Cerquitelli, Silvia Chiusano:
A persistent HY-Tree to efficiently support itemset mining on large datasets. 1060-1064 - Annalisa Appice, Michelangelo Ceci, Donato Malerba:
Transductive learning for spatial regression with co-training. 1065-1070 - Michelangelo Ceci, Annalisa Appice, Corrado Loglisci, Donato Malerba:
Complex objects ranking: a relational data mining approach. 1071-1077 - Gianni Costa, Fabio Fassetti, Massimo Guarascio, Giuseppe Manco, Riccardo Ortale:
Mining models of exceptional objects through rule learning. 1078-1082 - Hans-Henning Gabriel, Myra Spiliopoulou, Alexandros Nanopoulos:
Eigenvector-based clustering using aggregated similarity matrices. 1083-1087 - Tianyu Cao, Xindong Wu, Song Wang, Xiaohua Hu:
OASNET: an optimal allocation approach to influence maximization in modular social networks. 1088-1094 - James Rosswog, Kanad Ghose:
Efficiently detecting clusters of mobile objects in the presence of dense noise. 1095-1102
Poster papers
- Alina Campan, Traian Marius Truta, Nicholas Cooper:
User-controlled generalization boundaries for p-sensitive k-anonymity. 1103-1104 - Yiling Zeng, Hongbo Xu, Xueqi Cheng, Shuo Bai:
Introducing global scaling parameters into Ncut. 1105-1106 - Saket S. R. Mengle, Nazli Goharian:
Mining temporal relationships among categories. 1107-1108 - Claudio Lucchese, Salvatore Orlando, Raffaele Perego:
A generative pattern model for mining binary datasets. 1109-1110 - Jianchun Zhang, Daoqiang Zhang:
Canonical random correlation analysis. 1111-1112 - Radim Belohlávek, Vilém Vychodil:
Background knowledge in formal concept analysis: constraints via closure operators. 1113-1114 - Akira Ninagawa, Koji Eguchi:
Link prediction using probabilistic group models of network structure. 1115-1116
Applications of evolutionary computing track
- Slim Bechikh, Lamjed Ben Said, Khaled Ghédira:
Searching for knee regions in multi-objective optimization using mobile reference points. 1118-1125 - Lucas Serpa Silva, Maarten van Someren:
Evolutionary testing of object-oriented software. 1126-1130 - Rodrigo C. Barros, Márcio P. Basgalupp, Duncan D. Ruiz, André Carlos Ponce de Leon Ferreira de Carvalho, Alex Alves Freitas:
Evolutionary model tree induction. 1131-1137 - Elmira Ghoulbeigi, Marcus Vinicius dos Santos:
Probabilistic developmental program evolution. 1138-1142 - Juan A. Nepomuceno, Alicia Troncoso Lora, Jesús S. Aguilar-Ruiz:
Evolutionary metaheuristic for biclustering based on linear correlations among genes. 1143-1147 - Claudio Fabiano Motta Toledo, Lucas de Oliveira, Renato Resende Ribeiro de Oliveira, Marluce Rodrigues Pereira:
Parallel genetic algorithm approaches applied to solve a synchronized and integrated lot sizing and scheduling problem. 1148-1152
Poster papers
- Ricardo de A. Araújo, Adriano L. I. de Oliveira, Sérgio C. B. Soares:
Hybrid evolutionary quantum inspired method to adjust time phase distortions in financial time series. 1153-1154 - Kazi Shah Nawaz Ripon, Kyrre Glette, Mats Høvin, Jim Tørresen:
Multi-objective evolutionary approach for solving facility layout problem using local search. 1155-1156
Human computer interaction track
- Koichi Kuzume:
Input device for disabled persons using expiration and tooth-touch sound signals. 1159-1164 - XiongFei Luo, Feng Tian, Wei Liu, Dongxing Teng, Guozhong Dai, Hongan Wang:
Visualizing time-series data in processlines: design and evaluation of a process enterprise application. 1165-1172 - Mieke Massink, Michael D. Harrison, Diego Latella:
Scalable analysis of collective behaviour in smart service systems. 1173-1180 - Seung-Hyun Ji, Jong-Woo Kim, Taijin Yoon, Hwan-Gue Cho:
How to manage interactive dialogues of avatar agents by using 3D spatial information of virtual world. 1181-1187 - Ansar-Ul-Haque Yasar, Nasim Mahmud, Davy Preuveneers, Kris Luyten, Karin Coninx, Yolande Berbers:
Where people and cars meet: social interactions to improve information sharing in large scale vehicular networks. 1188-1194 - Nathalie Aquino, Jean Vanderdonckt, Oscar Pastor:
Transformation templates: adding flexibility to model-driven engineering of user interfaces. 1195-1202 - Liyu Gong, Tianjiang Wang, Chengshuo Wang, Fang Liu, Fuqiang Zhang, Xiaoyuan Yu:
Recognizing affect from non-stylized body motion using shape of Gaussian descriptors. 1203-1206 - Daniela C. C. Peixoto, Raquel Oliveira Prates, Rodolfo F. Resende:
Semiotic inspection method in the context of educational simulation games. 1207-1212 - Elaine Cristina Saito Hayashi, Maria Cecília Calani Baranauskas:
Understanding meta-communication in an inclusive scenario. 1213-1218 - Vagner Figuerêdo de Santana, Maria Cecília Calani Baranauskas:
Summarizing observational client-side data to reveal web usage patterns. 1219-1223 - Anderson Maciel, Luciana Porcher Nedel, Vitor A. M. Jorge, Juan M. T. Ibiapina, Luis F. M. S. Silva:
Reality cues-based interaction using whole-body awareness. 1224-1228 - Anderson Maciel, Luciana Porcher Nedel, Eduardo M. Mesquita, Marcelo H. Mattos, Gustavo Mello Machado, Carla M. D. S. Freitas:
Collaborative interaction through spatially aware moving displays. 1229-1233
Poster papers
- Marcus Ständer:
Towards interactionflows for smart products. 1234-1235 - Inês Oliveira, Ovidiu Grigore, Nuno Guimarães, Carlos Duarte:
Experiences in reading detection with EEG signals. 1236-1237 - Elisa Rubegni, Nicoletta Di Blas, Paolo Paolini, Amalia G. Sabiescu:
A format to design narrative multimedia applications for cultural heritage communication. 1238-1239
Geometric constraints and reasoning track
- Young Joon Ahn, Christoph M. Hoffmann:
Constraint-based LN-curves. 1242-1246 - Christoph Fünfzig, Dominique Michelucci, Sebti Foufou:
Polytope-based computation of polynomial ranges. 1247-1252 - Christoph Fünfzig, Philippe Thomin, Gudrun Albrecht:
Haptic manipulation of rational parametric planar cubics using shape constraints. 1253-1257 - Theodoris Athanasiadis, Ioannis Fudos, Christophoros Nikou, Vasiliki Stamati:
Feature-based 3D morphing based on geometrically constrained sphere mapping optimization. 1258-1265
Poster papers
- Yayun Zhou, Jörg Schulze, Stefan Schäffler:
Blade geometry design with kinematic ruled surface approximation. 1266-1267 - Tuan Minh Pham:
Similar triangles and orientation in plane elementary geometry for Coq-based proofs. 1268-1269
Intelligent robotic systems track
- David Portugal, Rui P. Rocha:
MSP algorithm: multi-robot patrolling based on territory allocation using balanced graph partitioning. 1271-1276 - Yi-Ju Ho, Jing-Sin Liu:
Simulated annealing based algorithm for smooth robot path planning with different kinematic constraints. 1277-1281 - Kwang Wee Lee, Bharath Kalyan, W. Sardha Wijesoma, Martin Adams, Franz S. Hover, Nicholas M. Patrikalakis:
Tracking random finite objects using 3D-LIDAR in marine environments. 1282-1287 - Ri Choe, Taejin Park, Kwang Ryel Ryu:
Dispatching AGVs with noisy estimation of crane operation time. 1288-1293 - Hassan Mohy-ud-Din, Abubakr Muhammad:
Detecting narrow passages in configuration spaces via spectra of probabilistic roadmaps. 1294-1298 - Huawei Miao, Chia-Ching Ooi, Xiaowen Wu, Christian Schindelhauer:
Coverage-hole trap model in target tracking using distributed relay-robot network. 1299-1304
Poster papers
- Leila Fotoohi, Axel Gräser:
A supervisory control approach for safe behavior of service robot case study: FRIEND. 1305-1306
Self-organizing complex systems track
- Shlomi Dolev, Nir Tzachar:
Spanders: distributed spanning expanders. 1309-1314 - Manolya Eyiyurekli, Linge Bai, Peter I. Lelkes, David E. Breen:
Chemotaxis-based sorting of self-organizing heterotypic agents. 1315-1322 - Piyush Harsh, Randy Chow, Richard E. Newman:
Gray networking: a step towards next generation computer networks. 1323-1328 - Jeannette C. M. Janssen, Pawel Pralat, Rory Wilson:
Estimating node similarity from co-citation in a spatial graph model. 1329-1333 - Jose Luis Fernandez-Marquez, Josep Lluís Arcos, Giovanna Di Marzo Serugendo:
Infrastructureless storage in dynamic environments. 1334-1338
Poster papers
- Marko Harasic, Anne Augustin, Philipp Obermeier, Robert Tolksdorf:
RDFSwarms: selforganized distributed RDF triple store. 1339-1340
The semantic web and its application track
- Tudor Groza, Siegfried Handschuh, Georgeta Bordea:
Towards automatic extraction of epistemic items from scientific publications. 1341-1348 - Tapio Niemi, Marko Niinimäki:
Ontologies and summarizability in OLAP. 1349-1353 - Lucas Drumond, Rosario Girardi:
Extracting ontology concept hierarchies from text using Markov logic. 1354-1358 - Ahmad Ali Iqbal, Maximilian Ott, Aruna Seneviratne:
Semantic content distribution with aggregated profiles. 1359-1365 - Ioan Marius Bilasco, Samir Amir, Patrick Blandin, Chabane Djeraba, Juhani Laitakari, Jean Martinet, Eduardo Martínez-Gracía, Daniel Pakkala, Mika Rautiainen, Mika Ylianttila, Jiehan Zhou:
Semantics for intelligent delivery of multimedia content. 1366-1372 - Sven Groppe, Jinghua Groppe:
External sorting for index construction of large semantic web databases. 1373-1380 - Ebrahim Bagheri, Faezeh Ensan:
Evidential reasoning for the treatment of incoherent terminologies. 1381-1387 - Diego Calvanese, C. Maria Keet, Werner Nutt, Mariano Rodriguez-Muro, Giorgio Stefanoni:
Web-based graphical querying of databases through an ontology: the Wonder system. 1388-1395 - María José Ibáñez, Gabriela Vulcu, Joaquin Ezpeleta, Sami Bhiri:
Semantically enabled business process discovery. 1396-1403 - Melike Sah, Wendy Hall, David De Roure:
Dynamic linking and personalization on web. 1404-1410 - Yvette Teiken, Stefan Brüggemann, Hans-Jürgen Appelrath:
Interchangeable consistency constraints for public health care systems. 1411-1416 - Faezeh Ensan, Ebrahim Bagheri:
A framework for handling revisions in distributed ontologies. 1417-1422 - Nicola Fanizzi, Claudia d'Amato, Floriana Esposito:
Towards the induction of terminological decision trees. 1423-1427 - Floriana Esposito, Nicola Fanizzi, Claudia d'Amato:
Recovering uncertain mappings through structural validation and aggregation with the MoTo system. 1428-1432 - Tarsis Marinho, Evandro de Barros Costa, Diego Dermeval, Rafael Ferreira, Lucas Monteiro Braz, Ig Ibert Bittencourt, Henrique Pacca Loureiro Luna:
An ontology-based software framework to provide educational data mining. 1433-1437
Poster papers
- Nesrine Ben Mustapha, Hajer Baazaoui Zghal, Marie-Aude Aufaure, Henda Hajjami Ben Ghézala:
Enhancing semantic search using case-based modular ontology. 1438-1439 - Rui Lopes, Konstantinos Votis, Luís Carriço, Dimitrios Tzovaras, Spiridon D. Likothanassis:
The semantics of personalised web accessibility assessment. 1440-1441 - I. Shin, Takahiro Kawamura, Hiroyuki Nakagawa, Ken Nakayama, Yasuyuki Tahara, Akihiko Ohsuga:
ONTOMO: web-based ontology building system: ---instance recommendation using bootstrapping---. 1442-1443 - Frederik Hogenboom, Flavius Frasincar, Uzay Kaymak:
A review of approaches for representing RCC8 in OWL. 1444-1445 - Claudia d'Amato, Floriana Esposito, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz:
Inductive reasoning and semantic web search. 1446-1447
Trust, reputation, evidence and other collaboration know-how track
- David O'Callaghan, Louise Doran, Brian A. Coghlan:
Evaluating trust in grid certificates. 1449-1450 - Rafael Maranzato, Adriano C. M. Pereira, Alair Pereira do Lago, Marden Neubert:
Fraud detection in reputation systems in e-markets using logistic regression. 1454-1455 - Shlomi Dolev, Niv Gilboa, Marina Kopeetsky:
Computing multi-party trust privately: in O(n) time units sending one (possibly large) message at a time. 1460-1465 - Kuldeep Yadav, Avinash Srinivasan:
iTrust: an integrated trust framework for wireless sensor networks. 1466-1471 - Rachid Saadi, Jean-Marc Pierson, Lionel Brunie:
T2D: a peer to peer trust management system based on disposition to trust. 1472-1478
Applied biometrics track
- Jutta Hämmerle-Uhl, Karl Raab, Andreas Uhl:
Experimental study on the impact of robust watermarking on iris recognition accuracy. 1479-1484 - Zhongkai Han, Chi Fang, Xiaoqing Ding:
A discriminated correlation classifier for face recognition. 1485-1490 - Anindya Roy, Sébastien Marcel:
Visual processing-inspired fern-audio features for noise-robust speaker verification. 1491-1495 - Philip E. Miller, Allen W. Rawls, Shrinivas J. Pundlik, Damon L. Woodard:
Personal identification using periocular skin texture. 1496-1500
Poster papers
- Anthony Larcher, Jean-François Bonastre, John S. D. Mason:
Constrained Viterbi decoding for embedded user-customised password speaker recognition. 1501-1502 - Eric Charton, Anthony Larcher, Christophe Lévy, Jean-François Bonastre:
Mistral: open source biometric platform. 1503-1504
Bioinformatics track
- Hsiao Ping Lee, Tzu-Fang Sheu, Chuan Yi Tang:
An incremental algorithm for efficient unique signature discoveries on DNA databases. 1506-1510 - Yue W. Webster, Ranga Chandra Gudivada, Ernst R. Dow, Jacob Koehler, Mathew J. Palakal:
A framework for cross-disciplinary hypothesis generation. 1511-1515 - Manuele Bicego, Pietro Lovato, Barbara Oliboni, Alessandro Perina:
Expression microarray classification using topic models. 1516-1520 - Christian Baudet, Zanoni Dias:
An improved algorithm to enumerate all traces that sort a signed permutation by reversals. 1521-1525 - Brendan Elliott, Stephen Mayes, Ali Cakmak, Gultekin Özsoyoglu, Z. Meral Özsoyoglu:
Advanced querying interface for biochemical network databases. 1526-1533 - Mohammad Shafkat Amin, Anupam Bhattacharjee, Russell L. Finley Jr., Hasan M. Jamil:
A stochastic approach to candidate disease gene subnetwork extraction. 1534-1538 - Sanchit Misra, Ramanathan Narayanan, Simon Lin, Alok N. Choudhary:
FANGS: high speed sequence mapping for next generation sequencers. 1539-1546 - Dean Cheng, John Sheldon, Marcelo Marcet-Palacios, Osmar R. Zaïane:
PROM-OOGLE: data mining and integration of on-line databases to discover gene promoters. 1547-1551 - Taiki Miyanishi, Kazuhiro Seki, Kuniaki Uehara:
Hypothesis generation and ranking based on event similarities. 1552-1558 - Pedro Manuel Pinto Ribeiro, Fernando M. A. Silva:
g-tries: an efficient data structure for discovering network motifs. 1559-1566 - Mark Menor, Kyungim Baek, Mahdi Belcaid, Yannick Gingras, Guylaine Poisson:
Virus DNA-fragment classification using taxonomic hidden Markov model profiles. 1567-1571 - Mohammad Shafkat Amin, Anupam Bhattacharjee, Hasan M. Jamil:
A cytoscape based framework for efficient sub-graph isomorphic protein-protein interaction motif lookup. 1572-1576
Computer forensics track
- David Billard, Rolf Hauri:
Making sense of unstructured flash-memory dumps. 1579-1583 - Thomas Gloe, Rainer Böhme:
The 'Dresden Image Database' for benchmarking digital image forensics. 1584-1590 - Farkhund Iqbal, Liaquat A. Khan, Benjamin C. M. Fung, Mourad Debbabi:
e-mail authorship verification for forensic investigation. 1591-1598
Poster papers
- Carlos A. B. Mello:
Filtering the shadows from poorly illuminated photos. 1599-1600 - Irfan Ahmed, Kyung-suk Lhee, Hyunjung Shin, Manpyo Hong:
Fast file-type identification. 1601-1602
Data streams track
- André L. L. de Aquino, Ricardo Augusto Rabelo Oliveira, Elizabeth F. Wanner:
A wavelet-based sampling algorithm for wireless sensor networks applications. 1604-1608 - Pedro Henriques dos Santos Teixeira, Ruy Luiz Milidiú:
Data stream anomaly detection through principal subspace tracking. 1609-1616 - Alice Marascu, Florent Masseglia, Yves Lechevallier:
A fast approximation strategy for summarizing a set of streaming time series. 1617-1621 - Bai-En Shie, Vincent S. Tseng, Philip S. Yu:
Online mining of temporal maximal utility itemsets from data streams. 1622-1626
Poster papers
- Mohamed Khalil El Mahrsi, Christine Potier, Georges Hébrail, Fabrice Rossi:
Spatiotemporal sampling for trajectory streams. 1627-1628 - Mohamed Medhat Gaber, Ary Mazharuddin Shiddiqi:
Distributed data stream classification for wireless sensor networks. 1629-1630
Database theory, technology, and applications track
- Joe Tang, Eric Lo:
A lightweight framework for testing database applications. 1632-1637 - Yangjun Chen:
A time optimal algorithm for evaluating tree pattern queries. 1638-1642 - Madhu Ahluwalia, Ruchika Gupta, Aryya Gangopadhyay, Yelena Yesha, Michael McAllister:
Target-based database synchronization. 1643-1647 - Radim Belohlávek, Vilém Vychodil:
Query systems in similarity-based databases: logical foundations, expressive power, and completeness. 1648-1655 - Mohammad Shafkat Amin, Anupam Bhattacharjee, Hasan M. Jamil:
Wikipedia driven autonomous label assignment in wrapper induced tables with missing column names. 1656-1660 - Sung-Hyun Shin, Sang-Chul Lee, Sang-Wook Kim, Junghoon Lee, Eul Gyu Im:
Efficient shortest path finding of k-nearest neighbor objects in road network databases. 1661-1665 - Alfredo Cuzzocrea, Elisa Bertino:
A secure multiparty computation privacy preserving OLAP framework over distributed XML data. 1666-1673 - Lubos Kulic:
Adaptability in XML-to-relational mapping strategies. 1674-1679 - Simon Malkowski, Deepal Jayasinghe, Markus Hedwig, Junhee Park, Yasuhiko Kanemasa, Calton Pu:
Empirical analysis of database server scalability using an N-tier benchmark with read-intensive workload. 1680-1687 - Alex Costa, José Maria Monteiro, Angelo Brayner:
A distributed protocol for ensuring replicated database consistency in mobile computing environments. 1688-1693
Information access and retrieval track
- Jer Lang Hong, Eu-Gene Siew, Simon Egerton:
WMS-extracting multiple sections data records from search engine results pages. 1696-1701 - Carlos Nascimento Silla Jr., Alessandro L. Koerich, Celso A. A. Kaestner:
Improving automatic music genre classification with hybrid content-based feature vectors. 1702-1707 - Claire Fautsch, Jacques Savoy:
Adapting the tf idf vector-space model to domain specific information retrieval. 1708-1712 - Raiko Eckstein, Andreas Henrich, Nadine Weber:
LFRP-search: multi-layer ranked visual faceted search: an approach to cope with complex search situations. 1713-1717 - Patrick Bosc, Olivier Pivert, Amine Mokhtari, Ludovic Liétard:
Extending relational algebra to handle bipolarity. 1718-1722 - Frederico Araújo Durão, Peter Dolog:
Extending a hybrid tag-based recommender system with personalization. 1723-1727 - Mohamed Benaouicha, Mohamed Tmar, Mohand Boughanem:
Flexible document-query matching based on a probabilistic content and structure score combination. 1728-1734 - Ari Pirkola, Tuomas Talvensaari:
Addressing the limited scope problem of focused crawling using a result merging approach. 1735-1740 - Tadanobu Furukawa, Seishi Okamoto, Yutaka Matsuo, Mitsuru Ishizuka:
Prediction of social bookmarking based on a behavior transition model. 1741-1747 - Stefano Baccianella, Andrea Esuli, Fabrizio Sebastiani:
Feature selection for ordinal regression. 1748-1754 - Michel Beigbeder:
Focused retrieval with proximity scoring. 1755-1759 - Heung-Seon Oh, Yoonjung Choi, Sung-Hyon Myaeng:
Combining global and local information for enhanced deep classification. 1760-1767 - Radhouane Guermazi, Mohamed Hammami, Abdelmajid Ben Hamadou:
Classification of violent web images using context based analysis. 1768-1773 - Sylvain Lamprier, Tassadit Amghar, Frédéric Saubion, Bernard Levrat:
Traveling among clusters: a way to reconsider the benefits of the cluster hypothesis. 1774-1780 - Yong-Bin Kang, Arkady B. Zaslavsky, Shonali Krishnaswamy, Claudio Bartolini:
A knowledge-rich similarity measure for improving IT incident resolution process. 1781-1788 - Sylvain Lamprier, Tassadit Amghar, Frédéric Saubion, Bernard Levrat:
Query-oriented clustering: a multi-objective approach. 1789-1795 - Jae-Won Lee, Han-joon Kim, Sang-goo Lee:
Applying taxonomic knowledge to Bayesian belief network for personalized search. 1796-1801 - Tiago A. Almeida, Akebo Yamakami, Jurandy Almeida:
Probabilistic anti-spam filtering with dimensionality reduction. 1802-1806 - Hyoseop Shin, Jeehoon Lee, Kyouhyun Hwang:
Separating the reputation and the sociability of online community users. 1807-1814 - Rinaldo Lima, Bernard Espinasse, Frederico Luiz Gonçalves de Freitas:
An adaptive information extraction system based on wrapper induction with POS tagging. 1815-1820
Poster papers
- Malik Muhammad Saad Missen, Mohand Boughanem, Guillaume Cabanac:
Using passage-based language model for opinion detection in blogs. 1821-1822 - Maurizio Montagnuolo, Alberto Messina, Marco Ferri:
HMNews: a multimodal news data association framework. 1823-1824 - Zi Ning, Ji Soo Yi, Mathew J. Palakal, Anna M. McDaniel:
OncoViz: a user-centric mining and visualization tool for cancer-related literature. 1827-1828 - Gerardo Pelosi, Giuseppe Psaila:
SMaC: spatial map caching technique for mobile devices. 1829-1830
Information security research and applications track
- Stefan Fenz:
Ontology-based generation of IT-security metrics. 1833-1839 - Thomas Zefferer, Thomas Knall:
An electronic-signature based circular resolution database system. 1840-1845 - Tammo Krueger, Christian Gehl, Konrad Rieck, Pavel Laskov:
TokDoc: a self-healing web application firewall. 1846-1853 - Tiago A. Almeida, Akebo Yamakami, Jurandy Almeida:
Filtering spams using the minimum description length principle. 1854-1858 - Andreas Dewald, Thorsten Holz, Felix C. Freiling:
ADSandbox: sandboxing JavaScript to fight malicious websites. 1859-1864 - Manuel Egele, Leyla Bilge, Engin Kirda, Christopher Kruegel:
CAPTCHA smuggling: hijacking web browsing sessions to create CAPTCHA farms. 1865-1870 - Ulrich Bayer, Engin Kirda, Christopher Kruegel:
Improving the efficiency of dynamic malware analysis. 1871-1878
Poster papers
- Jens Grossklags, Svetlana Radosavac, Alvaro A. Cárdenas, John Chuang:
Nudge: intermediaries' role in interdependent network security. 1879-1880 - William R. Claycomb, Dongwan Shin:
A framework for risk analysis in virtual directory security. 1881-1882
Multimedia and visualization track
- Dong-Sung Ryu, Woo-Keun Chung, Hwan-Gue Cho:
PHOTOLAND: a new image layout system using spatio-temporal information in digital photos. 1884-1891 - Joel André Ferreira dos Santos, Débora C. Muchaluat-Saade:
XTemplate 3.0: adding semantics to hypermedia compositions and providing document structure reuse. 1892-1897 - Leonardo Crauss Daronco, Valter Roesler, José Valdeni de Lima:
Subjective video quality assessment applied to scalable video coding and transmission instability. 1898-1904 - Yen-Chun Lin, Yi-Fang Hsieh, Hsiang-An Wang:
Web-based image matting. 1905-1910 - Joerg Deigmoeller, Takebumi Itagaki, Gerhard Stoll, Norbert Just:
An approach to intelligently crop and scale video for broadcast applications. 1911-1918 - Luca Paolino, Monica Sebillo, Giuliana Vitiello, Genoveffa Tortora:
An evaluation of the sinuosity effect on visualization of RDP simplified maps: an empirical study. 1919-1923 - Ja-Hwung Su, Hsin-Ho Yeh, Vincent S. Tseng:
A novel music recommender by discovering preferable perceptual-patterns from music pieces. 1924-1928 - César A. C. Teixeira, Giliard B. de Freitas, Maria da Graça Campos Pimentel:
Distributed discrimination of media moments and media intervals: a Watch-and-Comment approach. 1929-1935 - Ronaldo Husemann, Ricardo Kintschner, Valter Roesler, José Valdeni de Lima, Altamiro Amadeu Susin:
Proposal of an improved motion estimation module for SVC. 1936-1940 - Sergio Canazza, Antonina Dattolo:
Listening the photos. 1941-1945
Poster papers
- Gustavo de Sá Carvalho Honorato, Simone Diniz Junqueira Barbosa:
NCL-inspector: towards improving NCL code. 1946-1947
Computer security track
- Yasir Abdelgadir Mohamed, Azween B. Abdullah:
Novel immune-based framework for securing ad hoc networks. 1950-1957 - Carlo Blundo, Stelvio Cimato:
A simple role mining algorithm. 1958-1962 - Istehad Chowdhury, Mohammad Zulkernine:
Can complexity, coupling, and cohesion metrics be used as early indicators of vulnerabilities? 1963-1969 - Jusuk Lee, Kyoochang Jeong, Heejo Lee:
Detecting metamorphic malwares using code graphs. 1970-1977 - Konrad Rieck, Guido Schwenk, Tobias Limmer, Thorsten Holz, Pavel Laskov:
Botzilla: detecting the "phoning home" of malicious software. 1978-1984 - Sam Blackshear, Rakesh M. Verma:
R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks. 1985-1992 - Jeffrey Todd McDonald, Eric D. Trias, Yong C. Kim, Michael R. Grimaila:
Using logic-based reduction for adversarial component recovery. 1993-2000 - Ulrich Flegel, Johannes Hoffmann, Michael Meier:
Cooperation enablement for centralistic early warning systems. 2001-2008
Coordination models, languages and applications track
- Frédéric Jouault, Bert Vanhooff, Hugo Bruneliere, Guillaume Doux, Yolande Berbers, Jean Bézivin:
Inter-DSL coordination support by combining megamodeling and model weaving. 2011-2018 - Conor Muldoon, Richard Tynan, Gregory M. P. O'Hare, Michael J. O'Grady:
Agent-based coordination for the sensor web. 2019-2023 - Julien Siebert, Laurent Ciarletta, Vincent Chevrier:
Agents & artefacts for multiple models coordination: objective and decentralized coordination of simulators. 2024-2028 - Mirko Viroli, Matteo Casadei:
Chemical-inspired self-composition of competing services. 2029-2036 - Elena Nardini, Mirko Viroli, Emanuele Panzavolta:
Coordination in open and dynamic environments with TuCSoN semantic tuple centres. 2037-2044
Poster papers
- Sun Meng, Luís Soares Barbosa:
Towards the introduction of QoS information in a component model. 2045-2046
Constraint solving and programming track
- Alexandre Goldsztejn, Frédéric Goualard:
Box consistency through adaptive shaving. 2049-2054 - Elsa Carvalho, Jorge Cruz, Pedro Barahona:
Probabilistic constraints for reliability problems. 2055-2060 - Salvatore Ruggieri, Fred Mesnard:
Variable ranges in linear constraints. 2061-2065 - James J. Lu, Sebastien Siva, Ojas Parekh, George H. L. Fletcher, Hantao Zhang:
Constraint processing in relational database systems: from theory to implementation. 2066-2070
Poster papers
- Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang:
Local lemma: a new strategy of pruning in SAT solvers. 2071-2072 - Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere:
Relational consistency by constraint filtering. 2073-2074
Object oriented programming languages and systems track
- Sean Rooney:
Scheduling intense applications most 'surprising' first. 2077-2084 - Thomas Pawlitzki, Friedrich Steimann:
Implicit invocation of traits. 2085-2089 - Lukas Rytz, Martin Odersky:
Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language. 2090-2095 - Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
Implementing software product lines using traits. 2096-2102 - Manuel Fähndrich, Michael Barnett, Francesco Logozzo:
Embedded contract languages. 2103-2110 - Xiaolong Tang, Jaakko Järvi:
Generic flow-sensitive optimizing transformations in C++ with concepts. 2111-2118
Poster papers
- João L. Gomes, Miguel P. Monteiro:
Design pattern implementation in object teams. 2119-2120
Programming languages track
- Petr Krajca, Vilém Vychodil:
Software transactional memory for implicitly parallel functional language. 2123-2130 - Gabriel Dos Reis, Bjarne Stroustrup:
General constant expressions for system programming languages. 2131-2136 - Corneliu Popeea, Wei-Ngan Chin:
Dual analysis for proving safety and finding bugs. 2137-2143 - Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
An algorithm to generate the context-sensitive synchronized control flow graph. 2144-2148 - Eduardo Rocha Rodrigues, Philippe Olivier Alexandre Navaux, Jairo Panetta, Celso L. Mendes:
A new technique for data privatization in user-level threads and its use in parallel applications. 2149-2154
Poster papers
- Stefan Brunthaler:
Efficient inline caching without dynamic translation. 2155-2156 - Tomás Flouri, Borivoj Melichar, Jan Janousek:
Aho-Corasick like multiple subtree matching by pushdown automata. 2157-2158
Programming for separation of concerns track
- Arturo Zambrano, Johan Fabry, Guillermo Jacobson, Silvia E. Gordillo:
Expressing aspectual interactions in requirements engineering: experiences in the slot machine domain. 2161-2168 - Robert Hirschfeld, Michael Perscheid, Christian Schubert, Malte Appeltauer:
Dynamic contract layers. 2169-2175 - Peter Ebraert, Theo D'Hondt, Tim Molderez, Dirk Janssens:
Intensional changes: modularizing crosscutting features. 2176-2182 - Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana:
Using aspects and annotations to separate application code from design patterns. 2183-2189
Software engineering track
- Shin Nakajima:
Semi-automated diagnosis of FODA feature diagram. 2191-2197 - Giuseppe Scanniello, Anna D'Amico, Carmela D'Amico, Teodora D'Amico:
An approach for architectural layer recovery. 2198-2202 - Pavel Parízek, Nodir Yuldashev:
Extraction of component-environment interaction model using state space traversal. 2203-2210 - Padmanabhan Krishnan, Percy Antonio Pari Salas:
Data generation in model-based testing. 2211-2215 - Alberto Coen-Porisini, Pietro Colombo, Sabrina Sicari:
Dealing with anonymity in wireless sensor networks. 2216-2223 - Chih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong:
SysML-based requirement modeling environment for multicore embedded system. 2224-2228 - Xin Zhang, Qing Gu, Xiang Chen, Jingxian Qi, Daoxu Chen:
A study of relative redundancy in test-suite reduction while retaining or improving fault-localization effectiveness. 2229-2236 - Anne Etien, Alexis Muller, Thomas Legrand, Xavier Blanc:
Combining independent model transformations. 2237-2243 - Sebastian Herold:
Checking architectural compliance in component-based systems. 2244-2251 - JoonSeok Park, Jeonghan Kim, Sanghyun Yun, Mikyeong Moon, Keunhyuk Yeom:
An approach to developing reusable domain services for service oriented applications. 2252-2256 - Klaus Marius Hansen, Mads Ingstrup:
Modeling and analyzing architectural change with alloy. 2257-2264 - Selim Ciraci, Pim van den Broek, Mehmet Aksit:
Graph-based verification of static program constraints. 2265-2272 - Janne Kätevä, Perttu Laurinen, Taneli Rautio, Jaakko Suutala, Lauri Tuovinen, Juha Röning:
SE-155 DBSA: a device-based software architecture for data mining. 2273-2280 - Konrad Voigt, Petko Ivanov, Andreas Rummler:
MatchBox: combined meta-model matching for semi-automatic mapping generation. 2281-2288 - José Uetanabara Júnior, Rosângela Dellosso Penteado, Valter Vieira de Camargo:
An overview and an empirical evaluation of UML-AOF: an UML profile for aspect-oriented frameworks. 2289-2296 - Amine Lajmi, Mikal Ziane, Tewfik Ziadi, Sylvie Cauvin:
A multi-view model-driven approach for packaging software components. 2297-2304 - Robert A. Ballance, Jonathan E. Cook:
Monitoring MPI programs for performance characterization and management control. 2305-2310 - Zizhen Wang, Hanpin Wang, Naijun Zhan:
Refinement of models of software components. 2311-2318 - Muhammad Sulayman, Emilia Mendes:
Quantitative assessments of key success factors in software process improvement for small and medium web companies. 2319-2323 - Irit Hadar, Tsvi Kuflik, Anna Perini, Iris Reinhartz-Berger, Filippo Ricca, Angelo Susi:
An empirical study of requirements model understanding: Use Case vs. Tropos models. 2324-2329 - Lerina Aversano, Carmine Grasso, Maria Tortorella:
Measuring the alignment between business processes and software systems: a case study. 2330-2336 - Rainer Weinreich, Georg Buchgeher:
Paving the road for formally defined architecture description in software development. 2337-2343 - Ahmad Waqas Kamal, Paris Avgeriou:
Modeling the variability of architectural patterns. 2344-2351 - Angelina Espinoza, Goetz Botterweck, Juan Garbajosa:
A formal approach to reuse successful traceability practices in SPL projects. 2352-2359 - Stefan Sobernig:
Feature interaction networks. 2360-2364
Poster papers
- Carmine Gravino, Genoveffa Tortora, Giuseppe Scanniello:
An empirical investigation on the relation between analysis models and source code comprehension. 2365-2366 - Mojtaba Shahin, Peng Liang, Mohammad Reza Khayyambashi:
Rationale visualization of software architectural design decision using compendium. 2367-2368 - Ishwor Thapa, Harvey P. Siy:
Assessing the impact of refactoring activities on the JHotDraw project. 2369-2370 - Bernhard Volz:
A meta model for representing arbitrary meta model hierarchies. 2371-2372 - Robert Tairas, Jeffrey G. Gray:
Sub-clone refactoring in open source software artifacts. 2373-2374
Advances in computer simulation track
- Aparna Mandke Dani, Keshavan Varadarajan, Bharadwaj Amrutur, Y. N. Srikant:
Accelerating multi-core simulators. 2377-2382 - Xi Guo, Shell-Ying Huang:
A two stage yard crane workload partitioning and job sequencing algorithm for container terminals. 2383-2388 - Yariv Z. Levy, Dino Levy, Jerrold S. Meyer, Hava T. Siegelmann:
Identification and control of intrinsic bias in a multiscale computational model of drug addiction. 2389-2393 - Augusto Cesar Espíndola Baffa, Angelo E. M. Ciarlini:
Modeling POMDPs for generating and simulating stock investment policies. 2394-2399
Poster papers
- Belgacem Ben Youssef:
Using surface effect measures to model parallel performance. 2400-2401 - Xiaohui Ji, Tangpei Cheng, Qun Wang:
A simulation of large-scale groundwater flow on CUDA-enabled GPUs. 2402-2403
Service oriented architecture and programming track
- Natallia Kokash, Christian Krause, Erik P. de Vink:
Data-aware design and verification of service compositions with Reo and mCRL2. 2406-2413 - Marco Comuzzi, George Spanoudakis:
Dynamic set-up of monitoring infrastructures for service based systems. 2414-2421 - Steffen Heinzl, Benjamin Schmeling:
Using XML schema to improve writing, validation, and structure of WS-policies. 2422-2429 - Andreas Gehlert, Antonio Bucchiarone, Raman Kazhamiakin, Andreas Metzger, Marco Pistore, Klaus Pohl:
Exploiting assumption-based verification for the adaptation of service-based applications. 2430-2437 - Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A tool for rapid development of WS-BPEL applications. 2438-2442 - Fatih Turkmen, Bruno Crispo, Pietro Mazzoleni:
A service-based context management framework for cross-enterprise collaboration. 2443-2450 - Christine Choppy, Gianna Reggio:
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). 2451-2458 - Françoise Baude, Imen Filali, Fabrice Huet, Virginie Legrand Contes, Elton N. Mathias, Philippe Merle, Cristian Ruz, Reto Krummenacher, Elena Simperl, Christophe Hammerling, Jean-Pierre Lorré:
ESB federation for large-scale SOA. 2459-2466 - Davide Bacciu, Maria Grazia Buscemi, Lusine Mkrtchyan:
Adaptive fuzzy-valued service selection. 2467-2471 - Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt:
A standard-driven implementaion of WS-BPEL 2.0. 2472-2476 - Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki:
A heterogeneous approach to service-oriented systems specification. 2477-2484 - Branimir Wetzstein, Dimka Karastoyanova, Oliver Kopp, Frank Leymann, Daniel Zwink:
Cross-organizational process monitoring based on service choreographies. 2485-2490
Poster papers
- Shih-Hsi Liu, Adam Cardenas, Xang Xiong, Marjan Mernik, Barrett R. Bryant, Jeff Gray:
Can domain-specific languages be implemented by service-oriented architecture? 2491-2492 - Yassin Chabeb, Samir Tata:
Publication and discovery of YASA web services. 2493-2494 - Irina Astrova, Arne Koschel, Tobias Kruessmann:
Comparison of enterprise service buses based on their support of high availability. 2495-2496
Software verification and testing track
- Abdelaziz Fellah:
Time and alternation: an automata based framework to software model checking. 2498-2502 - Sander Vermolen, Jozef Hooman, Peter Gorm Larsen:
Proving consistency of VDM models using HOL. 2503-2510 - Hallstein Asheim Hansen, Gerardo Schneider:
Reachability analysis of GSPDIs: theory, optimization, and implementation. 2511-2516 - Frédéric Vogels, Bart Jacobs, Frank Piessens:
A machine-checked soundness proof for an efficient verification condition generator. 2517-2522 - Eric Kerfoot, Steve McKeever:
Checking concurrent contracts with aspects. 2523-2530 - Ashkan Sami, Seyed Mostafa Fakhrahmad:
Design-level metrics estimation based on code metrics. 2531-2535 - Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili:
Formal analysis of policy-based self-adaptive systems. 2536-2543 - Dominik Hurnaus, Herbert Prähofer:
Programming assistance based on contracts and modular verification in the automation domain. 2544-2551
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-16 00:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
