default search action
23rd SAC 2008: Fortaleza, Ceara, Brazil
- Roger L. Wainwright, Hisham Haddad:
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
Agent-based simulation of electronic marketplaces with decision support. 3-7 - Ana L. C. Bazzan, Roberto da Silva
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
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
A statistical approach for prediction of projects based on simulation. 23-27 - Hugo Conceição, Luís Damas, Michel Ferreira
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
Special track on Agent-oriented Programming, Systems, Languages, and Applications (APSLA): editorial message. 50-51 - Carolina Howard Felicíssimo
Contextualizing normative open multi-agent systems. 52-59 - Luca Cernuzzi
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
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
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
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
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
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
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
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
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
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
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
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
IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution. 240-245 - Tales Paiva Nogueira
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
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 Maia 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
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
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
Reachability analysis using multiway decision graphs in the HOL theorem prover. 333-338 - Hossein Hojjat, Mohammad Reza Mousavi
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
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
UML state machine diagram driven runtime verification of Java programs for message interaction consistency. 384-389 - Zhenyu Chen, Baowen Xu
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
A language-independent, open-vocabulary system based on HMMs for recognition of ultra low resolution words. 429-433 - Giorgia de Oliveira Mattos
BigBatch: a document processing platform for clusters and grids. 434-441 - Bettina Fazzinga
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
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
Knowledge-based semantic clustering. 460-467 - Edson Kageyama, Carlos Maziero, Altair Olivo Santin
A pull-based e-mail architecture. 468-472 - Claudio Gennaro
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
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
Middleware of Taiwan UniGrid. 489-493 - Ricardo Jiménez-Peris, Marta Patiño-Martínez
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
Exploiting semantic information on a message exchanging middleware. 514-515
Organizational engineering
- José M. Tribolet
Special track on Organizational Engineering: editorial message. 516-517 - Christoph Rosenkranz
Designing IC structures by variety engineering. 518-523 - Martin Op't Land
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
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
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
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
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 J. Wieringa, Pascal van Eck:
Checking the alignment of value-based business models and IT functionality. 607-613 - Felipe G. Dias, Eber A. Schmitz, Maria Luiza Machado Campos, Alexandre L. Correa, Antonio J. Alencar:
Elaboration of use case specifications: an approach based on use case fragments. 614-618 - Carina Frota 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
Using annotations in the naked objects framework to explore data requirements. 630-637 - Juan Pablo Carvallo
Requirements engineering for COTS-based software systems. 638-644 - Yijun Yu
Configuring features with stakeholder goals. 645-649 - Abdul Babar
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
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
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
SPEM on test: the SODA case study. 700-706 - Fábio Petrillo
Houston, we have a problem...: a survey of actual problems in computer games development. 707-711 - Rui Abreu
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
Version control in crosscutting framework-based development. 753-758 - Valter Vieira de Camargo, Paulo César 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
Software frameworks for information systems integration based on web services. 777-782 - Carlos Eduardo de Barros Paes
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, Mário Jino:
Automatic test data generation using particle systems. 809-814 - André Rodrigues, Hyggo Oliveira de Almeida
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
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
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, José A. Cruz-Lemus
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
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
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
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
Frequent pattern mining for kernel trace data. 880-885 - Gianni Costa
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
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
k-RNN: k-relational nearest neighbour algorithm. 944-948
Data mining: poster papers
- Xiaoyuan Su, Taghi M. Khoshgoftaar, Xingquan Zhu
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
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
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 Jaques Spinosa, André Carlos Ponce de Leon Ferreira de Carvalho
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
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 Özgün 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
Introducing self-adaptability into transaction processing. 992-997 - José de Aguiar Moraes Filho
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
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
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
Special track on Enterprise Information Systems: editorial message. 1040-1041 - Stephan Roser, Florian Lautenbacher, Bernhard Bauer:
MDSD light for ERP. 1042-1047 - Teduh Dirgahayu
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
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
Special track on Information Access and Retrieval: editorial message. 1079-1080 - Panagiotis Antonellis, Christos Makris
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
Evaluating uncertain location-based spatial queries. 1095-1100 - Anne-Marie Vercoustre, James A. Thom
Entity ranking in Wikipedia. 1101-1106 - Mohan John Blooma
A predictive framework for retrieving the best answer. 1107-1111 - Renato Fernandes Corrêa
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
A graph-based profile similarity calculation method for collaborative information retrieval. 1127-1131 - Thomas Mandl
How robust are multilingual information retrieval systems? 1132-1136 - Fabiano Atalla, Daniel Miranda, Jussara M. Almeida, Marcos André Gonçalves
Analyzing the impact of churn and malicious behavior on the quality of peer-to-peer web search. 1137-1144 - Alessio Bechini
Enabling ontology-based document classification and management in ebXML registries. 1145-1150 - Frederico Araújo 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 A. 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
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
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 Ferreira de Oliveira
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
Assessing the best integration between distance-function and image-feature to answer similarity queries. 1225-1230 - Marcelo Cohen, Ken W. Brodlie
The volume in focus: hardware-assisted focus and context effects for volume visualization. 1231-1235 - João F. Mari
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
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
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
Computing H/D-exchange speeds of single residues from data of peptic fragments. 1273-1277 - Hugo P. Bastos, Catia Pesquita
BOLOS: BLAST & Ontology Linked-hOmologue Stars. 1278-1281 - Sérgio Manuel Serra da Cruz, Vanessa Batista, Alberto M. R. Dávila
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
Strangeness-based feature weighting and classification of gene expression profiles. 1292-1296 - Harini N. Kasamsetty, Xiaogang Wu
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
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
Special track on Computer Applications in Health Care: editorial message. 1311 - Fátima L. S. Nunes
The virtual reality challenges in the health care area: a panoramic view. 1312-1316 - Mark Slaymaker
Accessing and aggregating legacy data sources for healthcare research, delivery and training. 1317-1324 - Jacques Wainer
ST-guide: a framework for the implementation of automatic clinical guidelines. 1325-1332 - Homero Schiabel
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
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é Sidnei 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
Eyelid measurements using digital video processing. 1369-1373 - Bernardo Gonçalves, José Gonçalves Pereira Filho, Rodrigo Varejão Andreão
ECG data provisioning for telehomecare monitoring. 1374-1379 - Bruno Correa, Edison Ishikawa, Artur Ziviani
Medical image analysis using mobile devices. 1380-1384 - Aparecido Fabiano Pinatti de Carvalho
Learning activities on health care supported by common sense knowledge. 1385-1389 - Lucas Ferrari de Oliveira, Paulo Mazzoncini de Azevedo Marques
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 Santana 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, Evandro Eduardo Seron Ruiz
A UMLS interoperable solution to support collaborative diagnosis decision making over the internet. 1400-1404 - Francesco Amato
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 E. N. Correia:
Parametric cepstral analysis for pathological voice assessment. 1410-1414 - Daniela Gorski Trevisan
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
Automated segmentation and volumetric analysis of brain components on MR imaging. 1422-1423 - Silvana Cunha Costa, Suzete E. N. 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
- Christian Seifert, Ian Welch
Application of divide-and-conquer algorithm paradigm to improve the detection speed of high interaction client honeypots. 1426-1432 - Chun Wei, Alan P. Sprague, Gary Warner
Mining spam email to identify common origins for forensic application. 1433-1437 - Svein Yngvar Willassen:
Using simplified event calculus in digital investigation. 1438-1442 - Xiaoyi Yu, Noboru Babaguchi:
A fast and effective method to detect multiple least significant bits steganography. 1443-1447
Computer forensics: poster papers
- Antonio Savoldi, Paolo Gubian:
Logical and physical data collection of Windows CE based portable devices. 1448-1449
e-business applications
- Fahim Akhter, Lami Kaya, Ibrahim Kamel
Special track on e-business applications: editorial message. 1450-1451 - Shane Bracher, Padmanabhan Krishnan:
Implementing secure document circulation: a prototype. 1452-1456 - Sven Döring, Timotheus Preisinger, Markus Endres
Advanced preference query processing for e-commerce. 1457-1462 - Nasser Nassiri:
Increasing trust through the use of 3d e-commerce environment. 1463-1466 - Armin Haller
Towards a complete SCM ontology: the case of ontologising RosettaNet. 1467-1473
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
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
Dynamic configuration of application-specific implicit instructions for embedded pipelined processors. 1509-1516 - Nei-Chiung Perng, Jian-Jia Chen
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 Gadelha Cartaxo, Wilkerson de L. Andrade
LTS-BT: a tool to generate and select functional test cases for embedded systems. 1540-1544 - Saulo Oliveira Dornellas Luiz
Formal specification of DSP gateway for data transmission between processor cores of OMAP platform. 1545-1549
Embedded systems: applications, solutions, and techniques: poster papers
- Rui Gong, Wei Chen, Fang Liu, Kui Dai, Zhiying Wang:
Control flow checking and recovering based on 8051 architecture. 1550-1551 - Monica Magalhães Pereira, Sílvio R. F. de Araújo, Bruno Cruz de Oliveira, Ivan Saraiva Silva:
Using traditional loop unrolling to fit application on a new hybrid reconfigurable architecture. 1552-1553 - Roberto Giorgi
Filtering drowsy instruction cache to achieve better efficiency. 1554-1555
Natural language processing and speech recognition
- Carlo Strapparava, Rada Mihalcea:
Learning to identify emotions in text. 1556-1560 - Axel-Cyrille Ngonga Ngomo
Knowledge-free discovery of domain-specific multiword units. 1561-1565 - Dong Zhou, Mark Truran, Tim J. Brailsford, Helen Ashman, James Goulding:
Gcon: a graph-based technique for resolving ambiguity in query translation candidates. 1566-1573 - Arlo Faria, Nelson Morgan:
When a mismatch can be good: large vocabulary speech recognition trained with idealized tandem features. 1574-1577 - Emerson Cabrera Paraiso
Ontology-based utterance interpretation for intelligent conversational interfaces. 1578-1582 - Liping Zhou, Dezheng Zhang, Xin Chen, Chengcui Zhang:
A method for semantics-based conceptual expansion of ontology. 1583-1587
Natural language processing and speech recognition: poster papers
- Mahdi Mohseni, Hasan Motalebi, Behrouz Minaei-Bidgoli, Mahmoud Shokrollahi-far:
A Farsi part-of-speech tagger based on Markov model. 1588-1589
Robotics: hardware, software, and embedded systems
- Ning Gui, Vincenzo De Florio
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ômulo Teixeira Aires, André M. Santana, Adelardo A. D. Medeiros
Optical flow using color information: preliminary results. 1607-1611
Robotics: hardware, software, and embedded systems: poster papers
- Lenko Grigorov, Karen Rudie
Template design and automatic generation of controllers for industrial robots. 1612-1613
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
Multi-purpose proactive m-Artifacts. 1629-1633 - Benoît Collignon, Jean Vanderdonckt
An intelligent editor for multi-presentation user interfaces. 1634-1641 - Renato Bulcão Neto
Supporting ethnographic studies of ubiquitous computing in the medical grand round experience. 1642-1646
Ubiquitous computing: poster papers
- Carlos Noguera, Ellen Van Paesschen, Carlos Parra, Johan Fabry
Context distribution for supporting composition of applications in ubiquitous computing. 1647-1648 - Renan G. Cattelan
Supporting multimedia capture in mobile computing environments through a peer-to-peer platform. 1649-1650
Autonomic computing
- Umesh Bellur, Rajiv Ramnath:
Special track on Autonomic Computing: editorial message. 1651 - Emil Vassev, Mike Hinchey
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
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
- José Demísio Simões da Silva, Rafael D. C. Santos
Special track on Artificial Intelligence in Space Applications: editorial message. 1677 - Fabrício de Novaes Kucinskis, Maurício Gonçalves Vieira Ferreira:
An onboard knowledge representation tool for satellite autonomous applications. 1678-1682 - Joice Seleme Mota, Gilberto Câmara
Applying case-based reasoning in the evolution of deforestation patterns in the Brazilian Amazonia. 1683-1687 - Elcio Hideiti Shiguemori
Atmospheric temperature retrieval from satellite data: new non-extensive artificial neural network approach. 1688-1692 - Ana Paula Abrantes de Castro, José Demísio Simões da Silva:
Restoring images with a multiscale neural network based technique. 1693-1697
Adaptive techniques in operating systems
- Tei-Wei Kuo
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
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
- Sangho Yi, Hong Min, Yookun Cho, Injoo Jeong, Yeongkwun Kim:
PreeMe: preemptive real-time task management for event-driven sensor operating systems. 1726-1727
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
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
Neural network based systems for computer-aided musical composition: supervised x unsupervised learning. 1738-1742 - Luís A. Lucas
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 - Fabrízia 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
- Paul Tarau, Brenda Luderman:
Revisiting exact combinational circuit synthesis. 1758-1759 - Gang Zhang, Zong Min Ma
Texture feature extraction and description using fuzzy set of main dominant directions of variable scales in content-based medical image retrieval. 1760-1761 - Talita Perciano
Restoration of vibro-acoustography images. 1762-1763 - Andre L. C. Barczak
Empirical evaluation of a new structure for AdaBoost. 1764-1765
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
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
Dynamically tuning the population size in particle swarm optimization. 1782-1787 - Petrônio L. Braga, Adriano L. I. Oliveira
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
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
- Jae-Hyun Seo
A genetic algorithm for sensor deployment based on two-dimensional operators. 1812-1813
Geometric constraints and reasoning
- Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck:
Special track on Geometric Constraints and Reasoning: editorial message. 1814-1815 - Marc Freixas, Robert Joan-Arinyo, Antoni Soto-Riera
Elements for a modular dynamic geometry system. 1816-1820 - Dominique Michelucci:
Isometry group, words and proofs of geometric theorems. 1821-1825 - Luis A. A. Meira, Flávio Keidi Miyazawa
A continuous facility location problem and its application to a clustering problem. 1826-1831 - Britta Denner-Broser:
An algorithm for the tracing problem using interval analysis. 1832-1837 - Arnaud Fabre, Pascal Schreck:
Combining symbolic and numerical solvers to simplify indecomposable systems solving. 1838-1842
Geometric constraints and reasoning: poster papers
- Christophe Jermann, Hiroshi Hosobe:
A constraint hierarchies approach to geometric constraints on sketches. 1843-1844 - Jean B. Lasserre
Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm. 1845-1846
Mobile agents and systems
- Shahram Rahimi, Costin Badica
Special track on Mobile Agents and Systems: editorial message. 1847-1848 - Mohsen Saffarian, Matei Ciobanu Morogan:
A novel protocol to prevent malicious nodes from misdirecting forward ants in AntNet algorithm. 1849-1853 - Benno J. Overeinder, P. D. Verkaik, Frances M. T. Brazier:
Web service access management for integration with agent systems. 1854-1860 - Bruno Panerai Velloso, Mauro Roisemberg:
Percolation analyses in a swarm based algorithm for shortest-path finding. 1861-1865 - Yung-Chuan Lee, Elham Sahebkar Khorasani, Shahram Rahimi, Bidyut Gupta:
A generic mobile agent framework for ambient intelligence. 1866-1871
Mobile agents and systems: poster papers
- José Viterbo Filho, Marcelo Andrade da Gama Malcher, Markus Endler:
Supporting the development of context-aware agent-based systems for mobile networks. 1872-1873 - Rodrigo L. Santana, Danielo Goncalves Gomes
Improving network management with mobile agents in peer-to-peer networks. 1874-1875
Mobile computing and applications
- Hong Va Leong, Alvin T. S. Chan:
Special track on Mobile Computing and Applications: editorial message. 1876-1877 - Yoshihide Hosokawa:
A location-aware information browser implemented on BREW-based mobile phones. 1878-1883 - Manuel Wendt, Matthias Grumer, Christian Steger, Reinhold Weiss, Ulrich Neffe, Andreas Mühlberger:
System level power profile analysis and optimization for smart cards and mobile devices. 1884-1888 - Lei Wang, Paul Roe, Binh Pham, Dian Tjondronegoro
An audio wiki supporting mobile collaboration. 1889-1896 - Fan Ye, Qing Li
Adaptive caching with heterogeneous devices in mobile peer to peer network. 1897-1901 - Sheikh Iqbal Ahamed, Farzana Rahman, Md. Endadul Hoque:
Secured tag identification using EDSA (enhanced distributed scalable architecture). 1902-1907 - Stéphane Maag, Cyril Grepet:
Interoperability testing of a MANET routing protocol using a node self-similarity approach. 1908-1912 - Cristiano G. Rezende, Bruno P. S. Rocha, Antonio Alfredo Ferreira Loureiro:
Publish/subscribe architecture for mobile ad hoc networks. 1913-1917 - André Luiz Camargos Tavares, Marco Túlio de Oliveira Valente
A remote display system for Java-based mobile applications. 1918-1922 - Alejandro César Frery
Error estimation in wireless sensor networks. 1923-1928 - Chien Jon Soon, Paul Roe, Dian Tjondronegoro:
An approach to mobile collaborative mapping. 1929-1934 - Salmin Sultana, Rezwana Karim, Md. Mostofa Akbar, Sheikh Iqbal Ahamed:
Ubicomp secretary: a web service based ubiquitous computing application. 1935-1939 - Bruno Yuji Lino Kimura, Hélio Crestana Guardia
TIPS: wrapping the sockets API for seamless IP mobility. 1940-1945 - Bernardo Gonçalves, José Gonçalves Pereira Filho, Giancarlo Guizzardi
A service architecture for sensor data provisioning for context-aware mobile applications. 1946-1952 - Yongsuk Lee, Xingquan Zhu
iVESTA: an interactive visualization and evaluation system for drive test data. 1953-1957
Mobile computing and applications: poster papers
- Frederico Bublitz, Hyggo Oliveira de Almeida
An infrastructure for developing context aware applications in pervasive environments. 1958-1959 - Koen Victor, Julien Pauty, Yolande Berbers:
Context addressing using context-aware flooding. 1960-1961 - T. H. Yu, Yiu Sang Moon, K. L. Chow, H. C. Wong, Y. C. Li:
CityWalker: a mobile GPS for walking travelers. 1962-1963
Self organization in pervasive distributed systems
- Ronaldo Menezes
A study of terrain coverage models. 1964-1968 - Jacob Beal
Fast self-healing gradients. 1969-1975 - Julius Degesys, Prithwish Basu, Jason Redi:
Synchronization of strongly pulse-coupled oscillators with refractory periods and random medium access. 1976-1980 - Deger Cenk Erdil, Michael J. Lewis:
Supporting self-organization for hybrid grid resource scheduling. 1981-1986
Self organization in pervasive distributed systems: poster papers
- Carine G. Webber
Self and non-self discrimination agents. 1987-1988
Trust, recommendations, evidence and other collaboration know-how
- Virgílio A. F. Almeida, Jean-Marc Seigneur
Fourth special track on Trust, Recommendations, Evidence and other Collaboration Know-how (TRECK'08): editorial message. 1989 - Stefano Bistarelli
Propagating multitrust within trust networks. 1990-1994 - Karen H. L. Tso-Sutter, Leandro Balby Marinho
Tag-aware recommender systems by fusion of collaborative filtering algorithms. 1995-1999 - Neal Lathia, Stephen Hailes, Licia Capra:
The effect of correlation coefficients on communities of recommenders. 2000-2005 - Asmaa Adnane
Autonomic trust reasoning enables misbehavior detection in OLSR. 2006-2013 - Patricia Victor, Chris Cornelis, Ankur Teredesai, Martine De Cock
Whom should I trust?: the impact of key figures on cold start recommendations. 2014-2018 - Manuel Rodriguez-Perez, Oscar Esparza
Surework: a super-peer reputation framework for p2p networks. 2019-2023 - Mohammad Gias Uddin, Mohammad Zulkernine, Sheikh Iqbal Ahamed:
CAT: a context-aware trust model for open and dynamic systems. 2024-2029 - Stanley Loh, Fabiana Lorenzi, Gabriel Simões, Leandro Krug Wives
Comparing keywords and taxonomies in the representation of users profiles in a content-based recommender system. 2030-2034 - Rowan Martin-Hughes, Jochen Renz
Examining the motivations of defection in large-scale open systems. 2035-2039
Computer networks
- Mário M. Freire
Track on Computer Networks: editorial message. 2040 - Daniel M. Batista, André C. Drummond
Scheduling grid tasks under uncertain demands. 2041-2045 - Pierre Leone, Elad Michael Schiller:
Interacting urns processes: for clustering of large-scale networks of tiny artifacts. 2046-2051 - André L. L. de Aquino, Carlos Mauricio S. Figueiredo, Eduardo Freire Nakamura
Sensor stream reduction for clustered wireless sensor networks. 2052-2056 - Carlos Raniery Paula dos Santos, Luis Fernando Dalla Santa, Clarissa Cassales Marquezan, Sérgio Luis Cechin, Ewerton Monteiro Salvador, Lisandro Zambenedetti Granville
On the design and performance evaluation of notification support for P2P-based network management. 2057-2062 - Yan Wei, Ren Maosheng, Tong Zhao, Xiaoming Li:
A bandwidth management scheme support for real-time applications in wireless mesh networks. 2063-2068 - André O. Castelucio, Ronaldo M. Salles
Evaluating the partial deployment of an AS-level IP traceback system. 2069-2073 - Leandro Melo de Sales, Hyggo Oliveira de Almeida
On the performance of TCP, UDP and DCCP over 802.11 g networks. 2074-2078 - César Cárdenas
Performance comparison of Flow Aware Networking (FAN) architectures under GridFTP traffic. 2079-2084 - Raphael Guerra, Julius C. B. Leite, Gerhard Fohler
Attaining soft real-time constraint and energy-efficiency in web servers. 2085-2089 - Carlos Raniery Paula dos Santos, Sérgio Luis Cechin, Lisandro Zambenedetti Granville
On the performance of employing presence services in P2P-based network management systems. 2090-2094
Computer security
- Giampaolo Bella
Special track on Computer Security: editorial message. 2095-2096 - Joe Szabo, John Aycock, Randal Acton, Jörg Denzinger
The tale of the weather worm. 2097-2102 - Yang Li, Li Guo:
TCM-KNN scheme for network anomaly detection using feature-based optimizations. 2103-2109 - Dijiang Huang
Privacy preservation services: challenges and solutions. 2110-2115 - Koichi Onoue, Yoshihiro Oyama, Akinori Yonezawa:
Control of system calls from outside of virtual machines. 2116-1221 - Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch:
An inference system for detecting firewall filtering rules anomalies. 2122-2128 - Alessandro Colantonio, Roberto Di Pietro
A cost-driven approach to role engineering. 2129-2136 - Jason Crampton, Hemanth Khambhammettu:
On delegation and workflow execution models. 2137-2144 - Luis F. G. Sarmenta, Marten van Dijk
Offline count-limited certificates. 2145-2152 - Konstantinos Kemalis, Theodoros Tzouramanis:
SQL-IDS: a specification-based approach for SQL-injection detection. 2153-2158 - André Zúquete
Verifiable anonymous vote submission. 2159-2166
Dependable and adaptive distributed systems
- Karl M. Göschka, Svein O. Hallsteinsen, Rui Oliveira
Special track on Dependable and Adaptive Distributed Systems: editorial message. 2167-2168 - Vaide Zuikeviciute, Fernando Pedone
Conflict-aware load-balancing techniques for database replication. 2169-2173 - Liliana Rosa, Antónia Lopes
Modelling adaptive services for distributed systems. 2174-2180 - José Enrique Armendáriz-Iñigo
SIPRe: a partial database replication protocol with SI replicas. 2181-2185 - An Phung-Khac, Antoine Beugnard, Jean-Marie Gilliot, Maria-Teresa Segarra:
Model-driven development of component-based adaptive distributed applications. 2186-2191 - António Casimiro
A framework for dependable QoS adaptation in probabilistic environments. 2192-2196 - Olivia Das, Arindam Das:
Performability evaluation of mobile client-server systems. 2197-2201 - Luiz Angelo Steffenel, Manuele Kirsch-Pinheiro, Yolande Berbers:
Total order broadcast on pervasive systems. 2202-2206 - Jeferson L. R. Souza
Providing dependability for web services. 2207-2211 - Gal Badishi, Idit Keidar:
Improving denial of service resistance using dynamic local adaptations. 2212-2218 - Miguel Matos
Serpentine: adaptive middleware for complex heterogeneous distributed systems. 2219-2223
Dependable and adaptive distributed systems: poster papers
- Dianfu Ma, Min Liu, Yongwang Zhao, Chunyang Hu:
SSCM: middleware for structure-based service collaboration. 2224-2225 - Nelly A. Delessy, Eduardo B. Fernández:
A pattern-driven security process for SOA applications. 2226-2227 - Luciano Cavalheiro da Silva, Cristiano André da Costa
On the control of adaptation in ubiquitous computing. 2228-2229
The semantic web and applications
- Hyoil Han:
Special track on the Semantic Web and Applications: editorial message. 2230 - Takahiro Kawamura, Shinichi Nagano, Yumiko Mizoguchi, Masumi Inaba, Tomohiro Yamasaki, Masayuki Okamoto:
Ontology-based WOM extraction service from weblogs. 2231-2236 - Xia Wang, Manfred Hauswirth, Tomas Vitvar
Semantic web services selection improved by application ontology with multiple concept relations. 2237-2242 - Martin Necaský
Designing semantic web services using conceptual model. 2243-2247 - Eva Blomqvist
Pattern ranking for semi-automatic ontology construction. 2248-2255 - Diego Zuquim Guimarães Garcia, Maria Beatriz Felgar de Toledo:
Web service security management using semantic web techniques. 2256-2260 - Grigoris Antoniou
A system for modal and deontic defeasible reasoning. 2261-2265 - Rolf Grütter, Bettina Bauer-Messmer
Extending an ontology-based search with a formalism for spatial reasoning. 2266-2270 - Sven Groppe
Embedding SPARQL into XQuery/XSLT. 2271-2278 - Freddy Lécué, Alexandre Delteil, Alain Léger:
Towards the composition of stateful and independent semantic web services. 2279-2285 - Sorin M. Iacob, João Paulo A. Almeida
Optimized dynamic semantic composition of services. 2286-2292 - Jaudete Daltio, Claudia Bauzer Medeiros
A framework to process complex biodiversity queries. 2293-2297 - Ratnesh Sahay, Waseem Akhtar, Ronan Fox:
PPEPR: plug and play electronic patient records. 2298-2304 - Thibault Poulain, Nadine Cullot, Kokou Yétongnon:
Similarity estimation module for OWSCIS. 2305-2309 - Sangsoo Sung, Seokkyung Chung, Dennis McLeod:
Efficient concept clustering for ontology learning using an event life cycle on the web. 2310-2314 - Michael G. Noll, Christoph Meinel:
Exploring social annotations for web document classification. 2315-2320 - François Scharffe, Jérôme Euzenat, Dieter Fensel:
Towards design patterns for ontology alignment. 2321-2325 - Norbert Baumgartner, Werner Retschitzegger, Wieland Schwinger:
A software architecture for ontology-driven situation awareness. 2326-2330 - Nenad Stojanovic, Ljiljana Stojanovic, Jun Ma:
On the conceptual tag refinement. 2331-2335 - Gustavo Fortes Tondello, Frank Siqueira:
The QoS-MO ontology for semantic QoS modeling. 2336-2340 - Jack Fu, Feng Ji, Ramez Elmasri:
Multi-level biomedical ontology-enabled service broker for web-based interoperation. 2341-2345
The semantic web and applications: poster papers
- Brendan Tierney, Mike Jackson:
C-SAW---contextual semantic alignment of ontologies: using negative semantic reinforcement. 2346-2347 - Diogo Santana Martins, Luiz H. Z. Santana, Mauro Biajiz, Antônio Francisco do Prado, Wanderley Lopes de Souza:
Context-aware information retrieval on a ubiquitous medical learning environment. 2348-2349 - Carlos G. Fernandes, Vasco Furtado
Towards the generation of explanations for semantic web services in OWL-S. 2350-2351
Web technologies
- Youakim Badr
Special track on Web Technologies: editorial message. 2352 - Guangyu Chen, Ben Choi:
Web page genre classification. 2353-2357 - Chunxiang Xu, Hanpin Wang, Wanling Qu:
Modeling and verifying BPEL using synchronized net. 2358-2362 - Martin A. Musicante
A programming environment for web services. 2363-2367 - Peter Bodorik
Consistent privacy preferences (CPP): model, semantics, and properties. 2368-2375 - Marco Crasso, Alejandro Zunino
Query by example for web services. 2376-2380 - Bernard Espinasse, Sébastien Fournier, Frederico Luiz Gonçalves de Freitas:
Agent and ontology based information gathering on restricted web domains with AGATHE. 2381-2386 - Cheikh Ba, Mírian Halfeld Ferrari
Dependence graphs for verifications of web service compositions with PEWS. 2387-2391 - Yuxiang Shi, Jun Yan, Zhong Jie Li, Jun Zhu:
Path-based verification for composition of semantic web services. 2392-2396 - Christos Makris, Yannis Panagis, Yannis Plegas, Evangelos Sakkopoulos:
An integrated web system to facilitate personalized web searching algorithms. 2397-2402 - Xiao-zhu Lin, Hai-yan Wu, Jing-jun Zhu, Ying-xue Wang:
On the performance of persistent connection in modern web servers. 2403-2408 - Davide Rossi, Elisa Turrini:
Designing and architecting process-aware Web applications with EPML. 2409-2414 - Jethro Borsje, Leonard Levering, Flavius Frasincar
Hermes: a semantic web-based news decision support system. 2415-2420 - André Pimenta Freire, Thiago J. Bittar, Renata Pontin de Mattos Fortes
An approach based on metrics for monitoring web accessibility in Brazilian municipalities web sites. 2421-2425 - Sodki Chaari, Youakim Badr
Enhancing web service selection by QoS-based ontology and WS-policy. 2426-2431 - Jongwuk Lee, Seung-won Hwang:
Ranking with tagging as quality indicators. 2432-2436
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: