


default search action
26th SAC 2011: TaiChung, Taiwan
- William C. Chu, W. Eric Wong, Mathew J. Palakal, Chih-Cheng Hung:

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011. ACM 2011, ISBN 978-1-4503-0113-8
Applications, distributed systems, and engineering: applied biometrics track
- Christian Rathgeb, Andreas Uhl, Peter Wild:

Shifting score fusion: on exploiting shifting variation in iris recognition. 3-7 - Bian Yang, Zhibo Chen, Christoph Busch:

Raster image representation of fingerprint minutiae. 8-12 - Davrondzhon Gafurov, Christoph Busch, Patrick Bours, Bian Yang:

Fusion in fingerprint authentication: two finger types vs. two scanner types. 13-18 - Emanuele Maiorana

, Patrizio Campisi, Noelia González-Carballo, Alessandro Neri
:
Keystroke dynamics authentication for mobile phones. 21-26
Applications, distributed systems, and engineering: Poster papers
- Daigo Muramatsu:

Random forgery attacks against DTW-based online signature verification algorithm. 27-28 - Nisha Bhaskaran, Ifeoma Nwogu

, Mark G. Frank, Venu Govindaraju:
Deceit detection via online behavioral learning. 29-30
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Asian perspective of global and collaborative computing track
- Kuo-Fong Kao, Tau-Heng Yeo, Wai-Shuen Yong, Hui-Hsuan Chen:

A location-aware rogue AP detection system based on wireless packet sniffing of sensor APs. 32-36 - Lily Chang, Xudong He:

A model transformation approach for verifying multi-agent systems using SPIN. 37-42 - Peng Wang, Baowen Xu

, Yue You, Lu Chen:
Tagging web product titles based on hidden Markov model. 43-48 - Peng-Hua Chu, Nien-Lin Hsueh, Chien-Ching Lee, Min-Ju Chuang, Pao-Ann Hsiung

, William C. Chu:
A pattern-based verification approach for a multi-core system development. 49-53 - Jiantao Zhou, Shang Zheng, Delin Jing, Hongji Yang:

An approach of creative application evolution on cloud computing platform. 54-58 - Chien-Hung Liu, Shu-Ling Chen, Wei-Lun Jhu:

Change impact analysis for object-oriented programs evolved to aspect-oriented programs. 59-65 - Yao-Hsien Huang, Peng-Cheng Wang, Chia-Chi Chou, Kui-Ping Lin:

An automatic selective color transfer algorithm for images. 66-71
Applications, distributed systems, and engineering: Poster papers
- Yi-Hung Huang, Chao-Yu Kuo:

Performance analysis of IEEE 802.11 ad hoc based broadcast. 72-73 - Weifeng Zhang, Danmei Zhu, Yingzhou Zhang, Guoqiang Zhou, Baowen Xu

:
Harmonic functions based semi-supervised learning for web spam detection. 74-75
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Bioinformatics track
- Valeria Fionda, Giuseppe Pirrò

:
BioTRON: a biological workflow management system. 77-82 - Mahdi Belcaid, Kyungim Baek, David Haymer, Guylaine Poisson:

Efficient clustering of populations using a minimal SNP panel. 83-88 - Martin Simonsen, Christian N. S. Pedersen:

Rapid computation of distance estimators from nucleotide and amino acid alignments. 89-93 - Luiza Antonie, Kyrylo Bessonov:

Classifying microarray data with association rules. 94-99 - John David Osborne, Song Gao, Wei-bang Chen, Aleodor Andea, Chengcui Zhang:

Machine classification of melanoma and nevi from skin lesions. 100-105
Applications, distributed systems, and engineering: Poster papers
- Gustavo Rodrigues Galvão

, Zanoni Dias:
Computing rearrangement distance of every permutation in the symmetric group. 106-107 - Fabien Chhel, Adrien Goëffon, Antoine Lafosse, Frédéric Lardeux

, Frédéric Saubion, Gilles Hunault, Tristan Boureau:
The bacterial strains characterization problem. 108-109 - T. Van Du Tran

, Philippe Chassignet, Jean-Marc Steyaert:
Prediction of permuted super-secondary structures in β-barrel proteins. 110-111
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Cloud computing track
- Mario Macías, Jordi Guitart

:
A genetic model for pricing in cloud computing markets. 113-118 - Roman Iakymchuk

, Jeff Napper, Paolo Bientinesi:
Improving high-performance computations on clouds through resource underutilization. 119-126 - Hsin-Han You, Chun-Chung Yang, Jiun-Long Huang:

A load-aware scheduler for MapReduce framework in heterogeneous cloud environments. 127-132 - Rui Cao, Caijun Zhen, Yan Gao, Guangzhi Xu, Xiaoguang Liu, Gang Wang, Guangjun Xie:

AoDI: an allocation-on-demand incremental volume based on LVM. 133-138 - Sven Groot, Kazuo Goda, Masaru Kitsuregawa:

Towards improved load balancing for data intensive distributed computing. 139-146 - Huan Liu:

Rapid application configuration in Amazon cloud using configurable virtual appliances. 147-154 - Jaekeun Shim, Jongdae Han, Jindae Kim

, Byungjeong Lee, Jaewon Oh, Chisu Wu:
Patterns for configuration requirements of Software-as-a-Service. 155-161 - Jay Ramanathan, Rajiv Ramnath, Nisheet Singh, Zhe Xu, Yingxiao Xu

:
Sense-respond cloud mediator architecture for services evolution. 162-169
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Computer forensics track
- Rabeah Al-Zaidy, Benjamin C. M. Fung

, Amr M. Youssef:
Towards discovering criminal communities from textual data. 172-177 - Raffael Marty:

Cloud application logging for forensics. 178-184 - Xiaoqin Ding, Hengming Zou:

Time based data forensic and cross-reference analysis. 185-190
Applications, distributed systems, and engineering: Poster papers
- Kostas Kontogiannis, Ahmed Wasfy, Serge Mankovski:

Event clustering for log reduction and run time system understanding. 191-192 - Merin Sebastian, Priya Chandran

:
Towards designing a tool for event reconstruction using Gladyshev Approach. 193-194
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Dependable and adaptive distributed systems track
- Kurt Geihs

, Christoph Evers, Roland Reichle, Michael Wagner
, Mohammad Ullah Khan:
Development support for QoS-aware service-adaptation in ubiquitous computing applications. 197-202 - Shen Lin, François Taïani

, Marin Bertier, Gordon S. Blair
, Anne-Marie Kermarrec:
Transparent componentisation: high-level (re)configurable programming for evolving distributed systems. 203-208 - João Paulo Magalhães

, Luís Moura Silva:
Root-cause analysis of performance anomalies in web-based applications. 209-216 - Yu Liu, René Meier:

AdaptStream: towards achieving fluidity in adaptive stream-based systems. 217-223 - Dawood Tariq, Basim Baig, Ashish Gehani, Salman Mahmood, Rashid Tahir

, Azeem Aqil, Fareed Zaffar:
Identifying the provenance of correlated anomalies. 224-229 - Jean-Charles Fabre, Marc-Olivier Killijian, François Taïani

:
Robustness of automotive applications using reflective computing: lessons learnt. 230-235
Applications, distributed systems, and engineering: Poster papers
- Marc Zeller, Gereon Weiss, Dirk Eilers, Rudi Knorr:

An approach for providing dependable self-adaptation in distributed embedded systems. 236-237
Applications, distributed systems, and engineering: Document engineering track
- Wenjie Cai, Yaokai Feng, Seiichi Uchida

:
Massive character recognition with a large ground-truthed database. 240-244 - Siyuan Chen, Henry S. Baird:

Pixel accurate document image content extraction. 245-251 - Ozge Yeloglu, Evangelos E. Milios

, Nur Zincir-Heywood
:
Multi-document summarization of scientific corpora. 252-258 - Daniel Marques de Oliveira, Rafael Dueire Lins, Gabriel Torreão, Jian Fan, Marcelo Thielo:

A new algorithm for segmenting warped text-lines in document images. 259-265
Applications, distributed systems, and engineering: Poster papers
- Andrei de Araújo Formiga, Rafael Dueire Lins, Steven J. Simske, Gary Dispoto, Marcelo Thielo:

An assessment of data matrix barcode recognition under scaling, rotation and cylindrical warping. 266-267 - Araly Barrera, Rakesh M. Verma

:
Automated extractive single-document summarization: beating the baselines with a new approach. 268-269
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Enterprise engineering track
- Ricardo Pérez-Castillo

, Ignacio García Rodríguez de Guzmán
, Mario Piattini
, Barbara Weber
, Ángeles Saavedra Places
:
An empirical comparison of static and dynamic business process mining. 272-279 - Anne Cleven, Robert Winter, Felix Wortmann:

Process performance management: illuminating design issues through a systematic problem analysis. 280-286 - Tim A. Majchrzak, Tobias Jansen, Herbert Kuchen:

Efficiency evaluation of open source ETL tools. 287-294 - Christian Janiesch

, Martin Matzner
, Oliver Müller, Robert Vollmer, Jörg Becker
:
Slipstream: architecture options for real-time process analytics. 295-300 - Yu Li, Andreas Oberweis, Huayu Zhang:

An integrated approach for modeling and facilitating RFID-based collaborative logistics processes. 301-307 - Rafael Accorsi, Claus Wonnemann:

Strong non-leak guarantees for workflow models. 308-314 - Wouter Spoelstra, Maria-Eugenia Iacob, Marten van Sinderen

:
Software reuse in agile development organizations: a conceptual management tool. 315-322 - João Paulo A. Almeida

, Evellin Cristine Souza Cardoso:
On the elements of an enterprise: towards an ontology-based account. 323-330
Applications, distributed systems, and engineering: Poster papers
- Usman Wajid, Nikolay Mehandjiev, Abdallah Namoun

, Panagiotis Gouvas:
Tool support for realising a common understanding of business documents in collaborating enterprises. 331-333 - Andreas Emrich, Alexandra Chapko, Christina Di Valentin, Dirk Werth:

An architecture proposal for the prosumerized enterprise. 334-335
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Embedded systems: applications, solutions, and techniques track
- Hiromasa Shimada, Yuki Kinebuchi, Tsung-Han Lin, Alexandre Courbot, Tatsuo Nakajima:

Design issues in composition kernels for highly functional embedded systems. 338-345 - Sung Kyu Park, Youngwoo Park, Gyudong Shim, Kyu Ho Park:

CAVE: channel-aware buffer management scheme for solid state disk. 346-353 - Huafeng Yu

, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent:
System-level co-simulation of integrated avionics using polychrony. 354-359 - Seongwook Jin, Jaehong Kim, Jaegeuk Kim, Jaehyuk Huh, Seungryoul Maeng:

Sector log: fine-grained storage management for solid state drives. 360-367 - N. Venkatesh, Ruchir Gulati, Rajeev Bhujade, M. Girish Chandra:

Fixed-point implementation of isolated sub-word level speech recognition using hidden Markov models. 368-373 - Sehwan Lee, Bitna Lee, Kern Koh, Hyokyung Bahn:

A lifespan-aware reliability scheme for RAID-based flash storage. 374-379 - Peter Ulbrich

, Rüdiger Kapitza, Christian Harkort, Reiner N. Schmid, Wolfgang Schröder-Preikschat:
I4Copter: an adaptable and modular quadrotor platform. 380-386 - Kwan Yong Sim

, Fei-Ching Kuo, Robert G. Merkel
:
Fuzzing the out-of-memory killer on embedded Linux: an adaptive random approach. 387-392
Applications, distributed systems, and engineering: Poster papers
- Zheng Ding, Wei Shu, Min-You Wu:

FPGA based parallel transitive closure algorithm. 393-394 - Yu Liu, Wei Zhang

:
Exploiting time predictable two-level scratchpad memory for real-time systems. 395-396
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Mobile computing and applications track
- Hiroaki Kimura, Jun Ebisui, Yoshio Funabashi, Akihito Yoshii, Tatsuo Nakajima:

iDetective: a persuasive application to motivate healthier behavior using smart phone. 399-404 - Shinichi Yataka, Kohei Tanaka, Tsutomu Terada

, Masahiko Tsukamoto:
A context-aware audio presentation method in wearable computing. 405-412 - Edison Pignaton de Freitas

, Tales Heimfarth, Luiz Augusto Guimarães Costa, Armando Morado Ferreira, Carlos Eduardo Pereira
, Flávio Rech Wagner, Tony Larsson:
Analyzing different levels of geographic context awareness in agent ferrying over VANETs. 413-418 - Karan Mitra

, Arkady B. Zaslavsky, Christer Åhlund
:
A probabilistic context-aware approach for quality of experience measurement in pervasive systems. 419-424 - Elisa Gonzalez Boix, Andoni Lombide Carreton, Christophe Scholliers

, Tom Van Cutsem
, Wolfgang De Meuter, Theo D'Hondt:
Flocks: enabling dynamic group interactions in mobile social networking applications. 425-432 - Keng-Pei Lin, Ming-Syan Chen

:
Towards communication-efficient private location dependent queries. 433-438 - Farzana Rahman, Md. Endadul Hoque, Sheikh Iqbal Ahamed:

REBIVE: a reliable private data aggregation scheme for wireless sensor networks. 439-444 - Chin-Liang Tsai, Hsiao-Wen Chen, Jiun-Long Huang, Chih-Lin Hu

:
Transmission reduction between mobile phone applications and RESTful APIs. 445-450
Applications, distributed systems, and engineering: Poster papers
- William R. Claycomb, Dongwan Shin

:
Formal analysis of device authentication applications in ubiquitous computing. 451-452 - Farzana Rahman, Md. Endadul Hoque, Sheikh Iqbal Ahamed:

ProQuPri: towards anonymity protection with privacy quantification for context-aware applications. 453-454
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Mediation services in computing environments track
- Marcel Tilly, Stephan Reiff-Marganiec

:
Matching customer requests to service offerings in real-time. 456-461 - Szu-Yin Lin, Kuo-Ming Chao

, Chi-Chun Lo:
Service-oriented dynamic data driven application systems to potential field method vehicle navigation. 462-467
Applications, distributed systems, and engineering: Poster papers
- Alex Norta

:
A choreography language for eBusiness collaboration. 468-469
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Networking track
- Romain Fontugne, Kensuke Fukuda:

A Hough-transform-based anomaly detector with an adaptive time interval. 471-477 - Vasilis Sourlas

, Georgios S. Paschos, Petteri Mannersalo, Paris Flegkas, Leandros Tassiulas:
Modeling the dynamics of caching in content-based publish/subscribe systems. 478-485 - Marija Kalendar, Danijela Jakimovska, Aristotel Tentov, Goce Dokoski:

Novel processor architecture for modified advanced routing in NGN. 486-491 - Alberto E. Schaeffer Filho

, Paul Smith
, Andreas Mauthe
:
Policy-driven network simulation: a resilience case study. 492-497 - Prasanthi Sreekumari, Sang-Hwa Chung:

A new TCP mechanism for reducing retransmission timeouts over multi-hop wireless networks. 498-505 - Yuuichi Teranishi, Susumu Takeuchi, Kaname Harumoto:

HDOV: an overlay network for wide area spatial data collection. 506-513 - Tingwen Liu

, Yong Sun, Li Guo, Binxing Fang:
Improving matching performance of DPI traffic classifier. 514-519 - Zhang Fu, Marina Papatriantafilou

, Philippas Tsigas
:
CluB: a cluster based framework for mitigating distributed denial of service attacks. 520-527 - Adetokunbo Makanju, Nur Zincir-Heywood

, Evangelos E. Milios
:
Storage and retrieval of system log events using a structured schema based on message type transformation. 528-533 - Jehan-François Pâris

, Ahmed Amer, Darrell D. E. Long:
Accelerated chaining: a better way to harness peer power in video-on-demand applications. 534-539
Applications, distributed systems, and engineering: Poster papers
- Yipeng Wang, Zhibin Zhang, Li Guo:

Traffic classification beyond application level: identifying content types from network traces. 540-541 - Jing Liu, Haibo Wu

, Xinming Ye, Jun Li:
Scalable CP-nets modeling for BitTorrent protocol. 542-543
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Operating systems track
- Jian-Jia Chen

, Kai Huang, Lothar Thiele:
Power management schemes for heterogeneous clusters under quality of service requirements. 546-553 - Min Zhu, Miao Yu, Mingyuan Xia, Bingyu Li, Peijie Yu, Shang Gao, Zhengwei Qi, Liang Liu, Ying Chen, Haibing Guan:

VASP: virtualization assisted security monitor for cross-platform protection. 554-559 - Wanyong Tian, Chun Jason Xue

, Minming Li
, Enhong Chen:
Loop fusion and reordering for register file optimization on stream processors. 560-565 - Heejune Ahn, Sang Chul Ahn, Junyoung Heo

, Sung Y. Shin:
Fault tolerant framework and techniques for component-based autonomous robot systems. 566-572 - Jun Nakajima, Qian Lin, Sheng Yang, Min Zhu, Shang Gao, Mingyuan Xia, Peijie Yu, Yaozu Dong, Zhengwei Qi, Kai Chen, Haibing Guan:

Optimizing virtual machines using hybrid virtualization. 573-578 - Zhiyong Shan, Tzi-cker Chiueh, Xin Wang:

Virtualizing system and ordinary services in Windows-based OS-level virtual machines. 579-583 - Junghoon Lee, Gyung-Leen Park, Sang-Wook Kim, Hye-Jin Kim, Chang Oan Sung:

Power consumption scheduling for peak load reduction in smart grid homes. 584-588 - Tae-Sun Chung, Dong-Joo Park, Jongik Kim:

LSTAFF*: an efficient flash translation layer for large block flash memory. 589-594 - Hyunchul Seok, Youngwoo Park, Kyu Ho Park:

Migration based page caching algorithm for a hybrid main memory of DRAM and PRAM. 595-599 - Chin-Hsien Wu, Hau-Shan Wu:

A data de-duplication access framework for solid state drives. 600-604 - Jen-Wei Hsieh, Shang-Yang Chang:

An open-system framework for flash-memory storage system. 605-610 - Seokhyun Kim, Geunyoung Park, Jiman Hong, Yookun Cho:

Adaptive link recovery scheme for structured peer-to-peer networks under churn. 611-615 - Mei-Ling Chiang

, Hsiang-Yu Hsu:
Supporting dynamic update and resource protection in an embedded operating system. 616-620
Applications, distributed systems, and engineering: Poster papers
- Sanghyun Ahn, Yujin Lim, Sanggil Kang:

Development of the wireless embedded sensor network for energy-efficient flooding. 621-622 - Qian Lin, Mingyuan Xia, Miao Yu, Peijie Yu, Min Zhu, Shang Gao, Zhengwei Qi, Kai Chen, Haibing Guan:

SPAD: software protection through anti-debugging using hardware virtualization. 623-624 - Younghwan Kim, TaeHyoung Kim, Yuri Kim, Ah-Reum Kim:

FMCM: a efficient flash memory cache management scheme for energy-efficient disks. 625-626 - Youngsam Shin, Seungwon Lee, Minyoung Son, Shihwa Lee:

Predictable multithread scheduling with cycle-accurate thread progress monitor. 627-628 - Hitoshi Mitake, Yuki Kinebuchi, Alexandre Courbot, Tatsuo Nakajima:

Coexisting real-time OS and general purpose OS on an embedded virtualization layer for a multicore processor. 629-630 - Hyeong-chan Lee, Chung Hui Kim, Jeong Hyun Yi

:
Experimenting with system and Libc call interception attacks on ARM-based Linux kernel. 631-632 - Joongjin Kook

, Sukil Hong, Wooseung Lee, Eunkyeung Jae, Jung-Yeop Kim:
Optimization of out of memory killer for embedded Linux environments. 633-634
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Green/power-aware design and optimization track
- Fanxin Kong, Nan Guan

, Qingxu Deng, Wang Yi:
Energy-efficient scheduling for parallel real-time tasks based on level-packing. 635-640 - Xia Zhao, Yao Guo

, Qing Feng, Xiangqun Chen:
A system context-aware approach for battery lifetime prediction in smart phones. 641-646
Applications, distributed systems, and engineering: Poster papers
- Arun Rangasamy, Y. N. Srikant:

Petri net based performance modeling for effective DVFS for multithreaded programs. 647-648
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Requirements engineering track
- Golnaz Elahi, Eric S. K. Yu:

Requirements trade-offs analysis in the absence of quantitative measures: a heuristic method. 651-658 - Ebrahim Bagheri

, Faezeh Ensan:
Consolidating multiple requirement specifications through argumentation. 659-666 - Patrícia Varela, João Araújo

, Isabel Sofia Brito
, Ana Moreira
:
Aspect-oriented analysis for software product lines requirements engineering. 667-674 - Jennifer Horkoff

, Eric S. K. Yu:
Analyzing goal models: different approaches and how to choose among them. 675-682 - Ivana Ognjanovic

, Dragan Gasevic
, Ebrahim Bagheri
, Mohsen Asadi:
Conditional preferences in software stakeholders' judgments. 683-690 - Mohsen Asadi, Ebrahim Bagheri

, Dragan Gasevic
, Marek Hatala, Bardia Mohabbati:
Goal-driven software product line engineering. 691-698 - Márcia Lucena

, Jaelson Castro
, Carla T. L. L. Silva, Fernanda M. R. Alencar
, Emanuel Santos:
Stream: a strategy for transition between requirements models and architectural models. 699-704 - Garyfallos Fragidis, Konstantinos A. Tarabanis

:
Analyzing value co-creation in service systems: contribution from GORE. 705-707 - Ricardo Argenton Ramos

, Jaelson Brelaz de Castro
, João Araújo
, Fernanda M. R. Alencar
:
Towards the improvement of use case models: the AIRDoc process. 708-709
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Real-time systems track
- Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate:

A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems. 711-716 - Mohammad Mahdi Jaghoori:

From nonpreemptive to preemptive scheduling: from single-processor to multi-processor? 717-722 - Yu Liu, Wei Zhang:

Stack distance based worst-case instruction cache performance analysis. 723-728 - Florian Many, David Doose:

Fault tolerance evaluation and schedulability analysis. 729-734 - Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti:

Multiprocessor schedulability analyser. 735-741 - Raphael Guerra, Gerhard Fohler

:
Handling overload of target sensitive real-time applications for increased system utility and improved resource usage. 742-747
Applications, distributed systems, and engineering: Poster papers
- Jupyung Lee, Geunsik Lim, Sang-Bum Suh:

Preemptibility-aware responsive multi-core scheduling. 748-749
Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Web technologies track
- Georg Singer, Ulrich Norbisrath, Eero Vainikko

, Hannu Kikkas, Dirk Lewandowski
:
Search-logger analyzing exploratory search tasks. 751-756 - Tim A. Majchrzak, Kay F. Hildebrand:

Game vendors' influence on the monetary value of virtual goods. 757-764 - Jeroen van der Meer, Ferry Boon, Frederik Hogenboom, Flavius Frasincar

, Uzay Kaymak
:
A framework for automatic annotation of web pages using the Google rich snippets vocabulary. 765-772 - Jiwoon Ha, Duck-Ho Bae, Sang-Wook Kim, Seok-Chul Baek, Byeong-Soo Jeong:

Analyzing a Korean blogosphere: a social network analysis perspective. 773-777 - Luiz Alexandre Hiane da Silva Maciel, Celso Massaki Hirata

:
Extending timestamp-based two phase commit protocol for RESTful services to meet business rules. 778-785 - Yun-Jung Lee, Eun-Kyung Kim, Hwan-Gue Cho, Gyun Woo:

Visualizing dispute sections and relations from the sequence of replying comments. 786-791 - Daniel Schall, Florian Skopik

, Harald Psaier, Schahram Dustdar
:
Bridging socially-enhanced virtual communities. 792-799 - Matti Anttonen, Arto Salminen, Tommi Mikkonen, Antero Taivalsaari

:
Transforming the web into a real application platform: new technologies, emerging trends and missing pieces. 800-807 - Jodi Schneider

, Alexandre Passant, John G. Breslin
:
Understanding and improving Wikipedia article discussion spaces. 808-813 - Antonina Dattolo

, Davide Eynard, Luca Mazzola
:
An integrated approach to discover tag semantics. 814-820
Applications, distributed systems, and engineering: Poster papers
- Tim A. Majchrzak, Adalbert Jakubiec, Martin Lablans, Frank Ückert:

Towards better social integration through mobile web 2.0 ambient assisted living devices. 821-822 - Kenta Sasaki, Masayuki Okamoto, Nayuko Watanabe, Masaaki Kikuchi, Takayuki Iida, Masanori Hattori:

Extracting preference terms from web browsing histories excluding pages unrelated to users' interests. 823-824 - Fan Zhang, Di Wu, Naiyong Ao, Gang Wang, Xiaoguang Liu, Jing Liu:

Fast lists intersection with Bloom filter using graphics processing units. 825-826
Artificial intelligence & agents, information systems, and software development: advances in spatial and image-based information systems track
- Virupaksha Kanjilal, Markus Schneider:

Spatial network modeling for databases. 827-832 - Hechen Liu, Markus Schneider:

Tracking continuous topological changes of complex moving regions. 833-838
Artificial intelligence & agents, information systems, and software development: Computational intelligence and signal and image analysis track
- Volkmar Frinken, Andreas Fischer, Horst Bunke:

Improving handwritten keyword spotting with self-training. 840-845 - Yin-Fu Huang, Li-Wen Chen:

An event-based video retrieval system by combining broadcasting baseball video and web-casting text. 846-852 - Huaifei Hu, Hong Liu, Lili Chen, Chih-Cheng Hung, Xiangyang Xu, Zhicong Lan:

Image segmentation of cervical vertebra in X-ray radiographs using the curve fitting strategy. 853-858
Artificial intelligence & agents, information systems, and software development: Poster papers
- Yihua Lan, Hong Liu, Enmin Song, Chih-Cheng Hung:

A comparative study and analysis on K-view based algorithms for image texture classification. 859-860
Artificial intelligence & agents, information systems, and software development: Coordination models, languages and applications track
- Asma Cherif, Abdessamad Imine, Michaël Rusinowitch:

Optimistic access control for distributed collaborative editors. 861-868 - Elena Nardini, Andrea Omicini

, Mirko Viroli
:
Description spaces with fuzziness. 869-876 - Carlos Rodríguez, Mario E. Sánchez

, Jorge Villalobos
:
Executable model composition: a multilevel approach. 877-884
Artificial intelligence & agents, information systems, and software development: Poster papers
- Marco Sbaraglia, Matteo Casadei, Mirko Viroli

:
Programming coordination laws of artifacts in CArtAgO. 885-886
Artificial intelligence & agents, information systems, and software development: Constraint Solving and Programming Track
- Fabio Parisini, Michela Milano:

Improving CP-based local branching via sliced neighborhood search. 887-892 - Robin Steiger, Willem Jan van Hoeve, Radoslaw Szymanek:

An efficient generic network flow constraint. 893-900 - Emanuele Di Rosa, Enrico Giunchiglia

, Barry O'Sullivan
:
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. 901-906 - Christopher Jefferson

, Wendy Moncur
, Karen E. Petrie
:
Combination: automated generation of puzzles with constraints. 907-912 - Stefano Bistarelli

, Paola Campli, Francesco Santini
:
Finding partitions of arguments with Dung's properties via SCSPs. 913-919
Artificial intelligence & agents, information systems, and software development: Poster papers
- Yves Caniou, Philippe Codognet, Daniel Diaz

, Salvador Abreu
:
Parallel constraint-based local search on the HA8000 supercomputer (abstract). 920-921 - Éric Monfroy, Carlos Castro, Broderick Crawford

, Christian Figueroa:
Adaptive hybridization strategies. 922-923
Artificial intelligence & agents, information systems, and software development: Data mining track
- Christine Largeron, Christophe Moulin, Mathias Géry:

Entropy based feature selection for text categorization. 924-928 - Yin-Fu Huang, Jyun-Jhang Huang:

Semantic event detection in baseball videos based on a multi-output hidden Markov model. 929-936 - Seung-Hwan Lim, Sang-Wook Kim, Soyoun Kim, Sanghyun Park:

Construction of a blog network based on information diffusion. 937-941 - Tao Ban, Changshui Zhang, Shigeo Abe

, Takeshi Takahashi
, Youki Kadobayashi:
Mining interlacing manifolds in high dimensional spaces. 942-949 - Carson Kai-Sang Leung

, Fan Jiang:
Frequent itemset mining of uncertain data streams using the damped window model. 950-955 - Philippe Fournier-Viger

, Roger Nkambou, Vincent Shin-Mu Tseng:
RuleGrowth: mining sequential rules common to several sequences by pattern-growth. 956-961 - Madhu Ahluwalia, Aryya Gangopadhyay, Zhiyuan Chen, Yelena Yesha:

Target-based privacy preserving association rule mining. 962-967 - Xueke Xu, Tao Meng, Xueqi Cheng:

Aspect-based extractive summarization of online reviews. 968-975 - Alfredo Cuzzocrea

, Paolo Serafino:
ClustCube: an OLAP-based framework for clustering and mining complex database objects. 976-982
Artificial intelligence & agents, information systems, and software development: Poster papers
- Carson Kai-Sang Leung

, Lijing Sun:
Equivalence class transformation based mining of frequent itemsets from uncertain data. 983-984 - Meirong Wang, Lijun Jiang, Liru Zhang, Tadashi Ohmori:

Exact top-k keyword search on graph databases. 985-986
Artificial intelligence & agents, information systems, and software development: Data streams track
- Elena Ikonomovska, João Gama

, Saso Dzeroski
:
Incremental multi-target model trees for data streams. 988-993 - João Bártolo Gomes, Ernestina Menasalvas Ruiz

, Pedro A. C. Sousa:
Learning recurring concepts from data streams with a context-aware ensemble. 994-999 - Raman Adaikkalavan, Thomas Perez:

Secure shared continuous query processing. 1000-1005 - Pedro Pereira Rodrigues

, João Gama
, João Araújo, Luís M. B. Lopes:
L2GClust: local-to-global clustering of stream sources. 1006-1011
Artificial intelligence & agents, information systems, and software development: Poster papers
- Abhijat Sinha, Hossein Tayebi, Shonali Krishnaswamy, Agustinus Borgy Waluyo, Mohamed Medhat Gaber

:
Resource-aware ECG analysis on mobile devices. 1012-1013
Artificial intelligence & agents, information systems, and software development: Database theory, technology, and applications track
- Norvald H. Ryeng, Jon Olav Hauglid, Kjetil Nørvåg

:
Site-autonomous distributed semantic caching. 1015-1021 - Shen Liu

, Ling Chen, Gencai Chen:
Voronoi-based range query for trajectory data in spatial networks. 1022-1026 - Guilherme Dal Bianco, Renata de Matos Galante, Carlos A. Heuser:

A fast approach for parallel deduplication on multicore processors. 1027-1032 - Karim Benouaret, Djamal Benslimane, Allel HadjAli:

Top-k service compositions: a fuzzy set-based approach. 1033-1038 - Lixiao Zheng

, Haiming Chen:
Determinacy and rewriting of conjunctive queries over unary database schemas. 1039-1044 - Claus Dabringer, Johann Eder

:
Efficient top-k retrieval for user preference queries. 1045-1052 - Hasan M. Jamil

:
Computing subgraph isomorphic queries using structural unification and minimum graph structures. 1053-1058
Artificial intelligence & agents, information systems, and software development: Poster papers
- Olalekan Kadri, Christie I. Ezeife:

Mining uncertain web log sequences with access history probabilities. 1059-1060
Artificial intelligence & agents, information systems, and software development: Applications of evolutionary computing track
- Kengo Katayama, Akinori Kohmura, Keiko Kohmoto, Hideo Minamihara:

Memetic algorithm with strategic controller for the maximum clique problem. 1062-1069 - Henry Santosa, John Milton, Paul J. Kennedy

:
HMXT-GP: an information-theoretic approach to genetic programming that maintains diversity. 1070-1075 - Pham Trung Kien, Nguyen Duy Hiep, Huynh Thi Thanh Binh:

New hybrid genetic algorithm for solving optimal communication spanning tree problem. 1076-1081 - Alfonso E. Márquez Chamorro, Federico Divina

, Jesús S. Aguilar-Ruiz
:
Evolutionary computation for the prediction of secondary protein structures. 1082-1087
Artificial intelligence & agents, information systems, and software development: Poster papers
- Kamer Ali Yüksel, Batuhan Bozkurt, Hamed Ketabdar:

A software platform for genetic algorithms based parameter estimation on digital sound synthesizers. 1088-1089 - Aparna Mandke Dani, Bharadwaj Amrutur, Y. N. Srikant:

Applying genetic algorithms to optimize the power in tiled SNUCA chip multicore architectures. 1090-1091
Artificial intelligence & agents, information systems, and software development: Geometric constraints and reasoning track
- Gui-Fang Zhang:

Well-constrained completion for under-constrained geometric constraint problem based on connectivity analysis of graph. 1094-1099 - Simon E. B. Thierry

:
A particle-spring approach to geometric constraints solving. 1100-1105 - Asem Kasem

, Fadoua Ghourabi, Tetsuo Ida:
Origami axioms and circle extension. 1106-1111
Artificial intelligence & agents, information systems, and software development: Information access and retrieval track
- Patrick Bosc, Olivier Pivert:

On three fuzzy connectives for flexible data retrieval and their axiomatization. 1114-1118 - Mostafa Keikha, Shima Gerani, Fabio Crestani

:
Relevance stability in blog retrieval. 1119-1123 - Dion Hoe-Lian Goh, Chei Sian Lee, Alton Yeow-Kuan Chua:

Performance and perceptions of human computation games for image tagging. 1124-1129 - Chiao-Fang Hsu, James Caverlee, Elham Khabiri:

Hierarchical comments-based clustering. 1130-1137 - Zheng Ye, Xiangji Huang

, Hongfei Lin:
A Bayesian network approach to context sensitive query expansion. 1138-1142 - Yeming Hu, Evangelos E. Milios

, James Blustein
:
Interactive feature selection for document clustering. 1143-1150 - Adam Jatowt

, Yukiko Kawai, Katsumi Tanaka:
Calculating content recency based on timestamped and non-timestamped sources for supporting page quality estimation. 1151-1158 - Duy Dinh, Lynda Tamine:

Biomedical concept extraction based on combining the content-based and word order similarities. 1159-1163
Artificial intelligence & agents, information systems, and software development: Poster papers
- Jorge Costa, Gabriel Pereira Lopes

, Luís Gomes
, Luís M. S. Russo:
Representing a bilingual lexicon with suffix trees. 1164-1165 - Ourdia Bouidghaghen, Lynda Tamine, Mohand Boughanem:

Inferring situation-based interests for mobile users: a case based reasoning approach. 1166-1167
Artificial intelligence & agents, information systems, and software development: Intelligent/innovative learning environments track
- Mamoun Nawahdah, Tomoo Inoue:

Positioning a virtual teacher in an MR physical task learning support system. 1169-1174 - Laysa Mabel de Oliveira Fontes, Francisco Milton Mendes Neto, Alexandre Ádames Alves Pontes, Gustavo Augusto Lima de Campos:

An agent-based architecture for supporting the workgroups creation and the detection of out-of-context conversation on problem-based learning in virtual learning environments. 1175-1180 - Chao-Lin Liu, Chia-Ying Lee, Jie-Li Tsai, Chia-Ling Lee:

A cognition-based interactive game platform for learning Chinese characters. 1181-1186 - Douglas Véras, Ig Ibert Bittencourt, Heitor Barros, Marlos Silva, Evandro de Barros Costa:

A solution for personalized t-learning applications integrated with a web educational platform. 1187-1193 - Jairo C. Simões, Nizam Omar:

Leveraging the dynamics of learning by modeling and managing psychosocial relations and behavior by means of game theory and memetics. 1194-1201 - Vanessa Araujo Borges, José Carlos Maldonado, Ellen Francine Barbosa:

Towards the establishment of supporting mechanisms for modeling and generating educational content. 1202-1207
Artificial intelligence & agents, information systems, and software development: Poster papers
- Mirfat Akter Sharmin, Md. Mizanur Rahman, Syed Ishtiaque Ahmed

, Md. Mustafizur Rahman, S. M. Ferdous
:
Teaching intelligible speech to the autistic children by interactive computer games. 1208-1209 - Jin-Su Lim, Jeong-Hoon Ji, Yun-Jung Lee, Gyun Woo:

Style Avatar: a visualization system for teaching C coding style. 1210-1211 - Ana Emília de Melo Queiroz, Alex Sandro Gomes

, Cláudia Roberta Araújo Gomes, Sávio Silveira de Queiroz:
Effects of scaffoldings on interactive diagram constructions in educational interface for elementary school teachers training. 1212-1213
Artificial intelligence & agents, information systems, and software development: Multimedia and visualization track
- Daniel Ribeiro Trindade

, Alberto Barbosa Raposo
:
Improving 3D navigation in multiscale environments using cubemap-based techniques. 1215-1221 - Kaori Kusama, Takayuki Itoh:

MusCat: a music browser featuring abstract pictures and zooming user interface. 1222-1228 - Dong-Sung Ryu, Kwanghwi Kim, Sun-Young Park, Hwan-Gue Cho:

A web-based photo management system for large photo collections with user-customizable quality assessment. 1229-1236 - Marcus F. C. Alencar, Alberto Barbosa Raposo

, Simone Diniz Junqueira Barbosa
:
Composition of HCI evaluation methods for hybrid virtual environments. 1237-1244 - Ai Gomi, Takayuki Itoh:

A personal photograph browser for life log analysis based on location, time, and person. 1245-1251 - Diogo Pedrosa, José Augusto C. Martins Jr., Erick Lazaro Melo, César A. C. Teixeira:

A multimodal interaction component for digital television. 1253-1258 - Bruno Seabra Lima, Luiz Fernando Gomes Soares, Marcelo Ferreira Moreno

:
Considering non-functional aspects in the design of hypermedia authoring tools. 1259-1266 - Didier Augusto Vega-Oliveros

, Diogo Santana Martins, Maria da Graça Campos Pimentel:
Media-oriented operators for authoring interactive multimedia documents generated from capture sessions. 1267-1272
Artificial intelligence & agents, information systems, and software development: Object oriented programming languages and systems track
- Elisa Gonzalez Boix, Carlos Noguera, Tom Van Cutsem

, Wolfgang De Meuter, Theo D'Hondt:
REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications. 1275-1281 - Michael Haupt, Michael Perscheid, Robert Hirschfeld:

Type harvesting: a practical approach to obtaining typing information in dynamic programming languages. 1282-1289 - Seonghoon Kang, Sukyoung Ryu

:
FortressCheck: automatic testing for generic properties. 1290-1296
Artificial intelligence & agents, information systems, and software development: Poster papers
- Pascal Coupey, Christophe Fouqueré:

A formal framework for a functional language with adaptable components. 1297-1298
Artificial intelligence & agents, information systems, and software development: Programming languages track
- Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero

, Yolanda Ortega-Mallén:
Relating function spaces to resourced function spaces. 1301-1308 - Tom Dinkelaker, Michael Eichberg

, Mira Mezini:
Incremental concrete syntax for embedded languages. 1309-1316 - Ralf Lämmel

, Ekaterina Pek, Jürgen Starek:
Large-scale, AST-based API-usage analysis of open-source Java projects. 1317-1324 - Mirko Viroli

, Jacob Beal
, Matteo Casadei:
Core operational semantics of Proto. 1325-1332 - Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:

A domain-specific language for managing feature models. 1333-1340
Artificial intelligence & agents, information systems, and software development: Poster papers
- Tobias Gutzmann, Jonas Lundberg, Welf Löwe:

Feedback-driven points-to analysis. 1341-1342 - Amel Mammar:

An overview of a proof-based approach to detecting C vulnerabilities. 1343-1344
Artificial intelligence & agents, information systems, and software development: Programming for separation of concerns track
- Peter Ebraert, Quinten David Soetens, Dirk Janssens:

Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation. 1345-1352 - Michihiro Horie, Satoshi Morita, Shigeru Chiba:

Distributed dynamic weaving is a crosscutting concern. 1353-1360
Artificial intelligence & agents, information systems, and software development: Poster papers
- Rodrigo Ramos Couto, Rodrigo Pereira Valentim, Udo Fritzke Jr., Luiz Alberto Ferreira Gomes

, Daniel Merli Morais:
Structuring adaptive replicated systems with design patterns and aspects. 1361-1362
Artificial intelligence & agents, information systems, and software development: Intelligent robotic systems track
- Weiya Yue, John V. Franco, Weiwei Cao, Hongwei Yue:

ID* Lite: improved D* Lite algorithm. 1364-1369 - Milton Roberto Heinen, Paulo Martins Engel:

Incremental feature-based mapping from sonar data using Gaussian mixture models. 1370-1375 - Jefferson R. Souza

, Daniel O. Sales, Patrick Yuri Shinzato, Fernando Santos Osório
, Denis F. Wolf:
Template-based autonomous navigation in urban environments. 1376-1381 - Mohammad Reza Mohammadi, Saeed Shiry Ghidary

:
Integrated PSO and line based representation approach for SLAM. 1382-1388
Artificial intelligence & agents, information systems, and software development: Software engineering track
- Xiang Chen, Lijiu Zhang, Qing Gu, Haigang Zhao, Ziyuan Wang, Xiaobing Sun

, Daoxu Chen:
A test suite reduction approach based on pairwise interaction of requirements. 1390-1397 - Alberto González-Sanchez, Rui Abreu

, Hans-Gerhard Groß, Arjan J. C. van Gemund:
An empirical study on the usage of testability information to fault localization in software. 1398-1403 - Kai Yu, Mengxiang Lin, Qing Gao, Hui Zhang, Xiangyu Zhang:

Locating faults using multiple spectra-specific models. 1404-1410 - Hiroyuki Nakagawa

, Nobukazu Yoshioka
, Akihiko Ohsuga, Shinichi Honiden:
IMPULSE: a design framework for multi-agent systems based on model transformation. 1411-1418 - Djuradj Babich, Peter J. Clarke

, James F. Power
, B. M. Golam Kibria
:
Using a class abstraction technique to predict faults in OO classes: a case study through six releases of the Eclipse JDT. 1419-1424 - Daniel Woodraska, Michael Sanford, Dianxiang Xu:

Security mutation testing of the FileZilla FTP server. 1425-1430 - Hanh Nhi Tran

, Bernard Coulette, Tran Dan Thu, My Hang Vu:
Automatic reuse of process patterns in process modeling. 1431-1438 - Xiaobing Sun

, Bixin Li, Sai Zhang, Chuanqi Tao, Xiang Chen, Wanzhi Wen:
Using lattice of class and method dependence for change impact analysis of object oriented programs. 1439-1444 - Laura Sánchez-González, Francisco Ruiz

, Félix García
, Jorge Cardoso
:
Towards thresholds of control flow complexity measures for BPMN models. 1445-1450 - Dongjiang You, Zhenyu Chen, Baowen Xu

, Bin Luo, Chen Zhang:
An empirical study on the effectiveness of time-aware test case prioritization techniques. 1451-1456 - Vidroha Debroy, W. Eric Wong:

On the equivalence of certain fault localization techniques. 1457-1463 - HyeonJeong Kim, Vidroha Debroy, Doo-Hwan Bae:

Identifying properties of UML state machine diagrams that affect data and control dependence. 1464-1469 - Jonathan Michaux, Xavier Blanc, Marc Shapiro, Pierre Sutra

:
A semantically rich approach for collaborative model edition. 1470-1475 - Shuo Liu, Gang Quan

, Shangping Ren:
On-line scheduling of real-time services with profit and penalty. 1476-1481 - Fei-Ching Kuo, Shuang Liu, Tsong Yueh Chen

:
Testing a binary space partitioning algorithm with metamorphic testing. 1482-1489
Artificial intelligence & agents, information systems, and software development: Poster papers
- Cuixiong Hu, Iulian Neamtiu:

A GUI bug finding framework for Android applications. 1490-1491
Artificial intelligence & agents, information systems, and software development: Computer security track
- Karsten Sohr

, Tanveer Mustafa, Adrian Nowak:
Software security aspects of Java-based mobile phones. 1494-1501 - Jan Cederquist

, Mohammad Torabi Dashti
:
Complexity of fairness constraints for the Dolev-Yao attacker model. 1502-1509 - Madeline González Muñiz, Peeter Laud

:
On the (im)possibility of perennial message recognition protocols without public-key cryptography. 1510-1515 - Orestis Kostakis, Joris Kinable

, Hamed Mahmoudi, Kimmo Mustonen:
Improved call graph comparison using simulated annealing. 1516-1523 - Lei Lei Shi, David W. Chadwick

:
A controlled natural language interface for authoring access control policies. 1524-1530 - Martin Johns

, Bastian Braun, Michael Schrank, Joachim Posegga:
Reliable protection against session fixation attacks. 1531-1537 - Wei Wang, Xiangliang Zhang

:
High-speed web attack detection through extracting exemplars from HTTP traffic. 1538-1543 - Hongxia Jin, Jeffrey B. Lotspiech:

Efficient traitor tracing for clone attack in content protection. 1544-1549 - Yan Zhu

, Huaixi Wang, Zexing Hu, Gail-Joon Ahn
, Hongxin Hu, Stephen S. Yau:
Dynamic audit services for integrity verification of outsourced storages in clouds. 1550-1557
Artificial intelligence & agents, information systems, and software development: Service oriented architecture and programming track
- Meriem Ouederni, Gwen Salaün, Ernesto Pimentel

:
Measuring the compatibility of service interaction protocols. 1560-1567 - Florian Skopik

, Daniel Schall, Harald Psaier, Schahram Dustdar
:
Adaptive provisioning of human expertise in service-oriented systems. 1568-1575 - Marcelo Teixeira

, Ricardo Massa Ferreira Lima, César A. L. de Oliveira, Paulo Romero Martins Maciel:
Planning service agreements in soa-based systems through stochastic models. 1576-1581 - Howard Foster, George Spanoudakis:

Advanced service monitoring configurations with SLA decomposition and selection. 1582-1589 - Waldemar Hummer, Philipp Leitner, Schahram Dustdar

:
WS-Aggregation: distributed aggregation of web services data. 1590-1597 - Ivan Porres

, Irum Rauf:
Modeling behavioral RESTful web service interfaces in UML. 1598-1605 - Bardia Mohabbati, Marek Hatala, Dragan Gasevic

, Mohsen Asadi, Marko Boskovic:
Development and configuration of service-oriented systems families. 1606-1613 - Peep Küngas, Marlon Dumas

:
Configurable SOAP proxy cache for data provisioning web services. 1614-1621
Artificial intelligence & agents, information systems, and software development: Poster papers
- Bertrand Verlaine, Ivan Jureta, Stéphane Faulkner:

Requirements engineering for services: an ontological framework. 1622-1623
Artificial intelligence & agents, information systems, and software development: Software verification and testing track
- Jan Olaf Blech

:
Proving the security of ElGamal encryption via indistinguishability logic. 1625-1632 - Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen:

A dynamic constraint-based BMC strategy for generating counterexamples. 1633-1638 - Cezary Kaliszyk

, Christian Urban:
Quotients revisited for Isabelle/HOL. 1639-1644 - François Picalausa, Frédéric Servais, Esteban Zimányi:

XEvolve: an XML schema evolution framework. 1645-1650 - Amel Mammar, Marc Frappier, Fama Diagne:

A proof-based approach to verifying reachability properties. 1651-1657 - Ralph-Johan Back, Viorel Preoteasa:

Semantics and proof rules of invariant based programs. 1658-1665 - Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous:

Application of partial-order methods for the verification of closed-loop SDL systems. 1666-1673
Artificial intelligence & agents, information systems, and software development: Semantic web and its application track
- Francisco Echarte, José Javier Astrain

, Alberto Córdoba, Jesús E. Villadangos
, Aritz Labat:
A method for the classification of folksonomy resources. 1675-1680 - Jinghua Groppe, Sven Groppe

:
Parallelizing join computations of SPARQL queries for large semantic web databases. 1681-1686 - Amal Zouaq, Dragan Gasevic

, Marek Hatala:
Ontologizing concept maps using graph theory. 1687-1692 - Damir Vandic, Jan-Willem van Dam, Frederik Hogenboom, Flavius Frasincar

:
A semantic clustering-based approach for searching and browsing tag spaces. 1693-1699 - Stefan Brüggemann, Hans-Jürgen Appelrath:

Context-aware replacement operations for data cleaning. 1700-1704 - Fu Zhang, Li Yan, Zong Min Ma

, Jingwei Cheng:
Knowledge representation and reasoning of XML with ontology. 1705-1710
Artificial intelligence & agents, information systems, and software development: Poster papers
- Stefan Thaler, Elena Simperl

, Katharina Siorpaes:
SpotTheLink: playful alignment of ontologies. 1711-1712 - Samira Sadaoui, Wei Jiang:

An offer evaluation system based on buyers' interests. 1713-1714
Artificial intelligence & agents, information systems, and software development: Trust, reputation, evidence and other collaboration know-how track
- Sujoy Ray, Mohammad Fahim Nizam, Swagata Das, Benjamin C. M. Fung

:
Verification of data pattern for interactive privacy preservation model. 1716-1723 - Yusuke Yamamoto

, Katsumi Tanaka:
ImageAlert: credibility analysis of text-image pairs on the web. 1724-1731 - Fenye Bao, Ing-Ray Chen, Moonjeong Chang, Jin-Hee Cho:

Hierarchical trust management for wireless sensor networks and its application to trust-based routing. 1732-1738 - Guido Schryen, Melanie Volkamer, Sebastian Ries, Sheikh Mahbub Habib

:
A formal approach towards measuring trust in distributed systems. 1739-1745

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














