23. SAC 2008:
Fortaleza,
Ceara,
Brazil
Roger L. Wainwright, Hisham Haddad (Eds.):
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008.
ACM 2008, ISBN 978-1-59593-753-7 
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
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
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
Constraint satisfation and programming
Constraint satisfation and programming:
poster papers
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
Programming for separation of concerns:
poster papers
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
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
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
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
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
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
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
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
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
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
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
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
- Fátima L. S. Nunes, Rosa Maria Esteves Moreira da Costa:
The virtual reality challenges in the health care area: a panoramic view.
1312-1316
- Mark Slaymaker, David J. Power, Douglas Russell, Graeme Wilson, Andrew Simpson:
Accessing and aggregating legacy data sources for healthcare research, delivery and training.
1317-1324
- Jacques Wainer, Cleo Zanella Billa, Marcio Paixao Dantas:
ST-guide: a framework for the implementation of automatic clinical guidelines.
1325-1332
- Homero Schiabel, Vivian T. Santos, Michele F. Angelo:
Segmentation technique for detecting suspect masses in dense breast digitized images as a tool for mammography CAD schemes.
1333-1337
- Danilo Avola, Luigi Cinque:
Encephalic NMR image analysis by textural interpretation.
1338-1342
- Rafael Correia, Fabio Kon, Rubens Kon:
Borboleta: a mobile telehealth system for primary homecare.
1343-1347
- Cristiano M. Agulhari, Rosanna M. R. Silveira, Ivanil S. Bonatti:
Compressing electrocardiogram signals using parameterized wavelets.
1348-1352
- Juliana R. Basto Diniz, Carlos André Guimarães Ferraz, Hildeberto Melo:
An architecture of services for session management and contents adaptation in ubiquitous medical environments.
1353-1357
- Luciano Vieira de Araújo, Ester C. Sabino, João Eduardo Ferreira:
HIV drug resistance analysis tool based on process algebra.
1358-1363
- Márcia Ito, José S. C. Martini, Lúcia C. Iochida:
CPRM: a chronic patient's management model based on the concepts of customer's relationship.
1364-1368
- Carlos Hitoshi Morimoto, Thomaz Fracon de Oliveira:
Eyelid measurements using digital video processing.
1369-1373
- Bernardo Gonçalves, José Gonçalves Pereira Filho, Rodrigo Varejão Andreão, Giancarlo Guizzardi:
ECG data provisioning for telehomecare monitoring.
1374-1379
- B. Correa, E. Ishikawa, Artur Ziviani, M. Faria:
Medical image analysis using mobile devices.
1380-1384
- Aparecido Fabiano Pinatti de Carvalho, Júnia Coutinho Anacleto Silva, Silvia Zem-Mascarenhas:
Learning activities on health care supported by common sense knowledge.
1385-1389
- Lucas Ferrari de Oliveira, Paulo Mazzoncini de Azevedo Marques, Lauro Wichert-Ana, Américo Ceiki Sakamoto:
Brain registration and subtraction - improved localization for SPECT analysis (B.R.A.S.I.L.): a computer-aided diagnosis in epilepsy tool kit.
1390-1394
- Helen de F. Santos, Luiz H. Z. Santana, Diogo S. Martins, Wanderley Lopes de Souza, Antônio Francisco do Prado, Mauro Biajiz:
A ubiquitous computing environment for medical education.
1395-1399
- D. F. Pires, César A. C. Teixeira, E. E. S. Ruiz:
A UMLS interoperable solution to support collaborative diagnosis decision making over the internet.
1400-1404
- Francesco Amato, Mario Cannataro, Carlo Cosentino, F. Montefusco, Giuseppe Tradigo, Pierangelo Veltri, A. Garozzo, N. Lombardo, Sergio Greco, C. Manfredi:
A web-based system for the collection and analysis of spectra signals for early detection of voice alterations.
1405-1409
- Silvana Cunha Costa, Benedito G. Aguiar Neto, Joseana M. Fechine, Suzete Correia:
Parametric cepstral analysis for pathological voice assessment.
1410-1414
- Daniela Gorski Trevisan, Luciana Porcher Nedel, Benoit M. Macq:
Augmented vision for medical applications.
1415-1419
Computer applications in health care:
poster papers
- Marco César Goldbarg, Elizabeth Ferreira Gouvea Goldbarg, Carlos R. A. Mendes:
Selecting beam directions in radiotherapy with an evolutionary algorithm.
1420-1421
- Marcelo P. Silva, Jean R. Damasceno, Flávio Luiz Seixas, Andrea Silveira de Souza, Débora C. Muchaluat-Saade:
Automated segmentation and volumetric analysis of brain components on MR imaging.
1422-1423
- Silvana Cunha Costa, Suzete Correia, Hanniere Falcão, Náthalee Almeida, Benedito G. Aguiar Neto, Joseana M. Fechine:
Pathological voice discrimination based on entropy measurements.
1424-1425
Computer forensics
Computer forensics:
poster papers
e-business applications
e-business applications:
poster papers
- Fahim Akhter, Lami Kaya:
Building secure e-business systems: technology and culture in the UAE.
1474-1475
Embedded systems:
applications,
solutions,
and techniques
- Alessio Bechini, Cosimo Antonio Prete:
Special track on Embedded Systems: Applications, Solutions, and Techniques: editorial message.
1476
- Peng Wei, Lihua Yue, Zhanzhan Liu, Xiaoyan Xiang:
Flash memory management based on predicted data expiry-time in embedded real-time systems.
1477-1481
- Ehsan Atoofian, Amirali Baniasadi:
Exploiting program cyclic behavior to reduce memory latency in embedded processors.
1482-1486
- Xiaoyan Xiang, Lihua Yue, Zhanzhan Liu, Peng Wei:
A reliable B-tree implementation over flash memory.
1487-1491
- Flavius Gruian, Mark Westmijze:
VHDL vs. Bluespec system verilog: a case study on a Java embedded architecture.
1492-1497
- Youngwoo Park, Seung Ho Lim, Chul Lee, Kyu Ho Park:
PFFS: a scalable flash memory file system for the hybrid architecture of phase-change RAM and NAND flash.
1498-1503
- Jianjun Guo, Ming-che Lai, Zhengyuan Pang, Libo Huang, Fangyuan Chen, Kui Dai, Zhiying Wang:
Hierarchical memory system design for a heterogeneous multi-core processor.
1504-1508
- Martino Sykora, Giovanni Agosta, Cristina Silvano:
Dynamic configuration of application-specific implicit instructions for embedded pipelined processors.
1509-1516
- Nei-Chiung Perng, Jian-Jia Chen, Tei-Wei Kuo:
The minimization of hardware size in reconfigurable embedded platforms.
1517-1522
- Yi-Ying Tsai, Chia-Jung Hsu, Chung-Ho Chen:
Power-efficient and scalable load/store queue design via address compression.
1523-1527
- Tai-Hua Lu, Chung-Ho Chen, Kuen-Jong Lee:
A hybrid software-based self-testing methodology for embedded processor.
1528-1534
- Chia-Tien Dan Lo, Yi-Gang Tai, Kleanthis Psarris:
Hardware implementation for network intrusion detection rules with regular expression support.
1535-1539
- Emanuela G. Cartaxo, Wilkerson de L. Andrade, Francisco G. Oliveira Neto, Patrícia D. L. Machado:
LTS-BT: a tool to generate and select functional test cases for embedded systems.
1540-1544
- Saulo Oliveira Dornellas Luiz, Genildo de Moura Vasconcelos, Leandro Dias da Silva:
Formal specification of DSP gateway for data transmission between processor cores of OMAP platform.
1545-1549
Embedded systems:
applications,
solutions,
and techniques:
poster papers
Natural language processing and speech recognition
Natural language processing and speech recognition:
poster papers
Robotics:
hardware,
software,
and embedded systems
- Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia:
A hybrid real-time component model for reconfigurable embedded systems.
1590-1596
- José Martins Jr., Luiz Camolesi Jr., Glauco Augusto de Paula Caurin:
Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation.
1597-1601
- Anderson Luiz, Fernandes Perez, Guilherme Bittencourt, Mauro Roisenberg:
A new approach to control a population of mobile robots using genetic programming.
1602-1606
- Kelson R. T. Aires, Andre M. Santana, Adelardo A. D. Medeiros:
Optical flow using color information: preliminary results.
1607-1611
Robotics:
hardware,
software,
and embedded systems:
poster papers
Ubiquitous computing
- Achilles Kameas, George Roussos:
Special track on Ubiquitous Computing: Ubiquitous and Pervasive eCommerce and eBusiness: editorial message.
1614-1615
- Masahiro Bessho, Shinsuke Kobayashi, Noboru Koshizuka, Ken Sakamura:
A space-identifying ubiquitous infrastructure and its application for tour-guiding service.
1616-1621
- Sheikh Iqbal Ahamed, Munirul M. Haque, Nilothpal Talukder:
Service sharing with trust in pervasive environment: now it's time to break the jinx.
1622-1628
- Marco de Sá, Luís Carriço, Luís Duarte, Tiago Reis:
Multi-purpose proactive m-Artifacts.
1629-1633
- Benoît Collignon, Jean Vanderdonckt, Gaëlle Calvary:
An intelligent editor for multi-presentation user interfaces.
1634-1641
- Renato Bulcão Neto, Ajith K. Sankarankutty, Alessandra A. Macedo, Paulo Azevedo-Marques, Lauro Wichert-Ana, José Antonio Camacho Guerrero:
Supporting ethnographic studies of ubiquitous computing in the medical grand round experience.
1642-1646
Ubiquitous computing:
poster papers
Autonomic computing
- Umesh Bellur, Rajiv Ramnath:
Special track on Autonomic Computing: editorial message.
1651
- Emil Vassev, Mike Hinchey, Joey Paquet:
Towards an ASSL specification model for NASA swarm-based exploration missions.
1652-1657
- Laurent Broto, Daniel Hagimont, Patricia Stolf, Noel De Palma, Suzy Temate:
Autonomic management policy specification in Tune.
1658-1663
- Tariq M. King, Alain E. Ramirez, Peter J. Clarke, Barbara Quinones-Morales:
A reusable object-oriented design to support self-testable autonomic software.
1664-1669
- Mukundan Sridharan, Sandip Bapat, Rajiv Ramnath, Anish Arora:
Implementing an autonomic architecture for fault-tolerance in a wireless sensor network testbed for at-scale experimentation.
1670-1676
Artificial intelligence in space applications
Adaptive techniques in operating systems
- Tei-Wei Kuo, Jiman Hong:
Special track on Adaptive Techniques in Operating Systems: editorial message.
1698-1699
- Michael Schöbel, Andreas Polze:
Kernel-mode scheduling server for CPU partitioning: a case study using the Windows research kernel.
1700-1704
- Junghoon Lee, Gyung-Leen Park, Chang Oan Sung, Sang-Wook Kim:
A group management scheme for an efficient location-based service.
1705-1709
- Jaeheung Lee, Junyoung Heo, Yookun Cho, Jiman Hong, Sung Y. Shin:
Secure deletion for NAND flash file system.
1710-1714
- Yu-Bin Chang, Li-Pin Chang:
A self-balancing striping scheme for NAND-flash storage systems.
1715-1719
- Jian-Jia Chen:
Expected energy consumption minimization in DVS systems with discrete frequencies.
1720-1725
Adaptive techniques in operating systems:
poster papers
Computational logic and computational intelligence in signal and image analysis
- Khalil Djelloul:
Combination of decomposability and propagation for solving first-order constraints in decomposable theories.
1728-1732
- Alexandre L. M. Levada, Nelson D. A. Mascarenhas, Alberto Tannús, Denis H. P. Salvadeo:
Spatially non-homogeneous potts model parameter estimation on higher-order neighborhood systems by maximum pseudo-likelihood.
1733-1737
- Débora C. Corrêa, Alexandre L. M. Levada, José Hiroki Saito, João F. Mari:
Neural network based systems for computer-aided musical composition: supervised x unsupervised learning.
1738-1742
- Luís A. Lucas, Tania Mezzadri Centeno, Myriam Regattieri Delgado:
General type-2 fuzzy classifiers to land cover classification.
1743-1747
- Paulo Vinicius Wolski Radtke, Robert Sabourin, Tony Wong:
Using the RRT algorithm to optimize classification systems for handwritten digits and letters.
1748-1752
- Fabrizia M. de S. Matos, Leonardo Vidal Batista, JanKees van der Poel:
Face recognition using DCT coefficients selection.
1753-1757
Computational logic and computational intelligence in signal and image analysis:
poster papers
Applications of evolutionary computation
- Bryant A. Julstrom:
Special track on Applications of Evolutionary Computation: editorial message.
1766
- Muhammet Fikret Ercan:
A performance comparison of PSO and GA in scheduling hybrid flow-shops with multiprocessor tasks.
1767-1771
- Ricardo Martins de Abreu Silva, Filipe G. Brandão, Gleimar B. Baleeiro, Felipe L. Valentim, Adriano R. de Mendonça, Danilo M. Pires:
Fuzzy and neuro-fuzzy estimates of the total height of eucalyptus trees.
1772-1776
- Claudio Fabiano Motta Toledo, Paulo Morelato França, Kalianne Almeida Rosa:
Evaluating genetic algorithms with different population structures on a lot sizing and scheduling problem.
1777-1781
- André L. V. Coelho, Daniel G. de Oliveira:
Dynamically tuning the population size in particle swarm optimization.
1782-1787
- Petrônio L. Braga, Adriano L. I. Oliveira, Silvio R. L. Meira:
A GA-based feature selection and parameters optimization for support vector regression applied to software effort estimation.
1788-1792
- Yuri Lenon B. Nogueira, Creto Augusto Vidal, Joaquim B. Cavalcante Neto:
A nervous system model for direct dynamics animation control based on evolutionary computation.
1793-1800
- Moisés G. de Carvalho, Alberto H. F. Laender, Marcos André Gonçalves, Altigran Soares da Silva:
Replica identification using genetic programming.
1801-1806
- Zhanshan (Sam) Ma, Axel W. Krings:
Dynamic populations in genetic algorithms.
1807-1811
Applications of evolutionary computation:
poster papers
Geometric constraints and reasoning
