23. SAC 2008: Fortaleza, Ceara, Brazil

Advances in computer simulation

• Ana L. C. Bazzan, Giuseppe Vizzari:
  Special track on Advances in Computer Simulation (ACS): editorial message. 1-2
  
• Isabel Praça, Maria João Viamonte, Zita A. Vale, Carlos Ramos:
  Agent-based simulation of electronic marketplaces with decision support. 3-7
  
• Ana L. C. Bazzan, Roberto da Silva, Silvio R. Dahmen, Alexandre Tavares Baraviera:
  Emerging cooperation in a public goods game with competition. 8-12
  
• Humberto Cesar Brandao de Oliveira, Gustavo Monti Rocha, Mariane Moreira de Souza, Leonardo Aparecido Ciscon, Vanessa Rodrigues Borges, Geraldo Robson Mateus:
  A vehicular waiting time heuristic for dynamic vehicle routing problem. 13-17
  
• Giuseppe Vizzari, Giorgio Pizzi, Flávio S. Corrêa da Silva:
  A framework for execution and 3D visualization of situated cellular agent based crowd simulations. 18-22
  
• Mariane Moreira de Souza, Humberto Cesar Brandao de Oliveira, Alexandre Marcos Lins de Vasconcelos, Sandro Ronaldo Bezerra Oliveira:
  A statistical approach for prediction of projects based on simulation. 23-27
  
• Hugo Conceição, Luís Damas, Michel Ferreira, João Barros:
  Large-scale simulation of V2V environments. 28-33
  
• Igor Walter, Fernando A. C. Gomide:
  Electricity market simulation: multiagent system approach. 34-38
  
• Franziska Klügl:
  A validation methodology for agent-based simulations. 39-43
  

Advances in computer simulation: poster papers

• Ruipeng Li, Hai Jiang, Hung-Chi Su:
  Coordination schemes in distributed simulation of relativistic particle transport. 44-45
  
• Priscilla Avegliano, Jaime Simão Sichman:
  RePart: a reputation-based simulation tool for partnership formation. 46-47
  
• André L. Martinotto, F. Jornada, L. A. Cassol, V. Gava, Ricardo Vargas Dorneles, C. A. Perotoni:
  Generation of continuous random networks by simulated annealing. 48-49
  

Agent-oriented programming, systems, languages and applications

• Alessandro Ricci, Eric Platon, Fuyuki Ishikawa, Danny Weyns:
  Special track on Agent-oriented Programming, Systems, Languages, and Applications (APSLA): editorial message. 50-51
  
• Carolina Howard Felicíssimo, Caroline Chopinaud, Jean-Pierre Briot, Amal El Fallah-Seghrouchni, Carlos José Pereira de Lucena:
  Contextualizing normative open multi-agent systems. 52-59
  
• Luca Cernuzzi, Franco Zambonelli:
  Profile based comparative analysis for AOSE methodologies evaluation. 60-65
  
• Alessandro de Luna Almeida, Samir Aknine, Jean-Pierre Briot:
  Dynamic resource allocation heuristics for providing fault tolerance in multi-agent systems. 66-70
  
• Gilberto A. Cysneiros Filho, Andrea Zisman:
  Traceability and completeness checking for agent-oriented systems. 71-77
  

Agent-oriented programming, systems, languages and applications: poster papers

• Isabel Praça, André Andrade, Hugo Morais, Marílio Cardoso, Carlos Ramos, Zita A. Vale:
  A multi-agent system for the support of producer coalition formation in electricity markets. 78-79
  

Coordination models, languages and applications

• Michael Ignaz Schumacher, Alan Wood:
  Special track on Coordination Models, Languages and Architectures: editorial message. 80-81
  
• Bela Mutschler, Barbara Weber, Manfred Reichert:
  Workflow management versus case handling: results from a controlled software experiment. 82-89
  
• Daniel Wutke, Daniel Martin, Frank Leymann:
  Model and infrastructure for decentralized workflow enactment. 90-94
  
• Yahui Lu, Li Zhang, Jiaguang Sun:
  Towards trace semantics for WS-CDL with alignments. 95-99
  
• Matteo Ceriotti, Amy L. Murphy, Gian Pietro Picco:
  Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study. 100-107
  
• Marcílio Mendonça, Thiago T. Bartolomei, Donald D. Cowan:
  Decision-making coordination in collaborative product configuration. 108-113
  
• David P. Pereira, Ana Cristina Vieira de Melo:
  A formal architectural model for exception handling coordination. 114-118
  
• Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
  Framework composition conformance via refinement checking. 119-125
  

Coordination models, languages and applications: poster papers

• Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland:
  Preserving coordination properties when transforming concurrent system components. 126-127
  
• Kelly Rosa Braghetto, João Eduardo Ferreira, Calton Pu:
  Using process algebra to control the execution of business processes. 128-129
  
• Matteo Vasirani, Sascha Ossowski:
  Decentralized coordination strategies for the vehicle routing problem. 130-131
  
• Davide Rossi, Elisa Turrini:
  EPML: an executable process modeling language for process-aware applications. 132-133
  

Constraint satisfation and programming

• Alexandre Goldsztejn, Claude Michel, Michel Rueher:
  An efficient algorithm for a sharp approximation of universally quantified inequalities. 134-139
  
• Thomas Douillard, Christophe Jermann:
  Splitting heuristics for disjunctive numerical constraints. 140-144
  
• Carlos Olarte, Frank D. Valencia:
  Universal concurrent constraint programing: symbolic semantics and applications to security. 145-150
  
• Marco Benedetti, Arnaud Lallouet, Jérémie Vautard:
  Modeling adversary scheduling with QCSP⁺. 151-155
  

Constraint satisfation and programming: poster papers

• Roman Barták, Ondrej Cepek:
  Nested temporal networks with alternatives: recognition and tractability. 156-157
  

Object-oriented programming languages and systems

• Davide Ancona, Alex Buckley:
  Special track on Object-Oriented Languages and Systems: editorial message. 158-159
  
• Muga Nishizawa, Shigeru Chiba:
  A small extension to Java for class refinement. 160-165
  
• J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.:
  Integrating coercion with subtyping and multiple dispatch. 166-170
  
• Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup:
  Runtime concepts for the C₊₊ standard template library. 171-177
  
• Jaakko Järvi, John Freeman:
  Lambda functions for C++0x. 178-183
  
• Francesco Logozzo, Manuel Fähndrich:
  Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. 184-188
  

Programming languages

• Chang-Hyun Jo, Marjan Mernik, Barrett R. Bryant:
  Special track on Programming Languages: editorial message. 189-190
  
• Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci:
  The architecture and design of a malleable object-oriented prolog engine. 191-197
  
• Maurizio Cimadamore, Mirko Viroli:
  Integrating Java and Prolog through generic methods and type inference. 198-205
  
• Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou:
  Optimizing code through iterative specialization. 206-210
  
• Subhajit Roy, Y. N. Srikant:
  Improving flow-insensitive solutions for non-separable dataflow problems. 211-216
  
• Fabio Mascarenhas, Roberto Ierusalimschy:
  Efficient compilation of Lua for the CLR. 217-221
  
• Tiago Lopes Telecken, Ethan V. Munson, José Valdeni de Lima:
  Applying markup language resources in the specification of visual alphabets and visual sentences. 222-227
  
• Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio:
  Implementing Java modeling language contracts with AspectJ. 228-233
  
• Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards:
  Flexible pointer analysis using assign-fetch graphs. 234-239
  
• Joel E. Denny, Brian A. Malloy:
  IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution. 240-245
  
• Tales P. Nogueira, Luis C. L. Neto, Lincoln S. Rocha, Rossana M. C. Andrade:
  An adaptation of the collections framework, reflection and object cloning from J2SE to J2ME. 246-250
  

Programming for separation of concerns

• Yvonne Coady, Corrado Santoro, Emiliano Tramontana, Ian Welch:
  Special track on Programming for Separation of Concerns: editorial message. 251-252
  
• Kris Gybels, Charlotte Herzeel, Theo D'Hondt:
  Symbiosis in logic-based pointcuts over a history of join points. 253-260
  
• Ulises Juárez-Martínez, José Oscar Olmedo-Aguirre:
  Énfasis: a model for local variable crosscutting. 261-265
  
• Guillaume Pothier, Éric Tanter:
  Extending omniscient debugging to support aspect-oriented programming. 266-270
  
• Mohammed Al-Mansari, Stefan Hanenberg, Rainer Unland:
  On to formal semantics for path expression pointcuts. 271-275
  

Programming for separation of concerns: poster papers

• Márcio de Medeiros Ribeiro, Pedro Matos Jr., Paulo Borba:
  A decision model for implementing product lines variabilities. 276-277
  
• Andrew Camilleri, Lynne Blair, Geoffrey Coulson:
  Securing aspect composition. 278-279
  

Real-time systems

• Paulo Martins, Leandro Buss Becker:
  Special track on Real-Time Systems: editorial message. 280
  
• Björn Andersson:
  The utilization bound of uniprocessor preemptive slack-monotonic scheduling is 50%. 281-283
  
• Marcelo M. Sobral, Leandro Buss Becker:
  A wireless hybrid contention/TDMA-based MAC for real-time mobile application. 284-288
  
• Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo:
  Multiprocessor frequency locking for real-time task synchronization. 289-293
  
• Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
  Scheduling distributable real-time threads in the presence of crash failures and message losses. 294-301
  
• Biju K. Raveendran, Sundar Balasubramaniam, S. Gurunarayanan:
  Evaluation of priority based real time scheduling algorithms: choices and tradeoffs. 302-307
  
• Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro:
  Towards a model-driven engineering approach for developing embedded hard real-time software. 308-314
  
• Leo Ordínez, David Donari, Rodrigo M. Santos:
  A behavior priority driven approach for resource reservation scheduling. 315-319
  

Real-time systems: poster papers

• Fábio Rodrigues de la Rocha, Rômulo Silva de Oliveira:
  Strategies for QoS improvement on the time-interval scheduling. 320-321
  
• Damien Masson, Serge Midonnet:
  Slack time evaluation with RTSJ. 322-323
  
• Paulo Martins, Alan Burns:
  On the meaning of modes in uniprocessor real-time systems. 324-325
  

Software verification

• Fausto Spoto:
  Special track on Software Verification: editorial message. 326
  
• Gerardo Schneider:
  Reachability analysis of generalized polygonal hybrid systems. 327-332
  
• Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane:
  Reachability analysis using multiway decision graphs in the HOL theorem prover. 333-338
  
• Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani:
  A framework for performance evaluation and functional verification in stochastic process algebras. 339-346
  
• Francisco Bavera, Eduardo Bonelli:
  Type-based information flow analysis for bytecode languages with variable object field policies. 347-351
  
• June Andronick, Quang Huy Nguyen:
  Certifying an embedded remote method invocation protocol. 352-359
  
• Clément Ballabriga, Hugues Cassé, Pascal Sainrat:
  An improved approach for set-associative instruction cache partial analysis. 360-367
  
• Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini:
  Removing useless variables in cost analysis of Java bytecode. 368-375
  
• Aytekin Vargun, David R. Musser:
  Code-carrying theory. 376-383
  
• Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong:
  UML state machine diagram driven runtime verification of Java programs for message interaction consistency. 384-389
  
• Zhenyu Chen, Baowen Xu, Xiaofang Zhang, Changhai Nie:
  A novel approach for test suite reduction based on requirement relation contraction. 390-394
  

Document engineering

• Rafael Dueire Lins:
  Special track on Document Engineering: editorial message. 395-396
  
• Ergina Kavallieratou:
  An objective way to evaluate and compare binarization algorithms. 397-401
  
• Christoph Becker, Andreas Rauber, Volker Heydegger, Jan Schnasse, Manfred Thaller:
  A generic XML language for characterising objects to support digital preservation. 402-406
  
• Songbo Tan, Yuefen Wang, Xueqi Cheng:
  An efficient feature ranking measure for text categorization. 407-413
  
• Daniel Pavelec, Edson J. R. Justino, Leonardo Vidal Batista, Luiz S. Oliveira:
  Author identification using writer-dependent and writer-independent strategies. 414-418
  
• Ricardo O. Abu Hana, Cinthia Obladen de Almendra Freitas, Luiz S. Oliveira, Flávio Bortolozzi:
  Crime scene classification. 419-423
  
• Boris Chidlovskii, Loïc Lecerf:
  Stacked dependency networks for layout document structuring. 424-428
  
• Farshideh Einsele, Rolf Ingold, Jean Hennebert:
  A language-independent, open-vocabulary system based on HMMs for recognition of ultra low resolution words. 429-433
  
• Giorgia de Oliveira Mattos, Rafael Dueire Lins, Andrei de Araújo Formiga, Fernando Mário Junqueira Martins:
  BigBatch: a document processing platform for clusters and grids. 434-441
  
• Bettina Fazzinga, Sergio Flesca, Andrea Tagarelli, Salvatore Garruzzo, Elio Masciari:
  A wrapper generation system for PDF documents. 442-446
  

Document engineering: poster papers

• Atsuhiro Takasu, Kenro Aihara:
  Information extraction from scanned documents by stochastic page layout analysis. 447-448
  
• João Bosco Ferreira Filho, Helder S. Pinho, Riverson Rios, Rossana M. C. Andrade:
  A strategy for memory traffic management of bitmap fonts for text visualization in mobile devices. 449-450
  
• Yuanping Zhu, Ruwei Dai, Baihua Xiao, Chunheng Wang:
  Perspective rectification of camera-based document images using local linear structure. 451-452
  

Engineering large-scale distributed systems

• Fabrizio Falchi, Claudio Lucchese:
  Special track on Engineering Large-Scale Distributed Systems: editorial message. 453-454
  
• Alain Mowat, Roman Schmidt, Michael Schumacher, Ion Constantinescu:
  Extending peer-to-peer networks for approximate search. 455-459
  
• John Keeney, Dominic Jones, Dominik Roblek, David Lewis, Declan O'Sullivan:
  Knowledge-based semantic clustering. 460-467
  
• Edson Kageyama, Carlos Maziero, Altair Olivo Santin:
  A pull-based e-mail architecture. 468-472
  
• Claudio Gennaro, Matteo Mordacchini, Salvatore Orlando, Fausto Rabitti:
  Processing complex similarity queries in peer-to-peer networks. 473-478
  

Middleware engineering

• Sheikh Iqbal Ahamed, Praveen Madiraju:
  Special track on Middleware Engineering (ME): editorial message. 479-480
  
• Pravin Pawar, Katarzyna Wac, Bert-Jan van Beijnum, Pierre Maret, Aart van Halteren, Hermie Hermens:
  Context-aware middleware architecture for vertical handover support to multi-homed nomadic mobile services. 481-488
  
• Po-Chi Shih, Hsi-Min Chen, Yeh-Ching Chung, Chien-Min Wang, Ruay-Shiung Chang, Ching-Hsien Hsu, Kuo-Chan Huang, Chao-Tung Yang:
  Middleware of Taiwan UniGrid. 489-493
  
• Ricardo Jiménez-Peris, Marta Patiño-Martínez, Ernestina Martel-Jordán:
  Decentralized web service orchestration: a reflective approach. 494-498
  
• Francisco Reverbel, Ivan Silva Neto:
  Dynamic support to transactional remote invocations over multiple transports. 499-506
  
• Abdulmalik Al-Gahmi, Jonathan E. Cook:
  Towards a service-based middleware layer for runtime environments. 507-511
  

Middleware engineering: poster papers

• Yung Bok Kim, Marie Kim, Yong Joon Lee:
  COSMOS: a middleware platform for sensor networks and a u-healthcare service. 512-513
  
• Daniel Corrêa Lobato, Matheus Qualio Barbosa, Renato Bulcão Neto, César A. C. Teixeira, Maria da Graça Campos Pimentel:
  Exploiting semantic information on a message exchanging middleware. 514-515
  

Organizational engineering

• José M. Tribolet, Robert Winter, Artur Caetano:
  Special track on Organizational Engineering: editorial message. 516-517
  
• Christoph Rosenkranz, Roland Holten, Marcus Laumann:
  Designing IC structures by variety engineering. 518-523
  
• Martin Op't Land, Jan L. G. Dietz:
  Enterprise ontology based splitting and contracting of organizations. 524-531
  
• Rajiv Ramnath, Jay Ramanathan:
  Integrating goal modeling and execution in adaptive complex enterprises. 532-539
  
• Stefan Reitbauer, Falk Kohlmann, Clemens Eckert, Ken Mansfeldt, Rainer Alt:
  Redesigning business networks: reference process, network and service map. 540-547
  
• Robert Winter, Joachim Schelp:
  Enterprise architecture governance: the need for a business-to-IT approach. 548-552
  
• Kênia Soares Sousa, Hildeberto Mendonça Filho, Jean Vanderdonckt, Els Rogier, Joannes Vandermeulen:
  User interface derivation from business processes: a model-driven approach for organizational engineering. 553-560
  
• Michael Rohloff:
  An integrated view on business- and IT-architecture. 561-565
  
• Jaap Gordijn, Hans Weigand, Manfred Reichert, Roel Wieringa:
  Towards self-configuration and management of e-service provisioning in dynamic value constellations. 566-571
  
• Jan L. G. Dietz, Jan A. P. Hoogervorst:
  Enterprise ontology in enterprise engineering. 572-579
  
• Vassilios Peristeras, Nikos Loutas, Konstantinos A. Tarabanis:
  Organizational engineering in public administration: the state of the art on eGovernment domain modeling. 580-587
  

Organizational engineering: poster papers

• Roberto Santana Tapia, Novica Zarvic:
  Partnering structure definition for networked businesses. 588-589
  
• Marco von Mevius:
  A novel modeling language for tool-based business process engineering. 590-591
  
• David Aveiro, João Mendes, José M. Tribolet:
  Organizational modeling with a semantic wiki. 592-593
  

Requirements engineering

• Maria Lencastre:
  Special track on Requirements Engineering: editorial message. 594-595
  
• Haruhiko Kaiya, Tomonori Sato, Akira Osada, Naoyuki Kitazawa, Kenji Kaijiri:
  Toward quality requirements analysis based on domain specific quality spectrum. 596-601
  
• Patrice Chalin, Daniel Sinnig, Kianoush Torkzadeh:
  Capturing business transaction requirements in use case models. 602-606
  
• Novica Zarvic, Roel Wieringa, Pascal van Eck:
  Checking the alignment of value-based business models and IT functionality. 607-613
  
• F. G. Dias, Eber A. Schmitz, M. L. M. Campos, Alexandre L. Correa, Antonio J. Alencar:
  Elaboration of use case specifications: an approach based on use case fragments. 614-618
  
• Carina Alves, George Valença, Tayanna Sotero, Jeane Mendes:
  Requirements engineering process improvement: a knowledge transfer experience. 619-623
  
• Akira Osada, Daigo Ozawa, Naoyuki Kitazawa, Haruhiko Kaiya, Kenji Kaijiri:
  Proposing metrics of difficulty of domain knowledge using usecase diagrams. 624-629
  
• Marcos E. B. Broinizi, João Eduardo Ferreira, Alfredo Goldman:
  Using annotations in the naked objects framework to explore data requirements. 630-637
  
• Juan Pablo Carvallo, Xavier Franch, Carme Quer:
  Requirements engineering for COTS-based software systems. 638-644
  
• Yijun Yu, Julio Cesar Sampaio do Prado Leite, Alexei Lapouchnian, John Mylopoulos:
  Configuring features with stakeholder goals. 645-649
  
• Abdul Babar, Didar Zowghi, Karl Cox, Vladimir Tosic:
  Three integration approaches for map and B-SCP requirements engineering techniques. 650-655
  

Requirements engineering: poster papers

• David de Almeida Ferreira, Alberto Rodrigues da Silva:
  A requirements specification case study with ProjectIT-studio/requirements. 656-657
  
• WenQian Liu:
  A requirements refinement framework. 658-659
  

Software engineering

• W. Eric Wong, Chang Oan Sung, Sung Y. Shin:
  Message from the software engineering track chairs: editorial. 660
  
• Mohamad S. Bayan, João W. Cangussu:
  Automatic feedback, control-based, stress and load testing. 661-666
  
• Murali Krishna Ramanathan, Mehmet Koyutürk, Ananth Grama, Suresh Jagannathan:
  PHALANX: a graph-theoretic framework for test case prioritization. 667-673
  
• Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gervais:
  Collaborative software engineering on large-scale models: requirements and experience in ModelBus. 674-681
  
• Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
  Using adaptive distinguishing sequences in checking sequence constructions. 682-687
  
• Simon Richard Kaegi, Dwight Deugo:
  Modular Java web applications. 688-693
  
• Fábio Rodrigues de la Rocha, Rômulo Silva de Oliveira:
  An environment for the rapid development of embedded file systems. 694-699
  
• Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti:
  SPEM on test: the SODA case study. 700-706
  
• Fábio Petrillo, Marcelo Soares Pimenta, Francisco M. Trindade, Carlos Dietrich:
  Houston, we have a problem...: a survey of actual problems in computer games development. 707-711
  
• Rui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund:
  Automatic software fault localization using generic program invariants. 712-717
  
• Fevzi Belli, Axel Hollmann:
  Test generation and minimization with "basic" statecharts. 718-723
  
• Stéphane S. Somé, Xu Cheng:
  An approach for supporting system-level test scenarios generation from textual use cases. 724-729
  
• Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier:
  Towards verification and testing of Java programs. 730-734
  
• Waldemar Pires, João Brunet, Franklin Ramalho:
  UML-based design test generation. 735-740
  
• Yung-Pin Cheng, Han-Shu Chen:
  SoftMon: programmable software monitoring with minimum overhead by helper-threading. 741-747
  
• Ju Qian, Baowen Xu:
  Scenario oriented program slicing. 748-752
  
• Maurício Massaru Arimoto, Maria Istela Cagnin, Valter Vieira de Camargo:
  Version control in crosscutting framework-based development. 753-758
  
• Valter Vieira de Camargo, Paulo Cesar Masiero:
  A pattern to design crosscutting frameworks. 759-764
  
• Jing Dong, Yongtao Sun, Yajing Zhao:
  Design pattern detection by template matching. 765-769
  
• Pedro de Alcântara dos Santos Neto, Rodolfo F. Resende, Clarindo Isaías Pereira da Silva e Pádua:
  An evaluation of a model-based testing method for information systems. 770-776
  
• Mateus Barcellos Costa, Rodolfo F. Resende, Eduardo Freire Nakamura, Marcelo Eduardo Vieira Segatto:
  Software frameworks for information systems integration based on web services. 777-782
  
• Carlos Eduardo de Barros Paes, Celso Massaki Hirata, Edgar Toshiro Yano:
  Extending RUP to develop fault tolerant software. 783-790
  
• El Abbassia Deba:
  On the conformity of models: a transducer-based approach for model transformation. 791-796
  
• Junhua Ding, Lian Mo, Xudong He:
  An approach for specification construction using property-preserving refinement patterns. 797-803
  
• Wuwei Shen, Dae-Kyoo Kim:
  ICER: a tool for finding errors in a UML model. 804-808
  
• Paulo Marcos Siqueira Bueno, W. Eric Wong, Mario Jino:
  Automatic test data generation using particle systems. 809-814
  
• André Rodrigues, Hyggo Oliveira de Almeida, Angelo Perkusich:
  A C++ environment for dynamic unanticipated software evolution. 815-819
  
• Carlos Augusto Lombardi Garcia, Celso Massaki Hirata:
  Integrating functional metrics, COCOMO II and earned value analysis for software projects using PMBoK. 820-825
  
• Zhenyu Chen, Baowen Xu, Changhai Nie:
  A detectability analysis of fault classes for Boolean specifications. 826-830
  
• Mohammad Gias Uddin, Mohammad Zulkernine:
  UMLtrust: towards developing trust-aware software. 831-836
  
• Ahmed E. Hassan:
  Automated classification of change messages in open source projects. 837-841
  

Software engineering: poster papers

• German L. Vazquez, Marcelo R. Campo, J. Andrés Díaz Pace:
  A case-based reasoning approach for materializing software architectures onto object-oriented designs. 842-843
  
• Eber A. Schmitz, Antonio J. Alencar, Carlos Mendes de Azevedo:
  A method for defining the implementation order of software projects under uncertainty. 844-845
  
• Luis Reynoso, Juan Antonio Cruz-Lemus, Marcela Genero, Mario Piattini:
  Formal definition of measures for UML statechart diagrams using OCL. 846-847
  
• César Andrés, Rafael G. Aranda, Manuel Núñez:
  Using formal methods to develop a complex information system: a practical/theoretical experience. 848-849
  

Advances in spatial and image-based information systems

• Richard Chbeir, Christophe Claramunt, Ki-Joune Li, Kokou Yétongnon:
  Track on Advances in Spatial and Image-Based Information Systems (ASIIS): editorial message. 851
  
• Eleftherios Tiakas, Apostolos N. Papadopoulos, Alexandros Nanopoulos, Yannis Manolopoulos:
  Selectivity estimation in spatial networks. 852-856
  
• Leticia I. Gómez, Bart Kuijpers, Alejandro A. Vaisman:
  Aggregation languages for moving object and places of interest. 857-862
  
• Andrey Tietbohl Palma, Vania Bogorny, Bart Kuijpers, Luis Otávio Alvares:
  A clustering-based approach for discovering interesting places in trajectories. 863-868
  
• Humberto Luiz Razente, Maria Camila Nardini Barioni, Agma J. M. Traina, Caetano Traina Jr.:
  Aggregate similarity queries in relevance feedback methods for content-based image retrieval. 869-874
  
• Alejandro Pauly, Markus Schneider:
  Spatial vagueness and imprecision in databases. 875-879
  

Data mining

• Christopher LaRosa, Li Xiong, Ken Mandelberg:
  Frequent pattern mining for kernel trace data. 880-885
  
• Gianni Costa, Giuseppe Manco, Riccardo Ortale:
  A hierarchical model-based approach to co-clustering high-dimensional data. 886-890
  
• Boris Chidlovskii, Loïc Lecerf:
  Semi-supervised visual clustering for spherical coordinates systems. 891-895
  
• Songbo Tan, Yuefen Wang, Gaowei Wu, Xueqi Cheng:
  Using unlabeled data to handle domain-transfer problem of semantic detection. 896-903
  
• Claudia Diamantini, Domenico Potena:
  Borderline detection by Bayes vector quantizers. 904-908
  
• Xiaoyun He, Basit Shafiq, Jaideep Vaidya, Nabil R. Adam:
  Privacy-preserving link discovery. 909-915
  
• Saket S. R. Mengle, Nazli Goharian:
  Using ambiguity measure feature selection algorithm for support vector machine classifier. 916-920
  
• Liwei Kuang, Mohammad Zulkernine:
  An anomaly intrusion detection method using the CSI-KNN algorithm. 921-926
  
• Jhih-Jie Zeng, Guanling Lee, Chung-Chi Lee:
  Mining fault-tolerant frequent patterns efficiently with powerful pruning. 927-931
  
• Saket S. R. Mengle, Nazli Goharian, Alana Platt:
  Discovering relationships among categories using misclassification information. 932-937
  
• Radim Belohlávek, Vilém Vychodil:
  Adding background knowledge to formal concept analysis via attribute dependency formulas. 938-943
  
• Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho:
  k-RNN: k-relational nearest neighbour algorithm. 944-948
  

Data mining: poster papers

• Xiaoyuan Su, Taghi M. Khoshgoftaar, Xingquan Zhu, Russell Greiner:
  Imputation-boosted collaborative filtering using machine learning classifiers. 949-950
  
• Fábio de Lima Bezerra, Jacques Wainer:
  Anomaly detection algorithms in logs of process aware systems. 951-952
  
• Marcela Xavier Ribeiro, Agma J. M. Traina, Caetano Traina Jr.:
  A new algorithm for data discretization and feature selection. 953-954
  

Data streams

• João Gama, André Carlos Ponce Leon Ferreira de Carvalho, Jesús S. Aguilar-Ruiz:
  Special track on Data Streams: editorial message. 955
  
• Maria Kontaki, Apostolos N. Papadopoulos, Yannis Manolopoulos:
  Continuous k-dominant skyline computation on multidimensional data streams. 956-960
  
• Christoforos Anagnostopoulos, Niall M. Adams, David J. Hand:
  Deciding what to observe next: adaptive variable selection for regression in multivariate data streams. 961-965
  
• Giovanni Montana, Kostas Triantafyllopoulos, Theodoros Tsagaris:
  Data stream mining for market-neutral algorithmic trading. 966-970
  
• Suan Khai Chong, Shonali Krishnaswamy, Seng Wai Loke, Mohamed Medhat Gaber:
  Using association rules for energy conservation in wireless sensor networks. 971-975
  
• Eduardo J. Spinosa, André Carlos Ponce Leon Ferreira de Carvalho, João Gama:
  Cluster-based novel concept detection in data streams applied to intrusion detection in computer networks. 976-980
  

Database theory, technology, and applications

• Ramzi A. Haraty, Apostolos N. Papadopoulos, Junping Sun:
  Special track on Database Theory, Technology, and Applications: editorial message. 981
  
• Bryce Cutt, Ramon Lawrence:
  Managing data quality in a terabyte-scale sensor archive. 982-986
  
• Ömer Ö. Isikman, B. Görkem Yalim, Murat Özdemir, Tansel Özyer, Harun Gökçe, Reda Alhajj:
  Adaptive weighted multi-criteria fuzzy query processing for web based real estate applications. 987-991
  
• Maristela Holanda, Angelo Brayner, Sergio Fialho:
  Introducing self-adaptability into transaction processing. 992-997
  
• José de Aguiar Moraes Filho, Theo Härder:
  Accurate histogram-based XML summarization. 998-1002
  
• Makoto Yui, Jun Miyazaki, Shunsuke Uemura, Hirokazu Kato:
  XBird/D: distributed and parallel XQuery processing using remote proxy. 1003-1007
  
• Camélia Constantin, Bernd Amann:
  Usage-based ranking of distributed XML data. 1008-1012
  
• José Fonseca, Marco Vieira, Henrique Madeira:
  Online detection of malicious data access using DBMS auditing. 1013-1020
  
• Tatsuo Tsuji, Masayuki Kuroda, Ken Higuchi:
  History offset implementation scheme for large scale multidimensional data sets. 1021-1028
  
• Rogério Luís de Carvalho Costa, Pedro Furtado:
  A QoS-oriented external scheduler. 1029-1033
  

Database theory, technology, and applications: poster papers

• Renato Bueno, Agma J. M. Traina, Caetano Traina Jr.:
  An algorithm for effective deletion and a new optimization technique for metric access methods. 1034-1035
  
• Rebeca Schroeder, Ronaldo dos Santos Mello:
  Conversion of generalization hierarchies and union types from extended entity-relationship model to an XML logical model. 1036-1037
  
• Raman Adaikkalavan, Sharma Chakravarthy:
  Events must be complete in event processing! 1038-1039
  

Enterprise information systems

• Rogério Atem de Carvalho, Asterio Kiyoshi Tanaka:
  Special track on Enterprise Information Systems: editorial message. 1040-1041
  
• Stephan Roser, Florian Lautenbacher, Bernhard Bauer:
  MDSD light for ERP. 1042-1047
  
• Teduh Dirgahayu, Dick A. C. Quartel, Marten van Sinderen:
  Designing interaction behaviour in service-oriented enterprise application integration. 1048-1054
  
• T. G. J. Schepers, Maria-Eugenia Iacob, Pascal van Eck:
  A lifecycle approach to SOA governance. 1055-1061
  
• Rafael Manhaes Monnerat, Rogério Atem de Carvalho, Renato de Campos:
  Enterprise systems modeling: the ERP5 development process. 1062-1068
  
• Zonghua Zhang, Farid Naït-Abdesselam, Xiaodong Lin, Pin-Han Ho:
  A model-based semi-quantitative approach for evaluating security of enterprise networks. 1069-1074
  

Enterprise information systems: poster papers

• Srivatsava Ranjit Ganta, Raj Acharya:
  Adaptive data anonymization against information fusion based privacy attacks on enterprise data. 1075-1076
  
• Norbert Gronau, Michael Rohloff:
  Information systems implementation: the big picture. 1077-1078
  

Information access and retrieval

• Gabriella Pasi, Gloria Bordogna:
  Special track on Information Access and Retrieval: editorial message. 1079-1080
  
• Panagiotis Antonellis, Christos Makris, Nikos Tsirakis:
  XEdge: clustering homogeneous and heterogeneous XML documents using edge summaries. 1081-1088
  
• Apostolos N. Papadopoulos:
  Trajectory retrieval with latent semantic analysis. 1089-1094
  
• Gloria Bordogna, Marco Pagani, Gabriella Pasi, Giuseppe Psaila:
  Evaluating uncertain location-based spatial queries. 1095-1100
  
• Anne-Marie Vercoustre, James A. Thom, Jovan Pehcevski:
  Entity ranking in Wikipedia. 1101-1106
  
• Mohan John Blooma, Alton Yeow-Kuan Chua, Dion Hoe-Lian Goh:
  A predictive framework for retrieving the best answer. 1107-1111
  
• Renato Fernandes Corrêa, Teresa Bernarda Ludermir:
  Semantic mapping and K-means applied to hybrid SOM-based document organization system construction. 1112-1116
  
• Marius Pasca:
  Towards temporal web search. 1117-1121
  
• Delphine Verbyst, Philippe Mulhem:
  Doxels in context for retrieval: from structure to neighbours. 1122-1126
  
• Hassan Naderi, Béatrice Rumpler, Jean-Marie Pinon:
  A graph-based profile similarity calculation method for collaborative information retrieval. 1127-1131
  
• Thomas Mandl, Christa Womser-Hacker, Giorgio Maria Di Nunzio, Nicola Ferro:
  How robust are multilingual information retrieval systems? 1132-1136
  
• Fabiano Atalla, Daniel Miranda, Jussara M. Almeida, Marcos André Gonçalves, Virgilio Almeida:
  Analyzing the impact of churn and malicious behavior on the quality of peer-to-peer web search. 1137-1144
  
• Alessio Bechini, Andrea Tomasi, Jacopo Viotto:
  Enabling ontology-based document classification and management in ebXML registries. 1145-1150
  
• Frederico Araujo Durão, Taciana A. Vanderlei, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira:
  Applying a semantic layer in a source code search tool. 1151-1157
  
• Guilherme T. de Assis, Alberto H. F. Laender, Altigran Soares da Silva, Marcos André Gonçalves:
  The impact of term selection in genre-aware focused crawling. 1158-1163
  
• Nima Taghipour, Ahmad Kardan:
  A hybrid web recommender system based on Q-learning. 1164-1168
  

Information access and retrieval: poster papers

• Kosuke Takano, Xing Chen:
  A light-weight feedback method for reconstructing a document vector space on a feature extraction model. 1169-1170
  
• Yuval Merhav, Ophir Frieder:
  On filtering irrelevant results in peer-to-peer search. 1171-1172
  

Multimedia and visualization

• Chaman L. Sabharwal, Mingjun Zhang:
  Special track on Multimedia and Visualization track: editorial message. 1173-1174
  
• Mohammadreza Keyvanpour, Shabnam Asbaghi:
  A new approach for interactive semantic image retrieval using the high level semantics. 1175-1179
  
• Jurandy Almeida, Anderson Rocha, Ricardo da Silva Torres, Siome Goldenstein:
  Making colors worth more than a thousand words. 1180-1186
  
• Vo Dinh Minh Nhat, Sungyoung Lee:
  k-means discriminant maps for data visualization and classification. 1187-1191
  
• Andreas Lang, Jana Dittmann:
  Digital audio watermarking evaluation within the application field of perceptual hashing. 1192-1196
  
• Tobias Schreck, Dieter W. Fellner, Daniel A. Keim:
  Towards automatic feature vector optimization for multimedia applications. 1197-1201
  
• Danzhou Liu, Kien A. Hua, Hao Cheng:
  Handle local optimum traps in CBIR systems. 1202-1206
  
• Hao Cheng, Kien A. Hua, Khanh Vu, Danzhou Liu:
  Semi-supervised dimensionality reduction in image feature space. 1207-1211
  
• Claudio Haruo Yamamoto, Maria Cristina F. Oliveira, Solange Oliveira Rezende:
  Including the user in the knowledge discovery loop: interactive itemset-driven rule extraction. 1212-1217
  
• Roberto C. Cavalcante Vieira, Creto Augusto Vidal, Joaquim B. Cavalcante Neto:
  A biologically inspired generation of virtual characters. 1218-1224
  
• Pedro Henrique Bugatti, Agma J. M. Traina, Caetano Traina Jr.:
  Assessing the best integration between distance-function and image-feature to answer similarity queries. 1225-1230
  
• Marcelo Cohen, Ken W. Brodlie, Nick Phillips:
  The volume in focus: hardware-assisted focus and context effects for volume visualization. 1231-1235
  
• João F. Mari, José Hiroki Saito, Gustavo Poli, Marcelo R. Zorzan, Alexandre L. M. Levada:
  Improving the neural meshes algorithm for 3D surface reconstruction with edge swap operations. 1236-1240
  
• Rafael de Sousa Rocha, Maria Andréia F. Rodrigues:
  An evaluation of a collision handling system using sphere-trees for plausible rigid body animation. 1241-1245
  
• Renan G. Cattelan, César A. C. Teixeira, Hélder Ribas, Ethan V. Munson, Maria da Graça Campos Pimentel:
  Inkteractors: interacting with digital ink. 1246-1251
  
• Virginie Sans, Dominique Laurent:
  IFOX: interface for ordered XQuery an algebraic oriented tool for ordered XQuery visualization. 1252-1257
  

Multimedia and visualization: poster papers

• Wenshan Yu, Rakesh M. Verma:
  Visualization of rule-based programming. 1258-1259
  

Bioinformatics

• Mathew J. Palakal, William Perrizo, Kanagasabai Rajaraman:
  Special track on Bioinformatics: editorial message. 1260
  
• Márcio Dorn, Osmar Norberto de Souza:
  CReF: a central-residue-fragment-based method for predicting approximate 3-D polypeptides structures. 1261-1267
  
• Fabiana F. Araújo, Ângela M. A. Pinheiro, Kaio M. Farias, Bernadette Farias Lóscio, Diana M. Oliveira:
  FlagelLink: a decision support system for distributed flagellar data using data warehouse. 1268-1272
  
• Ernst Althaus, Stefan Canzar, Mark R. Emmett, Andreas Karrenbauer, Alan G. Marshall, Anke Meyer-Bäse, Huimin Zhang:
  Computing H/D-exchange speeds of single residues from data of peptic fragments. 1273-1277
  
• Hugo P. Bastos, Catia Pesquita, Daniel Faria, André O. Falcão:
  BOLOS: BLAST & Ontology Linked-hOmologue Stars. 1278-1281
  
• Sérgio Manuel Serra da Cruz, Vanessa Batista, Alberto M. R. Dávila, Edno Silva, Frederico Tosta, Clarissa Vilela, Maria Luiza Machado Campos, Rafael R. C. Cuadrat, Diogo A. Tschoeke, Marta Mattoso:
  OrthoSearch: a scientific workflow approach to detect distant homologies on protozoans. 1282-1286
  
• Jiao Li, Xiaoyan Zhu, Jake Yue Chen:
  Mining disease-specific molecular association profiles from biomedical literature: a case study. 1287-1291
  
• Haifeng Shao, Bei Yu, Joseph H. Nadeau:
  Strangeness-based feature weighting and classification of gene expression profiles. 1292-1296
  
• Harini N. Kasamsetty, Xiaogang Wu, Jake Yue Chen:
  Towards an integrative human pathway database for systems biology applications. 1297-1301
  
• Anna Antony, Srilaxmi Basetty, Shielly Hartanto, Mathew J. Palakal:
  Computational approach to biological validation of protein-protein interactions discovered using literature mining. 1302-1306
  

Bioinformatics: poster papers

• Raf Van de Plas, Bart De Moor, Etienne Waelkens:
  Discrete wavelet transform-based multivariate exploration of tissue via imaging mass spectrometry. 1307-1308
  
• Antonina Mitrofanova, Bud Mishra:
  Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes. 1309-1310
  

Computer applications in health care

• Fátima L. S. Nunes, Rosa Maria Esteves Moreira da Costa:
  Special track on Computer Applications in Health Care: editorial message. 1311