21. SAC 2006: Dijon, France

AI and computational logic and image analysis (AI)

• Yaxin Bi, Werner Dubitzky:
  An evidential approach in ensembles. 1-6
  
• Khalil Djelloul, Thi-Bich-Hanh Dao:
  Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories. 7-14
  
• José Luís Malaquias, Agostinho Cláudio da Rosa, Carlos Manuel B. A. Correia:
  A small-world model of the human mind. 15-22
  
• Jia-Jun Wong, Siu-Yeung Cho:
  Facial emotion recognition by adaptive processing of tree structures. 23-30
  
• Sara Arasteh, Chih-Cheng Hung, Enmin Song:
  Adaptive dynamic run-length coding for image segmentation. 31-36
  
• Tony Lindgren:
  On handling conflicts between rules with numerical features. 37-41
  

Poster papers

• Yuichi Goto, Jingde Cheng:
  A quantitative analysis of implicational paradoxes in classical mathematical logic. 42-43
  
• Noriko Matsumoto, Norihiko Yoshida, Shuji Narazaki:
  Cooperative active contour model and its application to remote sensing. 44-45
  

Advances in spatial and image-based information systems (ASIIS)

• Xiao Ming Zhou, Chuan-Heng Ang, Tok Wang Ling:
  Dynamic interactive spatial similarity retrieval in iconic image databases using enhanced digraph. 46-51
  
• Thomas Hazel, Laura Toma, Jan Vahrenhold, Rajiv Wickremesinghe:
  TerraCost: a versatile and scalable approach to computing least-cost-path surfaces for massive grid-based terrains. 52-57
  
• Victor Teixeira de Almeida, Ralf Hartmut Güting:
  Using Dijkstra's algorithm to incrementally find the k-Nearest Neighbors in spatial network databases. 58-62
  
• Joel da Silva, Valéria Cesário Times, Ana Carolina Salgado:
  An open source and web based framework for geographic and multidimensional processing. 63-67
  
• Katerina Raptopoulou, Michael Vassilakopoulos, Yannis Manolopoulos:
  Efficient processing of past-future spatiotemporal queries. 68-72
  
• Jayendra Venkateswaran, S. R. Subramanya:
  Schemes for SR-Tree packing. 73-77
  
• KwangJin Park, MoonBae Song, Chong-Sun Hwang:
  Continuous spatial queries via wireless data broadcast. 78-82
  
• Julien Lesbegueries, Mauro Gaio, Pierre Loustau:
  Geographical information access for non-structured data. 83-89
  

Agents, interactions, mobility, and systems (AIMS)

• Giacomo Cabri, Luca Ferrari, Letizia Leonardi, Raffaele Quitadamo:
  Strong agent mobility for aglets based on the IBM JikesRVM. 90-95
  
• Costin Badica, Adriana Badita, Maria Ganzha:
  Implementing rule-based mechanisms for agent-based price negotiations. 96-100
  
• Yosi Ben-Asher, Shlomo Berkovsky, Yaniv Eytani:
  Management of unspecified semi-structured data in multi-agent environment. 101-105
  
• Hon Wai Leong, Ming Liu:
  A multi-agent algorithm for vehicle routing problem with time window. 106-111
  
• Marco M. Carvalho, Matteo Rebeschini, James Horsley, Niranjan Suri:
  A chat interface for human-agent interaction in MAST. 112-118
  
• Petr Benda, Pavel Jisl, Michal Pechoucek, Niranjan Suri, Marco M. Carvalho:
  A distributed stand-in agent based algorithm for opportunistic resource allocation. 119-125
  

Poster papers

• Thi Minh Luan Nguyen, Christophe Lecerf, Ivan Lavallée:
  A space aware agent-based modeling process for the study of hierarchical complex systems. 126-127
  
• Giancarlo Fortino, Alfredo Garro, Wilma Russo:
  From modeling to enactment of distributed workflows: an agent-based approach. 128-129
  

Bioinformatics (BIO)

• Mathew J. Palakal, William Perrizo:
  Editorial message: special track on bioinformatics. 130
  
• Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu:
  A constraint logic programming approach to 3D structure determination of large protein complexes. 131-136
  
• Paola Lecca:
  A time-dependent extension of gillespie algorithm for biochemical stochastic pi-calculus. 137-144
  
• Dirk Habich, Thomas Wächter, Wolfgang Lehner, Christian Pilarsky:
  Two-phase clustering strategy for gene expression data sets. 145-150
  
• Fabio Fassetti, Gianluigi Greco, Giorgio Terracina:
  Efficient discovery of loosely structured motifs in biological data. 151-155
  
• Marcelo S. Sousa, Alba Cristina Magalhaes Alves de Melo:
  PackageBLAST: an adaptive multi-policy grid service for biological sequence comparison. 156-160
  
• Roger A. Craig, Li Liao:
  Protein classification using transductive learning on phylogenetic profiles. 161-166
  
• Robert Bierman, Nidhi Maniyar, Charles Parsons, Rahul Singh:
  MACE: lossless compression and analysis of microarray images. 167-172
  
• Jake Yue Chen, Sarah L. Pinkerton, Changyu Shen, Mu Wang:
  An integrated computational proteomics method to extract protein targets for Fanconi Anemia studies. 173-179
  
• Lawrence H. Reeve, Hyoil Han, Ari D. Brooks:
  BioChain: lexical chaining methods for biomedical text summarization. 180-184
  
• Daniel Duanqing Wu, Xiaohua Hu:
  Mining and analyzing the topological structure of protein-protein interaction networks. 185-189
  
• Michael A. Langston, Andy D. Perkins, Arnold M. Saxton, Jon A. Scharff, Brynn H. Voy:
  Innovative computational methods for transcriptomic data analysis. 190-194
  
• Ket Fah Chong, Hon Wai Leong:
  An extension of dead end elimination for protein side-chain conformation using merge-decoupling. 195-199
  

Poster papers

• Luiz Henrique de Campos Merschmann, Alexandre Plastino:
  A Bayesian approach for protein classification. 200-201
  
• Patrick C. H. Ma, Keith C. C. Chan:
  A novel data mining algorithm for reconstructing gene regulatory networks from microarray data. 202-203
  

Computer applications in health care (CACH)

• Eoin McLoughlin, Dympna O'Sullivan, Michela Bertolotto, David C. Wilson:
  MEDIC: MobilE Diagnosis for Improved Care. 204-208
  
• Andrew C. Simpson, David J. Power, Mark Slaymaker:
  On tracker attacks in health grids. 209-216
  
• Jiandong Fang, Shiaofen Fang, Jeffrey Huang, Mihran Tuceryan:
  Digital geometry image analysis for medical diagnosis. 217-221
  
• Nicolas Gac, Stéphane Mancini, Michel Desvignes:
  Hardware/software 2D-3D backprojection on a SoPC platform. 222-228
  
• Vikas Singh, Lopamudra Mukherjee, Jinhui Xu, Kenneth R. Hoffmann:
  Solving the brachytherapy seed localization problem using geometric and linear programming techniques. 229-234
  
• Xiaohua Zhou, Hyoil Han, Isaac Chankai, Ann Prestrud, Ari D. Brooks:
  Approaches to text mining for clinical medical records. 235-239
  
• Shiaofen Fang, Min Lwin, Patricia R. Ebright:
  Visualization of unstructured text sequences of nursing narratives. 240-244
  
• Maria Andréia F. Rodrigues, Wendel Bezerra Silva, Rafael G. Barbosa, Isabel M. M. P. Ribeiro, Milton E. Barbosa Neto:
  J-Ortho: an open-source orthodontic treatment simulator. 245-249
  
• Joaquim Cezar Felipe, Marcela Xavier Ribeiro, Elaine P. M. de Sousa, Agma J. M. Traina, Caetano Traina Jr.:
  Effective shape-based retrieval and classification of mammograms. 250-255
  

Poster papers

• André Luiz Miranda da Rosa, Ilana de Almeida Souza, Adilson Yuuji Hira, Marcelo Knörich Zuffo:
  Development of a collaborative environment applied to pediatric oncology. 256-257
  
• Joaquim Cezar Felipe, Agma J. M. Traina, Caetano Traina Jr.:
  A new similarity measure for histograms applied to content-based retrieval of medical images. 258-259
  

Computer ethics and human values (CEHV)

• Keith W. Miller:
  Editorial message: computer ethics & human values track. 260
  
• Marty J. Wolf, Frances S. Grodzinsky:
  Good/fast/cheap: contexts, relationships and professional responsibility during software development. 261-266
  
• Noëmi Manders-Huits:
  Moral responsibility and IT for human enhancement. 267-271
  
• Deborah G. Johnson, Keith W. Miller:
  A dialogue on responsibility, moral agency, and IT systems. 272-276
  
• David G. Jenkins, Lisa A. McCauley:
  GIS, SINKS, FILL, and disappearing wetlands: unintended consequences in algorithm development and use. 277-282
  

Computer forensics (CF)

• Mike Burmester, Judie Mulholland:
  The advent of trusted computing: implications for digital forensics. 283-287
  
• Bob Breeden, Judie Mulholland:
  Investigating 'Internet Crimes Against Children' (ICAC) cases in the state of Florida. 288-292
  
• Jonathon Abbott, Jim Bell, Andrew Clark, Olivier Y. de Vel, George M. Mohay:
  Automated recognition of event scenarios for digital forensics. 293-300
  
• R. Lokhande, K. V. Arya, P. Gupta:
  Identification of parameters and restoration of motion blurred images. 301-305
  

Computer-aided law and advanced technologies (CLAT)

• Giovanni Sartor, Alessandra Villecco:
  Editorial message: special track on computer-aided law and advanced technologies. 306-307
  
• Pasquale De Meo, Giovanni Quattrone, Hind Fadil, Domenico Ursino:
  A multi-agent system for efficiently managing query answering in an e-government scenario. 308-312
  
• Maria Fasli:
  On the relationship between roles and power: preliminary report. 313-318
  

Poster papers

• Jingde Cheng:
  Deontic relevant logic as the logical basis for legal information systems. 319-320
  

Computer security (SEC)

• Giampaolo Bella, Peter Y. A. Ryan:
  Editorial message: special track on computer security. 321-322
  
• Fernando C. Colón Osorio, Zachi Klopman:
  An initial analysis and presentation of malware exhibiting swarm-like behavior. 323-329
  
• Engin Kirda, Christopher Krügel, Giovanni Vigna, Nenad Jovanovic:
  Noxes: a client-side solution for mitigating cross-site scripting attacks. 330-337
  
• Ryan Stutsman, Christian Grothoff, Mikhail J. Atallah, Krista Grothoff:
  Lost in just the translation. 338-345
  
• James Heather, Steve Schneider:
  To infinity and beyond or, avoiding the infinite in security protocol analysis. 346-353
  
• Petros Belsis, Kostas Fragos, Stefanos Gritzalis, Christos Skourlas:
  SF-HME system: a hierarchical mixtures-of-experts classification system for spam filtering. 354-360
  
• Fredrik Valeur, Giovanni Vigna, Christopher Krügel, Engin Kirda:
  An anomaly-driven reverse proxy for web applications. 361-368
  
• Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao:
  Bootstrapping multi-party ad-hoc security. 369-375
  
• Jian Huang, A. W. Roscoe:
  Extending noninterference properties to the timed world. 376-383
  
• Haizhi Xu, Steve J. Chapin:
  Improving address space randomization with a dynamic offset randomization technique. 384-391
  

Constraint solving and programming (CSP)

• Stefano Bistarelli, Eric Monfroy, Barry O'Sullivan:
  Special track editorial: constraint solving and programming. 392-393
  
• Matthias Zytnicki, Christine Gaspin, Thomas Schiex:
  A new local consistency for weighted CSP dedicated to long domains. 394-398
  
• Daniel Lucraft, Andrew Eremin, Farid Ajili:
  Enforcing path uniqueness in internet routing. 399-403
  
• Nikolai Kosmatov:
  A constraint solver for sequences and its applications. 404-408
  
• Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen:
  Efficient interactive configuration of unbounded modular systems. 409-414
  

Poster papers

• Arnaud Lallouet, Andrei Legtchenko:
  From satisfiability to consistency through certificates: application to partially defined constraints. 415-416
  

Coordination models, languages and applications (CM)

• Ronaldo Menezes, Alessandro Ricci:
  Editorial message: special track on coordination models, languages and applications. 417-418
  
• Robert Tolksdorf, Elena Paslaru Bontas, Lyndon J. B. Nixon:
  A coordination model for the semantic web. 419-423
  
• Jorge J. Gómez-Sanz, Juan Pavón:
  Defining coordination in multi-agent systems within an agent oriented software engineering methodology. 424-428
  
• Alysson Neves Bessani, Joni da Silva Fraga, Lau Cheuk Lung:
  BTS: a Byzantine fault-tolerant tuple space. 429-433
  
• Marco Mamei, Renzo Quaglieri, Franco Zambonelli:
  Making tuple spaces physical with RFID tags. 434-439
  
• Ronaldo Menezes, Alan Wood:
  The fading concept in tuple-space systems. 440-444
  

Poster papers

• Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
  Towards chemical coordination for grids. 445-446
  
• César Cáceres, Alberto Fernández, Sascha Ossowski, Matteo Vasirani:
  An abstract architecture for semantic service coordination in agent-based intelligent peer-to-peer environments. 447-448
  

Database theory, technology, and applications (DTTA)

• Ramzi A. Haraty, Apostolos N. Papadopoulos, Junping Sun:
  Editorial message: special track on database theory, technology, and applications. 449
  
• Yangjun Chen, Donovan Cooke:
  On the transitive closure representation and adjustable compression. 450-455
  
• Abhishek Gaurav, Reda Alhajj:
  Incorporating fuzziness in XML and mapping fuzzy relational data into fuzzy XML. 456-460
  
• Dejing Dou, Paea LePendu:
  Ontology-based integration for relational databases. 461-466
  
• Carlo Combi, Barbara Oliboni:
  Conceptual modeling of XML data. 467-473
  
• P. Mark Pettovello, Farshad Fotouhi:
  MTree: an XML XPath graph index. 474-481
  
• Alexandr A. Savinov:
  Grouping and aggregation in the concept-oriented data model. 482-486
  
• Fei Guo, Jianmin Wang, Deyi Li:
  Fingerprinting relational databases. 487-492
  
• Jarernsri L. Mitrpanont, Somchart Fugkeaw:
  Design and development of a multiversion OLAP application. 493-497
  
• Bernadette Farias Lóscio, Thiago Costa, Ana Carolina Salgado:
  Query reformulation for an XML-based data integration system. 498-502
  
• Tatsuo Tsuji, Akihiro Hara, Ken Higuchi:
  An extendible multidimensional array system for MOLAP. 503-510
  

Poster papers

• Jun Miyazaki:
  A memory subsystem with comparator arrays for main memory database operations. 511-512
  
• Samy Semghouni, Bruno Sadeg, Laurent Amanton, Alexandre Berred:
  Stochastic study of real-time transactions success ratio. 513-514
  
• Alfredo Cuzzocrea:
  An accuracy-aware compression technique for multidimensional data cubes. 515-516
  

Data mining (DM)

• Jianhua Feng, Qian Qian, Jianyong Wang, Lizhu Zhou:
  Exploit sequencing to accelerate hot XML query pattern mining. 517-524
  
• Jean-Pierre Norguet, Esteban Zimányi, Ralf Steinberger:
  Semantic analysis of web site audience. 525-529
  
• Elena Baralis, Paolo Garza:
  Associative text categorization exploiting negated words. 530-535
  
• Taufik Abidin, William Perrizo:
  SMART-TV: a fast and scalable nearest neighbor based classifier for data mining. 536-540
  
• Nele Dexters, Paul W. Purdom, Dirk Van Gucht:
  A probability analysis for candidate-based frequent itemset algorithms. 541-545
  
• Ieva Mitasiunaite, Jean-François Boulicaut:
  Looking for monotonicity properties of a similarity constraint on sequences. 546-552
  
• Mykola Pechenizkiy, Seppo Puuronen, Alexey Tsymbal:
  The impact of sample reduction on PCA-based feature extraction for supervised learning. 553-558
  
• Ranieri Baraglia, Claudio Lucchese, Salvatore Orlando, Massimo Serranó, Fabrizio Silvestri:
  A privacy preserving web recommender system. 559-563
  
• Carlos Soares, Pavel Brazdil:
  Selecting parameters of SVM using meta-learning and kernel matrix-based meta-features. 564-568
  
• A. Dorneich, Ramesh Natarajan, Edwin P. D. Pednault, Fateh Tipu:
  Embedded predictive modeling in a parallel relational database. 569-574
  
• Daniel Nikovski, Veselin Kulev:
  Induction of compact decision trees for personalized recommendation. 575-581
  
• Anton Zamolotskikh, Sarah Jane Delany, Padraig Cunningham:
  A methodology for comparing classifiers that allow the control of bias. 582-587
  
• Maurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi:
  Towards low-perturbation anonymity preserving pattern discovery. 588-592
  
• Fosca Giannotti, Mirco Nanni, Dino Pedreschi, Fabio Pinelli:
  Mining sequences with temporal annotations. 593-597
  
• Ambika Srinivasan, Dhawal Bhatia, Sharma Chakravarthy:
  Discovery of interesting episodes in sequence data. 598-602
  
• Hwanjo Yu, Xiaoqian Jiang, Jaideep Vaidya:
  Privacy-preserving SVM using nonlinear kernels on horizontally partitioned data. 603-610
  
• Tamás Horváth, Susanne Hoche, Stefan Wrobel:
  Effective rule induction from labeled graphs. 611-616
  
• Xintao Wu, Songtao Guo, Yingjiu Li:
  Towards value disclosure analysis in modeling general databases. 617-621
  
• Songtao Guo, Xintao Wu:
  On the use of spectral filtering for privacy preserving data mining. 622-626
  
• Rene Schult, Myra Spiliopoulou:
  Expanding the taxonomies of bibliographic archives with persistent long-term themes. 627-634
  

Poster papers

• Jing Gao, Haibin Cheng, Pang-Ning Tan:
  Semi-supervised outlier detection. 635-636
  
• Aida Nemalhabib, Nematollaah Shiri:
  CLUC: a natural clustering algorithm for categorical datasets based on cohesion. 637-638
  
• Christine Körner, Stefan Wrobel:
  Bias-free hypothesis evaluation in multirelational domains. 639-640
  

Data streams (DS)

• Jesús S. Aguilar-Ruiz, Francisco J. Ferrer-Troyano:
  Editorial message: special track on data streams. 641-642
  
• Elaine P. M. de Sousa, Agma J. M. Traina, Caetano Traina Jr., Christos Faloutsos:
  Evaluating the intrinsic dimension of evolving data streams. 643-648
  
• Mohamed Medhat Gaber, Philip S. Yu:
  A framework for resource-aware knowledge discovery in data streams: a holistic approach with its application to clustering. 649-656
  
• Francisco J. Ferrer-Troyano, Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos:
  Data streams classification by incremental rule learning with parameterized generalization. 657-661
  
• João Gama, Carlos Pinto:
  Discretization from data streams: applications to histograms and data mining. 662-667
  

Dependable and adaptive distributed systems (DADS)

• Karl M. Göschka, Svein O. Hallsteinsen, Rui Carlos Oliveira, Alexander Romanovsky:
  Editorial message: special track on dependable and adaptive distributed systems. 668-669
  
• François Bonnet, Paul D. Ezhilchelvan, Einar Vollset:
  Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts. 670-674
  
• Idit Keidar, Roie Melamed:
  Evaluating unstructured peer-to-peer lookup overlays. 675-679
  
• Fernando Castor Filho, Alexander Romanovsky, Cecília M. F. Rubira:
  Verification of coordinated exception handling. 680-685
  
• Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo:
  Proactive resilience through architectural hybridization. 686-690
  
• Olivier Rütti, Pawel T. Wojciechowski, André Schiper:
  Service interface: a new abstraction for implementing and composing protocols. 691-696
  
• Atsushi Ito, Tomoyuki Ohta, Kouichi Mitsukawa, Yoshiaki Kakuda:
  An adaptive index allocation scheme for reliable data retrieval and provision in peer-to-peer networks. 697-704
  
• Haifeng Chen, Guofei Jiang, Cristian Ungureanu, Kenji Yoshihira:
  Combining supervised and unsupervised monitoring for fault detection in distributed computing systems. 705-709
  
• Mikael Asplund, Simin Nadjm-Tehrani:
  Post-partition reconciliation protocols for maintaining consistency. 710-717
  
• Kurt Geihs, Mohammad Ullah Khan, Roland Reichle, Arnor Solberg, Svein O. Hallsteinsen, Simon Merral:
  Modeling of component-based adaptive distributed applications. 718-722
  
• Luís Rodrigues, José Mocito, Nuno Carvalho:
  From spontaneous total order to uniform total order: different degrees of optimistic delivery. 723-727
  
• Rui Carlos Oliveira, José Pereira, Alfrânio Correia Jr., Edward Archibald:
  Revisiting 1-copy equivalence in clustered databases. 728-732
  

Poster papers

• Marius Mikalsen, Nearchos Paspallis, Jacqueline Floch, Erlend Stav, George A. Papadopoulos, Akis Chimaris:
  Distributed context management in a mobility and adaptation enabling middleware (MADAM). 733-734
  
• Meriem Belguidoum, Fabien Dagnat:
  Analysis of deployment dependencies in software components. 735-736
  
• Nishanth Shankaran, Jaiganesh Balasubramanian, Douglas C. Schmidt, Gautam Biswas, Patrick J. Lardieri, Ed Mulholland, Thomas Damiano:
  A framework for (re)deploying components in distributed real-time and embedded systems. 737-738
  

Distributed systems and grid computing (DSGC)

• Robert van Engelen, Madhusudhan Govindaraju, Nectarios Koziris, Kleanthis Psarris:
  Editorial message: special track on distributed systems and grid computing. 739-740
  
• Kejing He, Shoubin Dong, Li Zheng:
  Service-oriented grid computation for large-scale parameter estimation in complex environmental modeling. 741-745
  
• Alexey L. Lastovetsky, Ravi Reddy, Robert Higgins:
  Building the functional performance model of a processor. 746-753
  
• Juan Li, Son T. Vuong:
  Grid resource discovery based on semantic P2P communities. 754-758
  
• Chenyu Pan, Merdan Atajanov, Mohammad Belayet Hossain, Toshihiko Shimokawa, Norihiko Yoshida:
  FCAN: Flash Crowds Alleviation Network. 759-765
  
• Umesh Bellur, Siddharth Bondre:
  xSpace: a tuple space for XML & its application in orchestration of web services. 766-772
  
• Tarek Guesmi, Houria Rezig:
  Design and implementation of a real-time notification service within the context of embedded ORB and the CAN bus. 773-777
  
• Sylvain Sicard, Noel De Palma, Daniel Hagimont:
  J2EE server scalability through EJB replication. 778-785
  
• Luiz A. V. C. Meyer, James Annis, Michael Wilde, Marta Mattoso, Ian T. Foster:
  Planning spatial workflows to optimize grid performance. 786-790
  
• Hon Wai Leong, Bo Guan:
  Improving the performances of proxy cache replacement policies by considering infrequent objects. 791-796
  
• Chao-Tung Yang, I-Hsien Yang, Chun-Hsiang Chen, Shih-Yu Wang:
  Implementation of a dynamic adjustment mechanism with efficient replica selection in data grid environments. 797-804
  

Poster papers

• Xuanhua Shi, Hai Jin, Weizhong Qiang:
  ALTER: first step towards dependable grids. 805-806
  
• Jeremy Philippe, Noel De Palma, Sara Bouchenak, Fabienne Boyer, Daniel Hagimont:
  A black-box approach for web application SLA. 807-808
  

Document engineering (DE)

• Rafael Dueire Lins:
  Editorial message: special track on document engineering. 809-810
  
• Fabio Giannetti, Luiz Gustavo Fernandes, Rogerio Timmers, Thiago Nunes, Mateus Raeder, Márcio Bastos Castro:
  High performance XSL-FO rendering for variable data printing. 811-817
  
• Daniel Gomes, André L. Santos, Mário J. Silva:
  Managing duplicates in a web archive. 818-825
  
• Elías F. Combarro, Elena Montañés, José Ranilla, Irene Díaz:
  Angular measures for feature selection in text categorization. 826-830
  
• Guangming Xing, Chaitanya R. Malla, Zhonghang Xia, Snigdha Dantala Venkata:
  Computing edit distances between an XML document and a schema and its application in document classification. 831-835
  
• Paulo Rodrigo Cavalin, Alceu de Souza Britto Jr., Flávio Bortolozzi, Robert Sabourin, Luiz E. Soares de Oliveira:
  An implicit segmentation-based method for recognition of handwritten strings of characters. 836-840
  
• Sekhar Mandal, S. P. Chowdhury, Amit K. Das, Bhabatosh Chanda:
  Detection and segmentation of tables and math-zones from document images. 841-846
  
• Luiz Antônio Pereira Neves, João Marques de Carvalho, Jacques Facon, Flávio Bortolozzi:
  A new table interpretation methodology with little knowledge base: table interpretation methodology. 847-852
  
• João Marcelo Monte da Silva, Rafael Dueire Lins, Valdemar Cardoso da Rocha:
  Binarizing and filtering historical documents with back-to-front interference. 853-858
  

Poster papers

• Olga Artemenko, Thomas Mandl, Margaryta Shramko, Christa Womser-Hacker:
  Evaluation of a language identification system for mono- and multilingual text documents. 859-860
  
• Elena Montañés, Elías F. Combarro, José Ranilla, Irene Díaz:
  Finding optimal linear measures for feature selection in text categorization. 861-862
  
• Rafael Dueire Lins, Charlana Rodrigues:
  Comparisons of file formats for image transmission through networks. 863-864
  

Electronic commerce technologies (ECT)

• Sviatoslav Braynov, Manuel Núñez, Fernando Rubio:
  Editorial message: special track on e-commerce technologies. 865-866
  
• Vincent S. Tseng, Jeng-Chuan Chang, Kawuu Weicheng Lin:
  Mining and prediction of temporal navigation patterns for personalized services in e-commerce. 867-871
  
• Esma Aïmeur, Gilles Brassard, José Manuel Fernandez, Flavien Serge Mani Onana:
  Privacy-preserving demographic filtering. 872-878
  
• M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo:
  Analysis of the SET e-commerce protocol using a true concurrency process algebra. 879-886
  

Poster papers

• Petco E. Tsvetinov, Alan Underwood, Taizan Chan:
  Dominance and ranking issues applying interval techniques in pre-negotiations for services. 887-888
  

Embedded systems: applications, solutions and techniques (EMBS)

• Alessio Bechini, François Bodin, Cosimo Antonio Prete:
  Editorial message for the special track on embedded systems: applications, solutions, and techniques. 889-890
  
• Shi-Wu Lo:
  Data sharing protocols for SMT processors. 891-895
  
• Chin-Hsien Wu, Tei-Wei Kuo, Li-Pin Chang:
  Efficient initialization and crash recovery for log-based file systems over flash memory. 896-900
  
• Gwenaël Delaval, Éric Rutten:
  A domain-specific language for task handlers generation, applying discrete controller synthesis. 901-905
  
• Giovanni Agosta, Stefano Crespi-Reghizzi, P. Palumbo, Martino Sykora:
  Selective compilation via fast code analysis and bytecode tracing. 906-911
  
• Xin Li, Reinhard von Hanxleden:
  A concurrent reactive Esterel processor based on multi-threading. 912-917
  
• Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
  On utility accrual processor scheduling with wait-free synchronization for embedded real-time software. 918-922
  
• Chih-Yuan Huang, Tei-Wei Kuo, Ai-Chun Pang:
  QoS support for IEEE-1394 requests. 923-927
  
• Kaveh Jokar Deris, Amirali Baniasadi:
  Branchless cycle prediction for embedded processors. 928-932
  

Poster papers

• Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
  On bounding energy consumption in dynamic, embedded real-time systems. 933-934
  
• Bhanu Pisupati, Geoffrey Brown:
  File system framework for organizing sensor networks. 935-936
  
• Hamid Noori, Kazuaki Murakami:
  Preliminary performance evaluation of an adaptive dynamic extensible processor for embedded applications. 937-938
  

Evolutionary computation and optimization (ECO)

• Bryant A. Julstrom:
  Editorial message: track on applications of evolutionary computation. 939
  
• Shengxiang Yang, Sima Uyar:
  Adaptive mutation with fitness and allele distribution correlation for genetic algorithms. 940-944
  
• Vincenzo Cutello, Giuseppe Nicosia, Pietro Simone Oliveto:
  Analysis of an evolutionary algorithm with HyperMacromutation and stop at first constructive mutation heuristic for solving trap functions. 945-949
  
• Vincenzo Cutello, Giuseppe Nicosia, Mario Pavone:
  Real coded clonal selection algorithm for unconstrained global optimization using a hybrid inversely proportional hypermutation operator. 950-954
  
• Mihai Oltean:
  A-Brain: the multiple problems solver. 955-959
  

Poster papers

• Bernat Duran, Fatos Xhafa:
  The effects of two replacement strategies on a genetic algorithm for scheduling jobs on computational grids. 960-961
  

Geometric computing and reasoning (GCR)

• Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck:
  Editorial message: technical track on geometric computing and reasoning. 962
  
• Liu Hu Yao, He Yuan Jun:
  NFP-based nesting algorithm for irregular shapes. 963-967
  
• Reyes Pavón, Fernando Díaz, M. Victoria Luzón:
  An adjustment model in a geometric constraint solving problem. 968-973
  
• Julien Wintz, Pascal Schreck, Pascal Mathis:
  A framework for geometric constraint satisfaction problem. 974-978
  
• Gui-Fang Zhang, Xiao-Shan Gao:
  Spatial geometric constraint solving based on k-connected graph decomposition. 979-983
  

Handheld computing (HHC)

• Qusay H. Mahmoud, Zakaria Maamar:
  Editorial message: special track on handheld computing. 984-985
  
• Jörg Roth:
  Detecting identifiable areas in mobile environments. 986-991
  
• David Parsons:
  Extending the location API for J2ME to support friend finder services. 992-996
  
• Ronny Kramer, Marko Modsching, Klaus ten Hagen:
  Field study on methods for elicitation of preferences using a mobile digital assistant for a dynamic tour guide. 997-1001
  
• Maria Andréia F. Rodrigues, Rafael G. Barbosa, Nabor C. Mendonça:
  Interactive Mobile 3D Graphics for on-the-go visualization and walkthroughs. 1002-1007
  
• Dongsong Zhang, George Karabatis, Zhiyuan Chen, Boonlit Adipat, Liwei Dai, Zhenxue Zhang, Yu Wang:
  Personalization and visualization on handheld devices. 1008-1012
  
• Moushumi Sharmin, Shameem Ahmed, Sheikh Iqbal Ahamed:
  Ubicomp assistant: an omnipresent customizable service using MARKS (middleware adaptability for resource discovery, knowledge usability and self-healing). 1013-1017
  

Information access and retrieval (IAR)

• Fabio Crestani, Gabriella Pasi:
  Editorial message: special track on information access and retrieval. 1018-1019
  
• Yangjun Chen, Yong Shi, Yibin Chen:
  Tree inclusion algorithm, signatures and evaluation of path-oriented queries. 1020-1025
  
• Jun Wang, Johan A. Pouwelse, Reginald L. Lagendijk, Marcel J. T. Reinders:
  Distributed collaborative filtering for peer-to-peer file sharing systems. 1026-1030
  
• Jacques Savoy:
  Light stemming approaches for the French, Portuguese, German and Hungarian languages. 1031-1035
  
• François Jacquenet, Christine Largeron:
  Using the structure of documents to improve the discovery of unexpected information. 1036-1042
  
• Ari Pirkola, Jarmo Toivonen, Heikki Keskustalo, Kalervo Järvelin:
  FITE-TRT: a high quality translation technique for OOV words. 1043-1049
  
• Yoshinori Hijikata, Kazuhiro Iwahama, Shogo Nishida:
  Content-based music filtering system with editable user profile. 1050-1057
  
• Filippo Geraci, Marco Pellegrini, Paolo Pisati, Fabrizio Sebastiani:
  A scalable algorithm for high-quality clustering of web snippets. 1058-1062
  
• Maristella Agosti, Nicola Ferro, Nicola Orio:
  Graph-based automatic suggestion of relationships among images of illuminated manuscripts. 1063-1067
  
• Zoltán Szlávik, Anastasios Tombros, Mounia Lalmas:
  Investigating the use of summarisation for interactive XML retrieval. 1068-1072
  
• Ross Tailby, Richard Dean, Ben Milner, Dan Smith:
  Email classification for automated service handling. 1073-1077
  
• M. Elena Renda, Umberto Straccia:
  Automatic structured query transformation over distributed digital libraries. 1078-1083
  
• Euripides G. M. Petrakis, Klaydios Kontis, Epimenidis Voutsakis, Evangelos E. Milios:
  Relevance feedback methods for logo and trademark image retrieval on the web. 1084-1088
  
• Randa Kassab, Jean-Charles Lamirel:
  An innovative approach to intelligent information filtering. 1089-1093
  
• Liang Chen, Shaozhi Ye, Xing Li:
  Template detection for large scale search engines. 1094-1098
  
• Baoning Wu, Brian D. Davison:
  Undue influence: eliminating the impact of link plagiarism on web search rankings. 1099-1104
  
• Helmut Berger, Dieter Merkl, Michael Dittenbach:
  Exploiting partial decision trees for feature subset selection in e-mail categorization. 1105-1109
  

Poster papers

• Mark Baillie, Leif Azzopardi, Fabio Crestani:
  An evaluation of resource description quality measures. 1110-1111
  
• David Kensche, Christian Seeling, Andreas Becks:
  MonA: an extensible framework for web document monitoring. 1112-1113
  
• Karen Sauvagnat, Lobna Hlaoua, Mohand Boughanem:
  XML retrieval: what about using contextual relevance? 1114-1115
  
• Markus Zanker, Sergiu Gordea:
  Recommendation-based browsing assistance for corporate knowledge portals. 1116-1117
  
• Bracha Shapira, Meirav Taieb-Maimon, Anny Moskowitz:
  Study of the usefulness of known and new implicit indicators and their optimal combination for accurate inference of users interests. 1118-1119
  

Mobile computing and applications (MCA)

• Hong Va Leong, Alvin T. S. Chan:
  Editorial message: special track on mobile computing and applications. 1120-1121
  
• Alok Madhukar, Reda Alhajj:
  An adaptive energy efficient cache invalidation scheme for mobile databases. 1122-1126
  
• Tatsuo Nakajima:
  How to reuse exisiting interactive applications in ubiquitous computing environments? 1127-1133
  
• Tansir Ahmed, Kyandoghere Kyamakya, Markus Ludwig:
  Design and implementation of a context-aware decision algorithm for heterogeneous networks. 1134-1138
  
• Thi Khoi Anh Phan, Zahir Tari, Peter Bertók:
  A benchmark on soap's transport protocols performance for mobile applications. 1139-1144
  
• Marco de Sá, Luís Carriço:
  Handheld devices for cooperative educational activities. 1145-1149
  
• Byunggu Yu:
  A spatiotemporal uncertainty model of degree 1.5 for continuously changing data objects. 1150-1155
  
• Dongkeun Lee, Jaepil Yoo, Hyunsik Kang, Keecheon Kim, Kyunglim Kang:
  Distributed IPv6 addressing technique for mobile ad-hoc networks. 1156-1160
  
• Jian Zhai, Xiang Li, Qing Li:
  Statistical buffering for streaming media data access in a mobile environment. 1161-1165
  
• Marcos Forte, Wanderley Lopes de Souza, Antônio Francisco do Prado:
  A content classification and filtering server for the internet. 1166-1171
  
• Mahmoud Youssef, Nabil R. Adam, Vijayalakshmi Atluri:
  Semantically enhanced enforcement of mobile consumer's privacy preferences. 1172-1176
  
• Hao-Ping Hung, Jen-Wei Huang, Jung-Long Huang, Ming-Syan Chen:
  Scheduling dependent items in data broadcasting environments. 1177-1181
  

Poster papers

• Julie Doyle, Michela Bertolotto:
  Combining speech and pen input for effective interaction in mobile geospatial environments. 1182-1183
  
• Maria Luisa Damiani, Elisa Bertino:
  Architectural issues for a location-aware role-based access control system. 1184-1185
  

Model transformation (MT 2006)

• Jean Bézivin, Alfonso Pierantonio, Antonio Vallecillo:
  Special track on model transformation (MT 2006). 1186-1187
  
• Frédéric Jouault, Ivan Kurtev:
  On the architectural alignment of ATL and QVT. 1188-1195
  
• Jordi Cabot, Ernest Teniente:
  Transforming OCL constraints: a context change approach. 1196-1201
  
• Ivan Kurtev, Klaas van den Berg, Frédéric Jouault:
  Evaluation of rule-based modularization in model transformation languages illustrated with ATL. 1202-1209
  
• Ragnhild Van Der Straeten, Maja D'Hondt:
  Model refactorings through rule-based inconsistency resolution. 1210-1217
  
• Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
  Software performance model-driven architecture. 1218-1223
  
• Nicolas Guelfi, Amel Mammar:
  A formal framework to generate XPDL specifications from UML activity diagrams. 1224-1231
  
• Paloma Cáceres, Valeria de Castro, Juan M. Vara, Esperanza Marcos:
  Model transformations for hypertext modeling on web information systems. 1232-1239
  
• Chouki Tibermacine, Régis Fleurquin, Salah Sadou:
  Simplifying transformation of software architecture constraints. 1240-1244
  
• Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira:
  Describing dynamic software architectures using an extended UML model. 1245-1249
  
• T. Katsimpa, Yannis Panagis, Evangelos Sakkopoulos, Giannis Tzimas, Athanasios K. Tsakalidis:
  Application modeling using reverse engineering techniques. 1250-1255
  
• Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio:
  Weaving concerns in model based development of data-intensive web applications. 1256-1261
  
• Jan Mendling, Michael Moser, Gustaf Neumann:
  Transformation of yEPC business process models to YAWL. 1262-1266
  
• Marcus Alanen, Torbjörn Lundkvist, Ivan Porres:
  Reconciling diagrams after executing model transformations. 1267-1272
  
• Lukasz Dobrzanski, Ludwik Kuzniarz:
  An approach to refactoring of executable UML models. 1273-1279
  
• András Balogh, Dániel Varró:
  Advanced model transformation language constructs in the VIATRA2 framework. 1280-1287
  
• András Balogh, Gergely Varró, Dániel Varró, András Pataricza:
  Compiling model transformations to EJB3-specific transformer plugins. 1288-1295
  
• Laurence Tratt:
  The MT model transformation language. 1296-1303
  

Poster papers

• Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
  An action semantics for MOF 2.0. 1304-1305
  
• Walter Cazzola, Antonio Cicchetti, Alfonso Pierantonio:
  Towards a model-driven join point model. 1306-1307
  
• Rubby Casallas, Milena Vela, Catalina Acero, Nicolás López:
  xEAI-rules: executable models to simulate enterprise application cooperation. 1308-1309
  

More accurate computation: methods and software (MCMS)

• Alexey Ershov, Andrey Naraikin, Sergey Maidanov:
  Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures. 1310-1317
  
• Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond:
  Assisted verification of elementary functions using Gappa. 1318-1322
  
• Stef Graillat, Philippe Langlois, Nicolas Louvet:
  Improving the compensated Horner scheme with a fused multiply and add. 1323-1327
  
• Sylvie Boldo, César Muñoz:
  Provably faithful evaluation of polynomials. 1328-1332
  

Multimedia and Visualization (MV)

• Chaman L. Sabharwal, Mingjun Zhang:
  MultiMedia and visualization track. 1333-1334
  
• Juw Won Park, James F. Cremer, Alberto Maria Segre:
  Visual exploration of genetic likelihood space. 1335-1340
  
• Maria Calagna, Huiping Guo, Luigi V. Mancini, Sushil Jajodia:
  A robust watermarking system based on SVD compression. 1341-1347
  
• Harry W. Agius, Marios C. Angelides:
  MPEG-7 in action: end user experiences with COSMOS-7 front end systems. 1348-1355
  
• Shiaofen Fang, Pooja Gupta:
  Boundary surface extraction and rendering for volume datasets. 1356-1360
  
• Daisuke Kitayama, Kazutoshi Sumiya:
  An evaluation system for news video streams and blogs. 1361-1368
  
• J. E. Rougui, Mohammed Rziza, Driss Aboutajdine, Marc Gelgon, José M. Martínez:
  Hierarchical organization of a set of Gaussian mixture speaker models for scaling up indexing and retrieval in audio documents. 1369-1373
  
• Paola Bertolotti, Ombretta Gaggi, Maria Luisa Sapino:
  Dynamic context adaptation in multimedia documents. 1374-1379
  
• Susan Elias, K. S. Easwarakumar, Richard Chbeir:
  Dynamic consistency checking for temporal and spatial relations in multimedia presentations. 1380-1384
  
• Virginie Sans, Dominique Laurent:
  Navigating with inheritance in hypermedia presentations. 1385-1392
  
• Danzhou Liu, Kien A. Hua, Khanh Vu, Ning Yu:
  Efficient target search with relevance feedback for large CBIR systems. 1393-1397
  

Poster Papers

• Joaquim Cezar Felipe, Paulo M. Azevedo-Marques, André G. R. Balan, Caetano Traina Jr., Agma J. M. Traina:
  Comparing images with distance functions based on attribute interaction. 1398-1399
  
• Youssef Hadi, Fedwa Essannouni, Rachid Oulad Haj Thami:
  Video summarization by k-medoid clustering. 1400-1401
  

Object-oriented programming languages and systems (OOPS)

• Davide Ancona, Mirko Viroli:
  Editorial message: special track on object oriented programming languages and systems. 1402-1403
  
• Friedrich Steimann, Philip Mayer, Andreas Meissner:
  Decoupling classes with inferred interfaces. 1404-1408
  
• Diego Puppin, Fabrizio Silvestri:
  The social network of Java classes. 1409-1413
  
• Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
  powerJava: ontologically founded roles in object oriented programming languages. 1414-1418
  
• Lei Wang, Xikun Sun:
  Escape analysis for synchronization removal. 1419-1423
  
• Antoine Beugnard:
  Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components. 1424-1428
  
• Giovanni Lagorio, Elena Zucca:
  Introducing safe unknown types in Java-like languages. 1429-1434
  
• Atsushi Igarashi, Hideshi Nagira:
  Union types for object-oriented programming. 1435-1441
  
• Nigamanth Sridhar:
  Dynamic instantiation-checking components. 1442-1446
  

Poster papers

• Umesh Bellur:
  On using OO techniques to establish workflow conformance. 1447-1448
  

Operating systems and adaptive applications (OSAA)

• Jiman Hong, Tei-Wei Kuo:
  Editorial message: special track on operating systems and adaptive applications. 1449-1450
  
• Wan-Chen Lu, Jen-Wei Hsieh, Wei-Kuan Shih:
  A precise schedulability test algorithm for scheduling periodic tasks in real-time systems. 1451-1455
  
• Heejune Ahn, Hyukjun Oh, Chang Oan Sung:
  Towards reliable OSGi framework and applications. 1456-1461
  
• Li-Pin Chang:
  Event-driven scheduling for dynamic workload scaling in uniprocessor embedded systems. 1462-1466
  
• Mônica Corrêa, Avelino Francisco Zorzo, Roque Scheer:
  Operating system multilevel load balancing. 1467-1471
  
• Sangho Yi, Junyoung Heo, Yookun Cho, Jiman Hong:
  Adaptive page-level incremental checkpointing based on expected recovery time. 1472-1476
  
• Jongmoo Choi, Seungjae Baek, Sung Y. Shin:
  Design and implementation of a kernel resource protector for robustness of Linux module programming. 1477-1481
  
• Sungju Kwon, Jaeyoung Choi, Kumwon Cho:
  Light-weight service-oriented grid application toolkit. 1482-1486
  
• Muhammad Farooq, Fabrice Muller, Michel Auguin:
  Contentions-conscious dynamic but deterministic scheduling of computational and communication tasks. 1487-1492
  

Poster papers

• Junyoung Heo, Yookun Cho, Gwangil Jeon, Haklin Kimm:
  The overhead model of word-level and page-level incremental checkpointing. 1493-1494
  

Organizational engineering (OE)

• José M. Tribolet, Robert Winter, Artur Caetano:
  Editorial message: special track on organizational engineering (OE). 1495-1496
  
• Karl Cox, Steven J. Bleistein, Peter Reynolds, Alan Thorogood:
  A contingency view of organizational infrastructure requirements engineering. 1497-1504
  
• Jan Mendling, Jan Recker, Michael Rosemann, Wil M. P. van der Aalst:
  Generating correct EPCs from configured C-EPCs. 1505-1510
  
• Nikolaus Müssigmann, Antonia Albani:
  Supplier network management: evaluating and rating of strategic supply networks. 1511-1515
  
• Peter Bollen:
  Conceptual process configurations in enterprise knowledge management systems. 1516-1523
  
• Oliver Thomas, Masahiro Horiuchi, Masao Tanaka:
  Towards a reference model management system for business engineering. 1524-1531
  
• Beate List, Birgit Korherr:
  An evaluation of conceptual business process modelling languages. 1532-1539
  
• Bruce H. Rowlands:
  The user as social actor: a focus on systems development methodology enactment. 1540-1545
  
• Susanne Leist, Gregor Zellner:
  Evaluation of current architecture frameworks. 1546-1553
  
• Princely Ifinedo, Nazmun Nahar:
  Prioritization of enterprise resource planning (ERP) systems success measures: viewpoints of two organizational stakeholder groups. 1554-1560
  

Poster Papers

• Robert Winter, Joachim Schelp:
  Reference modeling and method construction: a design science perspective. 1561-1562
  
• Doji Samson Lokku, Kesav V. Nori:
  Morphogenetic constraint-satisfaction based approach for organizational engineering. 1563-1564
  
• Artur Caetano, José M. Tribolet:
  Modeling organizational actors and business processes. 1565-1566
  
• Elvira Rolón Aguilar, Francisco Ruiz, Félix García, Mario Piattini:
  Evaluation measures for business process models. 1567-1568
  

Programming for separation of concerns (PSC)

• Paulo Henrique M. Maia, Nabor C. Mendonça, Vasco Furtado, Walfredo Cirne, Katia B. Saikoski:
  A process for separation of crosscutting grid concerns. 1569-1574
  
• Stefan Hanenberg, Mohammed Al-Mansari, Rainer Unland:
  Aspect-specification based on structural type information. 1575-1579
  
• Ian Welch, Fan Lu:
  Policy-driven reflective enforcement of security policies. 1580-1584
  
• Xiaoqing Wu, Barrett R. Bryant, Jeffrey G. Gray, Suman Roychoudhury, Marjan Mernik:
  Separation of concerns in compiler development using aspect-orientation. 1585-1590
  
• Giuseppe Pappalardo, Emiliano Tramontana:
  Automatically discovering design patterns and assessing concern separations for applications. 1591-1596
  

Poster Papers

• Jennifer Pérez, Elena Navarro, Patricio Letelier, Isidro Ramos:
  Graphical modelling for aspect oriented SA. 1597-1598
  
• Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott:
  A semantic model for safe protocol interaction. 1599-1600
  

Programming languages (PL)

• Chang-Hyun Jo, Marjan Mernik, Barrett R. Bryant:
  Editorial message: programming languages track. 1601-1602
  
• Robert Giegerich, Peter Steffen:
  Challenges in the compilation of a domain specific language for dynamic programming. 1603-1609
  
• Calle Lejdfors, Lennart Ohlsson:
  Implementing an embedded GPU language by combining translation and generation. 1610-1614
  
• Johan Fabry, Theo D'Hondt:
  KALA: Kernel Aspect language for advanced transactions. 1615-1620
  
• James Sasitorn, Robert Cartwright:
  Efficient first-class generics on stock Java virtual machines. 1621-1628
  

Poster Papers

• Emanuela P. Lins, Ulrik Pagh Schultz:
  Supporting transparent evolution of component interfaces. 1629-1630
  
• Alpana Dubey, Pankaj Jalote, Sanjeev Kumar Aggarwal:
  A deterministic technique for extracting keyword based grammar rules from programs. 1631-1632
  

Reliable computations and their applications (RCA)

• Martine Ceberio, Vladik Kreinovich, Michel Rueher:
  Editorial: track reliable computations and their applications. 1633-1634
  
• René Alt, Jean Luc Lamotte, Svetoslav Markov:
  On the numerical solution to linear problems using stochastic arithmetic. 1635-1639
  
• Evgeny Dantsin, Alexander Wolpert, Vladik Kreinovich:
  Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems. 1640-1644
  
• Michael Orshansky, Wei-Shen Wang, Martine Ceberio, Gang Xiang:
  Interval-based robust statistical techniques for non-negative convex functions, with application to timing analysis of computer chips. 1645-1649
  
• Alexandre Goldsztejn:
  A branch and prune algorithm for the approximation of non-linear AE-solution sets. 1650-1654
  
• Stef Graillat, Philippe Langlois:
  Pseudozero set of interval polynomials. 1655-1659
  

Poster Papers

• Carlos Grandón, Alexandre Goldsztejn:
  Inner approximation of distance constraints with existential quantification of parameters. 1660-1661
  

Semantic-based resource discovery, retrieval and composition (RDRC)

• Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
  Editorial message: semantic-based resource discovery, retrieval and composition track. 1662-1663
  
• Mick Kerrigan:
  Web service selection mechanisms in the Web Service Execution Environment (WSMX). 1664-1668
  
• Hai Jin, Xiaoming Ning, Hanhua Chen, Zuoning Yin:
  Efficient query routing for information retrieval in semantic overlays. 1669-1673
  
• Hongding Wang, Shiwei Tang, Yunhai Tong, Dongqing Yang:
  An approach for identifying attribute correspondences in multilingual schemas. 1674-1678
  
• Steffen Lamparter, Björn Schnizler:
  Trading services in ontology-driven markets. 1679-1683
  
• Abraham Bernstein, Christoph Kiefer:
  Imprecise RDQL: towards generic retrieval in ontologies using similarity joins. 1684-1689
  
• Glêdson Elias da Silveira, Michael Schuenck, Yuri Negócio, Jorge Dias Jr., Sindolfo Miranda Filho:
  X-ARM: an asset representation model for component repository systems. 1690-1694
  
• Claudia d'Amato, Nicola Fanizzi, Floriana Esposito:
  A dissimilarity measure for ALC concept descriptions. 1695-1699
  
• Peng Yan, Yu Jiao, Ali R. Hurson, Thomas E. Potok:
  Semantic-based information retrieval of biomedical data. 1700-1704
  

Poster Papers

• John Gilman:
  Dynamic service discovery and mediation in the insurance industry. 1705-1706
  
• Devis Bianchini, Valeria De Antonellis, Michele Melchiori:
  Hybrid ontology-based matchmaking for service discovery. 1707-1708
  
• Tommaso Di Noia, Eugenio Di Sciascio, Francesco di Cugno, Eufemia Tinelli, Francesco M. Donini:
  A framework for content-based image retrieval fully exploiting the semantics of annotation. 1709-1710
  

Software engineering: sound solutions for the 21

• Stefan Gruner, Sung Shin:
  Editorial message. 1711-1712
  
• Deepak Advani, Youssef Hassoun, Steve Counsell:
  Extracting refactoring trends from open-source software and a possible solution to the 'related refactoring' conundrum. 1713-1720
  
• Luis Reynoso, Marcela Genero, Mario Piattini, M. Esperanza Manso:
  Does object coupling really affect the understanding and modifying of OCL expressions? 1721-1727
  
• W. Eric Wong, Jin Zhao, Victor K. Y. Chan:
  Applying statistical methodology to optimize and simplify software metric models with missing data. 1728-1733
  
• Valerio Schiavoni, Vivien Quéma:
  A posteriori defensive programming: an annotation toolkit for DoS-resistant component-based architectures. 1734-1738
  
• Subhajit Datta, Robert van Engelen:
  Effects of changing requirements: a tracking mechanism for the analysis workflow. 1739-1744
  
• Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel:
  SEC: a search engine for component based software development. 1745-1750
  
• Gautier Bastide, Abdelhak Seriai, Mourad Oussalah:
  Adapting software components by structure fragmentation. 1751-1758
  
• Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gervais:
  Supporting transparent model update in distributed CASE tool integration. 1759-1766
  
• Gerardo Canfora, Luigi Cerulo:
  Supporting change request assignment in open source development. 1767-1772
  
• Bow-Yaw Wang:
  Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study. 1773-1778
  
• Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan:
  Automated generation of monitors for pattern contracts. 1779-1784
  
• Pietro Colombo, Matteo Pradella, Matteo Rossi:
  A UML 2-compatible language and tool for formal modeling real-time system architectures. 1785-1790
  
• Kai Chen, Fan Jiang, Chuan-dong Huang:
  A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences. 1791-1797
  

Poster Papers

• Philippe Collet, Alain Ozanne, Nicolas Rivierre:
  On contracting different behavioral properties in component-based systems. 1798-1799
  
• Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit:
  Verification of a scheduler in B through a timed automata specification. 1800-1801
  
• Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng:
  A security specification verification technique based on the international standard ISO/IEC 15408. 1802-1803
  

Software verification (SV)

• Hugues Malgouyres, Gilles Motet:
  A UML model consistency verification approach based on meta-modeling formalization. 1804-1809
  
• Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani:
  Modere: the model-checking engine of Rebeca. 1810-1815
  
• Cong-Cong Xing:
  Enhancing program verifications by restricting object types. 1816-1821
  
• Damiano Zanardini:
  Abstract non-interference in a fragment of Java bytecode. 1822-1826
  
• Guillaume Capron:
  Static analysis of time bounded reactive properties of Boolean symbols. 1827-1834
  
• Lilian Burdy, Mariela Pavlova:
  Java bytecode specification and verification. 1835-1839
  
• Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz:
  Transformation of B specifications into UML class diagrams and state machines. 1840-1844
  
• Iman Poernomo:
  The meta-object facility typed. 1845-1849
  

Poster Papers

• Jianmin Jiang, Jinzhao Wu, Donghuo Chen:
  Symmetry in event structures. 1850-1851
  
• Yung-Pin Cheng, Yu-Ru Cheng, Hong-Yi Wang:
  ARCATS: a scalable compositional analysis tool suite. 1852-1853
  

Trust, recommendations, evidence, and other collaborative know-how (TRECK)

• Jean-Marc Seigneur, Christian Damsgaard Jensen:
  Editorial message: second special track on trust, recommendations, evidence and other collaboration know-how (TRECK'06). 1854
  
• Jianshu Weng, Chunyan Miao, Angela Goh:
  Improving collaborative filtering with trust-based metrics. 1860-1864
  
• Claudia Hess, Klaus Stein, Christoph Schlieder:
  Trust-enhanced visibility for personalized document recommendations. 1865-1869
  
• Daniele Quercia, Manish Lad, Stephen Hailes, Licia Capra, Saleem Bhatti:
  STRUDEL: supporting trust in the dynamic establishment of peering coalitions. 1870-1874
  
• Fabrício Benevenuto, Cristiano P. Costa, Marisa A. Vasconcelos, Virgilio Almeida, Jussara M. Almeida, Miranda Mowbray:
  Impact of peer incentives on the dissemination of polluted content. 1875-1879
  
• Yanjun Zuo, Brajendra Panda:
  Information trustworthiness evaluation based on trust combination. 1880-1885
  
• Wanita Sherchan, Seng Wai Loke, Shonali Krishnaswamy:
  A fuzzy model for reasoning about reputation in web services. 1886-1892
  
• Evangelos Kotsovinos, Aled Williams:
  BambooTrust: practical scalable trust management for global public computing. 1893-1897
  

Poster Papers

• Uwe Roth, Volker Fusenig:
  Trust-decisions on the base of maximal information of recommended direct-trust. 1898-1901
  

Ubiquitous computing (UC)

• Achilles Kameas, George Roussos:
  Editorial message: special track on ubiquitous computing. 1900-1901
  
• Matthias Kranz, Paul Holleis, Albrecht Schmidt:
  Ubiquitous presence systems. 1902-1909
  
• Gary Hoi Kit Lam, Hong Va Leong, Stephen Chi-fai Chan:
  BBQ: group-based querying in a ubiquitous environment. 1910-1914
  
• Paolo Pellegrino, Dario Bonino, Fulvio Corno:
  Domotic house gateway. 1915-1920
  
• Thierry Bodhuin, Gerardo Canfora, Rosa Preziosi, Maria Tortorella:
  Hiding complexity and heterogeneity of the physical world in smart living environments. 1921-1927
  

Poster Papers

• Albrecht Schmidt, Lucia Terrenghi:
  Methods and guidelines for the design and development of domestic ubiquitous computing applications. 1928-1929
  

Last update Sat May 18 19:41:15 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page