default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd 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, Maria João Viamonte, Zita A. Vale, Carlos Ramos:
Agent-based simulation of electronic marketplaces with decision support. 3-7 - Ana L. C. Bazzan, Roberto da Silva, Silvio R. Dahmen, Alexandre Tavares Baraviera:
Emerging cooperation in a public goods game with competition. 8-12 - Humberto Cesar Brandao de Oliveira, Gustavo Monti Rocha, Mariane Moreira de Souza, Leonardo Aparecido Ciscon, Vanessa Rodrigues Borges, Geraldo Robson Mateus:
A vehicular waiting time heuristic for dynamic vehicle routing problem. 13-17 - Giuseppe Vizzari, Giorgio Pizzi, Flávio S. Corrêa da Silva:
A framework for execution and 3D visualization of situated cellular agent based crowd simulations. 18-22 - Mariane Moreira de Souza, Humberto Cesar Brandao de Oliveira, Alexandre Marcos Lins de Vasconcelos, Sandro Ronaldo Bezerra Oliveira:
A statistical approach for prediction of projects based on simulation. 23-27 - Hugo Conceição, Luís Damas, Michel Ferreira, João Barros:
Large-scale simulation of V2V environments. 28-33 - Igor Walter, Fernando A. C. Gomide:
Electricity market simulation: multiagent system approach. 34-38 - Franziska Klügl:
A validation methodology for agent-based simulations. 39-43
Advances in computer simulation: poster papers
- Ruipeng Li, Hai Jiang, Hung-Chi Su:
Coordination schemes in distributed simulation of relativistic particle transport. 44-45 - Priscilla Avegliano, Jaime Simão Sichman:
RePart: a reputation-based simulation tool for partnership formation. 46-47 - André L. Martinotto, F. Jornada, L. A. Cassol, V. Gava, Ricardo Vargas Dorneles, C. A. Perotoni:
Generation of continuous random networks by simulated annealing. 48-49
Agent-oriented programming, systems, languages and applications
- Alessandro Ricci, Eric Platon, Fuyuki Ishikawa, Danny Weyns:
Special track on Agent-oriented Programming, Systems, Languages, and Applications (APSLA): editorial message. 50-51 - Carolina Howard Felicíssimo, Caroline Chopinaud, Jean-Pierre Briot, Amal El Fallah Seghrouchni, Carlos José Pereira de Lucena:
Contextualizing normative open multi-agent systems. 52-59 - Luca Cernuzzi, Franco Zambonelli:
Profile based comparative analysis for AOSE methodologies evaluation. 60-65 - Alessandro de Luna Almeida, Samir Aknine, Jean-Pierre Briot:
Dynamic resource allocation heuristics for providing fault tolerance in multi-agent systems. 66-70 - Gilberto A. Cysneiros Filho, Andrea Zisman:
Traceability and completeness checking for agent-oriented systems. 71-77
Agent-oriented programming, systems, languages and applications: poster papers
- Isabel Praça, André Andrade, Hugo Morais, Marílio Cardoso, Carlos Ramos, Zita A. Vale:
A multi-agent system for the support of producer coalition formation in electricity markets. 78-79
Coordination models, languages and applications
- Michael Ignaz Schumacher, Alan Wood:
Special track on Coordination Models, Languages and Architectures: editorial message. 80-81 - Bela Mutschler, Barbara Weber, Manfred Reichert:
Workflow management versus case handling: results from a controlled software experiment. 82-89 - Daniel Wutke, Daniel Martin, Frank Leymann:
Model and infrastructure for decentralized workflow enactment. 90-94 - Yahui Lu, Li Zhang, Jiaguang Sun:
Towards trace semantics for WS-CDL with alignments. 95-99 - Matteo Ceriotti, Amy L. Murphy, Gian Pietro Picco:
Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study. 100-107 - Marcílio Mendonça, Thiago T. Bartolomei, Donald D. Cowan:
Decision-making coordination in collaborative product configuration. 108-113 - David P. Pereira, Ana Cristina Vieira de Melo:
A formal architectural model for exception handling coordination. 114-118 - Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Framework composition conformance via refinement checking. 119-125
Coordination models, languages and applications: poster papers
- Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland:
Preserving coordination properties when transforming concurrent system components. 126-127 - Kelly Rosa Braghetto, João Eduardo Ferreira, Calton Pu:
Using process algebra to control the execution of business processes. 128-129 - Matteo Vasirani, Sascha Ossowski:
Decentralized coordination strategies for the vehicle routing problem. 130-131 - Davide Rossi, Elisa Turrini:
EPML: an executable process modeling language for process-aware applications. 132-133
Constraint satisfation and programming
- Alexandre Goldsztejn, Claude Michel, Michel Rueher:
An efficient algorithm for a sharp approximation of universally quantified inequalities. 134-139 - Thomas Douillard, Christophe Jermann:
Splitting heuristics for disjunctive numerical constraints. 140-144 - Carlos Olarte, Frank D. Valencia:
Universal concurrent constraint programing: symbolic semantics and applications to security. 145-150 - Marco Benedetti, Arnaud Lallouet, Jérémie Vautard:
Modeling adversary scheduling with QCSP+. 151-155
Constraint satisfation and programming: poster papers
- Roman Barták, Ondrej Cepek:
Nested temporal networks with alternatives: recognition and tractability. 156-157
Object-oriented programming languages and systems
- Davide Ancona, Alex Buckley:
Special track on Object-Oriented Languages and Systems: editorial message. 158-159 - Muga Nishizawa, Shigeru Chiba:
A small extension to Java for class refinement. 160-165 - J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.:
Integrating coercion with subtyping and multiple dispatch. 166-170 - Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup:
Runtime concepts for the C++ standard template library. 171-177 - Jaakko Järvi, John Freeman:
Lambda functions for C++0x. 178-183 - Francesco Logozzo, Manuel Fähndrich:
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. 184-188
Programming languages
- Chang-Hyun Jo, Marjan Mernik, Barrett R. Bryant:
Special track on Programming Languages: editorial message. 189-190 - Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci:
The architecture and design of a malleable object-oriented prolog engine. 191-197 - Maurizio Cimadamore, Mirko Viroli:
Integrating Java and Prolog through generic methods and type inference. 198-205 - Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou:
Optimizing code through iterative specialization. 206-210 - Subhajit Roy, Y. N. Srikant:
Improving flow-insensitive solutions for non-separable dataflow problems. 211-216 - Fabio Mascarenhas, Roberto Ierusalimschy:
Efficient compilation of Lua for the CLR. 217-221 - Tiago Lopes Telecken, Ethan V. Munson, José Valdeni de Lima:
Applying markup language resources in the specification of visual alphabets and visual sentences. 222-227 - Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio:
Implementing Java modeling language contracts with AspectJ. 228-233 - Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards:
Flexible pointer analysis using assign-fetch graphs. 234-239 - Joel E. Denny, Brian A. Malloy:
IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution. 240-245 - Tales Paiva Nogueira, Luis C. L. Neto, Lincoln S. Rocha, Rossana M. C. Andrade:
An adaptation of the collections framework, reflection and object cloning from J2SE to J2ME. 246-250
Programming for separation of concerns
- Yvonne Coady, Corrado Santoro, Emiliano Tramontana, Ian Welch:
Special track on Programming for Separation of Concerns: editorial message. 251-252 - Kris Gybels, Charlotte Herzeel, Theo D'Hondt:
Symbiosis in logic-based pointcuts over a history of join points. 253-260 - Ulises Juárez-Martínez, José Oscar Olmedo-Aguirre:
Énfasis: a model for local variable crosscutting. 261-265 - Guillaume Pothier, Éric Tanter:
Extending omniscient debugging to support aspect-oriented programming. 266-270 - Mohammed Al-Mansari, Stefan Hanenberg, Rainer Unland:
On to formal semantics for path expression pointcuts. 271-275
Programming for separation of concerns: poster papers
- Márcio de Medeiros Ribeiro, Pedro Matos Jr., Paulo Borba:
A decision model for implementing product lines variabilities. 276-277 - Andrew Camilleri, Lynne Blair, Geoffrey Coulson:
Securing aspect composition. 278-279
Real-time systems
- Paulo Martins, Leandro Buss Becker:
Special track on Real-Time Systems: editorial message. 280 - Björn Andersson:
The utilization bound of uniprocessor preemptive slack-monotonic scheduling is 50%. 281-283 - Marcelo 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, 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 C. Cordeiro:
Towards a model-driven engineering approach for developing embedded hard real-time software. 308-314 - Leo Ordínez, David Donari, Rodrigo M. Santos:
A behavior priority driven approach for resource reservation scheduling. 315-319
Real-time systems: poster papers
- Fábio Rodrigues de la Rocha, Rômulo Silva de Oliveira:
Strategies for QoS improvement on the time-interval scheduling. 320-321 - Damien Masson, Serge Midonnet:
Slack time evaluation with RTSJ. 322-323 - Paulo Martins, Alan Burns:
On the meaning of modes in uniprocessor real-time systems. 324-325
Software verification
- Fausto Spoto:
Special track on Software Verification: editorial message. 326 - Gerardo Schneider:
Reachability analysis of generalized polygonal hybrid systems. 327-332 - Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane:
Reachability analysis using multiway decision graphs in the HOL theorem prover. 333-338 - Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani:
A framework for performance evaluation and functional verification in stochastic process algebras. 339-346 - Francisco Bavera, Eduardo Bonelli:
Type-based information flow analysis for bytecode languages with variable object field policies. 347-351 - June Andronick, Quang Huy Nguyen:
Certifying an embedded remote method invocation protocol. 352-359 - Clément Ballabriga, Hugues Cassé, Pascal Sainrat:
An improved approach for set-associative instruction cache partial analysis. 360-367 - Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini:
Removing useless variables in cost analysis of Java bytecode. 368-375 - Aytekin Vargun, David R. Musser:
Code-carrying theory. 376-383 - Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong:
UML state machine diagram driven runtime verification of Java programs for message interaction consistency. 384-389 - Zhenyu Chen, Baowen Xu, Xiaofang Zhang, Changhai Nie:
A novel approach for test suite reduction based on requirement relation contraction. 390-394
Document engineering
- Rafael Dueire Lins:
Special track on Document Engineering: editorial message. 395-396 - Ergina Kavallieratou:
An objective way to evaluate and compare binarization algorithms. 397-401 - Christoph Becker, Andreas Rauber, Volker Heydegger, Jan Schnasse, Manfred Thaller:
A generic XML language for characterising objects to support digital preservation. 402-406 - Songbo Tan, Yuefen Wang, Xueqi Cheng:
An efficient feature ranking measure for text categorization. 407-413 - Daniel Pavelec, Edson J. R. Justino, Leonardo Vidal Batista, Luiz S. Oliveira:
Author identification using writer-dependent and writer-independent strategies. 414-418 - Ricardo O. Abu Hana, Cinthia Obladen de Almendra Freitas, Luiz S. Oliveira, Flávio Bortolozzi:
Crime scene classification. 419-423 - Boris Chidlovskii, Loïc Lecerf:
Stacked dependency networks for layout document structuring. 424-428 - Farshideh Einsele, Rolf Ingold, Jean Hennebert:
A language-independent, open-vocabulary system based on HMMs for recognition of ultra low resolution words. 429-433 - Giorgia de Oliveira Mattos, Rafael Dueire Lins, Andrei de Araújo Formiga, Fernando Mário Junqueira Martins:
BigBatch: a document processing platform for clusters and grids. 434-441 - Bettina Fazzinga, Sergio Flesca, Andrea Tagarelli, Salvatore Garruzzo, Elio Masciari:
A wrapper generation system for PDF documents. 442-446
Document engineering: poster papers
- Atsuhiro Takasu, Kenro Aihara:
Information extraction from scanned documents by stochastic page layout analysis. 447-448 - João Bosco Ferreira Filho, Helder S. Pinho, Riverson Rios, Rossana M. C. Andrade:
A strategy for memory traffic management of bitmap fonts for text visualization in mobile devices. 449-450 - Yuanping Zhu, Ruwei Dai, Baihua Xiao, Chunheng Wang:
Perspective rectification of camera-based document images using local linear structure. 451-452
Engineering large-scale distributed systems
- Fabrizio Falchi, Claudio Lucchese:
Special track on Engineering Large-Scale Distributed Systems: editorial message. 453-454 - Alain Mowat, Roman Schmidt, Michael Schumacher, Ion Constantinescu:
Extending peer-to-peer networks for approximate search. 455-459 - John Keeney, Dominic Jones, Dominik Roblek, David Lewis, Declan O'Sullivan:
Knowledge-based semantic clustering. 460-467 - Edson Kageyama, Carlos Maziero, Altair Olivo Santin:
A pull-based e-mail architecture. 468-472 - Claudio Gennaro, Matteo Mordacchini, Salvatore Orlando, Fausto Rabitti:
Processing complex similarity queries in peer-to-peer networks. 473-478
Middleware engineering
- Sheikh Iqbal Ahamed, Praveen Madiraju:
Special track on Middleware Engineering (ME): editorial message. 479-480 - Pravin Pawar, Katarzyna Wac, Bert-Jan van Beijnum, Pierre Maret, Aart van Halteren, Hermie J. Hermens:
Context-aware middleware architecture for vertical handover support to multi-homed nomadic mobile services. 481-488 - Po-Chi Shih, Hsi-Min Chen, Yeh-Ching Chung, Chien-Min Wang, Ruay-Shiung Chang, Ching-Hsien Hsu, Kuo-Chan Huang, Chao-Tung Yang:
Middleware of Taiwan UniGrid. 489-493 - Ricardo Jiménez-Peris, Marta Patiño-Martínez, Ernestina Martel-Jordán:
Decentralized web service orchestration: a reflective approach. 494-498 - Francisco Reverbel, Ivan Silva Neto:
Dynamic support to transactional remote invocations over multiple transports. 499-506 - Abdulmalik Al-Gahmi, Jonathan E. Cook:
Towards a service-based middleware layer for runtime environments. 507-511
Middleware engineering: poster papers
- Yung Bok Kim, Marie Kim, Yong Joon Lee:
COSMOS: a middleware platform for sensor networks and a u-healthcare service. 512-513 - Daniel Corrêa Lobato, Matheus Qualio Barbosa, Renato Bulcão Neto, César A. C. Teixeira, Maria da Graça Campos Pimentel:
Exploiting semantic information on a message exchanging middleware. 514-515
Organizational engineering
- José M. Tribolet, Robert Winter, Artur Caetano:
Special track on Organizational Engineering: editorial message. 516-517 - Christoph Rosenkranz, Roland Holten, Marcus Laumann:
Designing IC structures by variety engineering. 518-523 - Martin Op't Land, Jan L. G. Dietz:
Enterprise ontology based splitting and contracting of organizations. 524-531 - Rajiv Ramnath, Jay Ramanathan:
Integrating goal modeling and execution in adaptive complex enterprises. 532-539 - Stefan Reitbauer, Falk Kohlmann, Clemens Eckert, Ken Mansfeldt, Rainer Alt:
Redesigning business networks: reference process, network and service map. 540-547 - Robert Winter, Joachim Schelp:
Enterprise architecture governance: the need for a business-to-IT approach. 548-552 - Kênia Soares Sousa, Hildeberto Mendonça Filho, Jean Vanderdonckt, Els Rogier, Joannes Vandermeulen:
User interface derivation from business processes: a model-driven approach for organizational engineering. 553-560 - Michael Rohloff:
An integrated view on business- and IT-architecture. 561-565 - Jaap Gordijn, Hans Weigand, Manfred Reichert, Roel J. Wieringa:
Towards self-configuration and management of e-service provisioning in dynamic value constellations. 566-571 - Jan L. G. Dietz, Jan A. P. Hoogervorst:
Enterprise ontology in enterprise engineering. 572-579 - Vassilios Peristeras, Nikos Loutas, Konstantinos A. Tarabanis:
Organizational engineering in public administration: the state of the art on eGovernment domain modeling. 580-587
Organizational engineering: poster papers
- Roberto Santana Tapia, Novica Zarvic:
Partnering structure definition for networked businesses. 588-589 - Marco von Mevius:
A novel modeling language for tool-based business process engineering. 590-591 - David Aveiro, João Mendes, José M. Tribolet:
Organizational modeling with a semantic wiki. 592-593
Requirements engineering
- Maria Lencastre:
Special track on Requirements Engineering: editorial message. 594-595 - Haruhiko Kaiya, Tomonori Sato, Akira Osada, Naoyuki Kitazawa, Kenji Kaijiri:
Toward quality requirements analysis based on domain specific quality spectrum. 596-601 - Patrice Chalin, Daniel Sinnig, Kianoush Torkzadeh:
Capturing business transaction requirements in use case models. 602-606 - Novica Zarvic, Roel 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, 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 César Sampaio do Prado Leite, Alexei Lapouchnian, John Mylopoulos:
Configuring features with stakeholder goals. 645-649 - Abdul Babar, Didar Zowghi, Karl Cox, Vladimir Tosic:
Three integration approaches for map and B-SCP requirements engineering techniques. 650-655
Requirements engineering: poster papers
- David de Almeida Ferreira, Alberto Rodrigues da Silva:
A requirements specification case study with ProjectIT-studio/requirements. 656-657 - WenQian Liu:
A requirements refinement framework. 658-659
Software engineering
- W. Eric Wong, Chang Oan Sung, Sung Y. Shin:
Message from the software engineering track chairs: editorial. 660 - Mohamad S. Bayan, João W. Cangussu:
Automatic feedback, control-based, stress and load testing. 661-666 - Murali Krishna Ramanathan, Mehmet Koyutürk, Ananth Grama, Suresh Jagannathan:
PHALANX: a graph-theoretic framework for test case prioritization. 667-673 - Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gervais:
Collaborative software engineering on large-scale models: requirements and experience in ModelBus. 674-681 - Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Using adaptive distinguishing sequences in checking sequence constructions. 682-687 - Simon Richard Kaegi, Dwight Deugo:
Modular Java web applications. 688-693 - Fábio Rodrigues de la Rocha, Rômulo Silva de Oliveira:
An environment for the rapid development of embedded file systems. 694-699 - Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti:
SPEM on test: the SODA case study. 700-706 - Fábio Petrillo, Marcelo Soares Pimenta, Francisco M. Trindade, Carlos Dietrich:
Houston, we have a problem...: a survey of actual problems in computer games development. 707-711 - Rui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund:
Automatic software fault localization using generic program invariants. 712-717 - Fevzi Belli, Axel Hollmann:
Test generation and minimization with "basic" statecharts. 718-723 - Stéphane S. Somé, Xu Cheng:
An approach for supporting system-level test scenarios generation from textual use cases. 724-729 - Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier:
Towards verification and testing of Java programs. 730-734 - Waldemar Pires, João Brunet, Franklin Ramalho:
UML-based design test generation. 735-740 - Yung-Pin Cheng, Han-Shu Chen:
SoftMon: programmable software monitoring with minimum overhead by helper-threading. 741-747 - Ju Qian, Baowen Xu:
Scenario oriented program slicing. 748-752 - Maurício Massaru Arimoto, Maria Istela Cagnin, Valter Vieira de Camargo:
Version control in crosscutting framework-based development. 753-758 - Valter Vieira de Camargo, Paulo 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, 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, Mário Jino:
Automatic test data generation using particle systems. 809-814 - André Rodrigues, Hyggo Oliveira de Almeida, Angelo Perkusich:
A C++ environment for dynamic unanticipated software evolution. 815-819 - Carlos Augusto Lombardi Garcia, Celso Massaki Hirata:
Integrating functional metrics, COCOMO II and earned value analysis for software projects using PMBoK. 820-825 - Zhenyu Chen, Baowen Xu, Changhai Nie:
A detectability analysis of fault classes for Boolean specifications. 826-830 - Mohammad Gias Uddin, Mohammad Zulkernine:
UMLtrust: towards developing trust-aware software. 831-836 - Ahmed E. Hassan:
Automated classification of change messages in open source projects. 837-841
Software engineering: poster papers
- German L. Vazquez, Marcelo R. Campo, J. Andrés Díaz Pace:
A case-based reasoning approach for materializing software architectures onto object-oriented designs. 842-843 - Eber A. Schmitz, Antonio J. Alencar, Carlos Mendes de Azevedo:
A method for defining the implementation order of software projects under uncertainty. 844-845 - Luis Reynoso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini:
Formal definition of measures for UML statechart diagrams using OCL. 846-847 - César Andrés, Rafael G. Aranda, Manuel Núñez:
Using formal methods to develop a complex information system: a practical/theoretical experience. 848-849
Advances in spatial and image-based information systems
- Richard Chbeir, Christophe Claramunt, Ki-Joune Li, Kokou Yétongnon:
Track on Advances in Spatial and Image-Based Information Systems (ASIIS): editorial message. 851 - Eleftherios Tiakas, Apostolos N. Papadopoulos, Alexandros Nanopoulos, Yannis Manolopoulos:
Selectivity estimation in spatial networks. 852-856 - Leticia I. Gómez, Bart Kuijpers, Alejandro A. Vaisman:
Aggregation languages for moving object and places of interest. 857-862 - Andrey Tietbohl Palma, Vania Bogorny, Bart Kuijpers, Luis Otávio Alvares:
A clustering-based approach for discovering interesting places in trajectories. 863-868 - Humberto Luiz Razente, Maria Camila Nardini Barioni, Agma J. M. Traina, Caetano Traina Jr.:
Aggregate similarity queries in relevance feedback methods for content-based image retrieval. 869-874 - Alejandro Pauly, Markus Schneider:
Spatial vagueness and imprecision in databases. 875-879
Data mining
- Christopher LaRosa, Li Xiong, Ken Mandelberg:
Frequent pattern mining for kernel trace data. 880-885 - Gianni Costa, Giuseppe Manco, Riccardo Ortale:
A hierarchical model-based approach to co-clustering high-dimensional data. 886-890 - Boris Chidlovskii, Loïc Lecerf:
Semi-supervised visual clustering for spherical coordinates systems. 891-895 - Songbo Tan, Yuefen Wang, Gaowei Wu, Xueqi Cheng:
Using unlabeled data to handle domain-transfer problem of semantic detection. 896-903 - Claudia Diamantini, Domenico Potena:
Borderline detection by Bayes vector quantizers. 904-908 - Xiaoyun He, Basit Shafiq, Jaideep Vaidya, Nabil R. Adam:
Privacy-preserving link discovery. 909-915 - Saket S. R. Mengle, Nazli Goharian:
Using ambiguity measure feature selection algorithm for support vector machine classifier. 916-920 - Liwei Kuang, Mohammad Zulkernine:
An anomaly intrusion detection method using the CSI-KNN algorithm. 921-926 - Jhih-Jie Zeng, Guanling Lee, Chung-Chi Lee:
Mining fault-tolerant frequent patterns efficiently with powerful pruning. 927-931 - Saket S. R. Mengle, Nazli Goharian, Alana Platt:
Discovering relationships among categories using misclassification information. 932-937 - Radim Belohlávek, Vilém Vychodil:
Adding background knowledge to formal concept analysis via attribute dependency formulas. 938-943 - Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho:
k-RNN: k-relational nearest neighbour algorithm. 944-948
Data mining: poster papers
- Xiaoyuan Su, Taghi M. Khoshgoftaar, Xingquan Zhu, Russell Greiner:
Imputation-boosted collaborative filtering using machine learning classifiers. 949-950 - Fábio de Lima Bezerra, Jacques Wainer:
Anomaly detection algorithms in logs of process aware systems. 951-952 - Marcela Xavier Ribeiro, Agma J. M. Traina, Caetano Traina Jr.:
A new algorithm for data discretization and feature selection. 953-954
Data streams
- João Gama, André Carlos Ponce de 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 Jaques Spinosa, André Carlos Ponce de 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 Ö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, Angelo Brayner, Sergio Fialho:
Introducing self-adaptability into transaction processing. 992-997 - José de Aguiar Moraes Filho, Theo Härder:
Accurate histogram-based XML summarization. 998-1002 - Makoto Yui, Jun Miyazaki, Shunsuke Uemura, Hirokazu Kato:
XBird/D: distributed and parallel XQuery processing using remote proxy. 1003-1007 - Camélia Constantin, Bernd Amann:
Usage-based ranking of distributed XML data. 1008-1012 - José Fonseca, Marco Vieira, Henrique Madeira:
Online detection of malicious data access using DBMS auditing. 1013-1020 - Tatsuo Tsuji, Masayuki Kuroda, Ken Higuchi:
History offset implementation scheme for large scale multidimensional data sets. 1021-1028 - Rogério Luís de Carvalho Costa, Pedro Furtado:
A QoS-oriented external scheduler. 1029-1033
Database theory, technology, and applications: poster papers
- Renato Bueno, Agma J. M. Traina, Caetano Traina Jr.:
An algorithm for effective deletion and a new optimization technique for metric access methods. 1034-1035 - Rebeca Schroeder, Ronaldo dos Santos Mello:
Conversion of generalization hierarchies and union types from extended entity-relationship model to an XML logical model. 1036-1037 - Raman Adaikkalavan, Sharma Chakravarthy:
Events must be complete in event processing! 1038-1039
Enterprise information systems
- Rogério Atem de Carvalho, Asterio Kiyoshi Tanaka:
Special track on Enterprise Information Systems: editorial message. 1040-1041 - Stephan Roser, Florian Lautenbacher, Bernhard Bauer:
MDSD light for ERP. 1042-1047 - Teduh Dirgahayu, Dick A. C. Quartel, Marten van Sinderen:
Designing interaction behaviour in service-oriented enterprise application integration. 1048-1054 - T. G. J. Schepers, Maria-Eugenia Iacob, Pascal van Eck:
A lifecycle approach to SOA governance. 1055-1061 - Rafael Manhaes Monnerat, Rogério Atem de Carvalho, Renato de Campos:
Enterprise systems modeling: the ERP5 development process. 1062-1068 - Zonghua Zhang, Farid Naït-Abdesselam, Xiaodong Lin, Pin-Han Ho:
A model-based semi-quantitative approach for evaluating security of enterprise networks. 1069-1074
Enterprise information systems: poster papers
- Srivatsava Ranjit Ganta, Raj Acharya:
Adaptive data anonymization against information fusion based privacy attacks on enterprise data. 1075-1076 - Norbert Gronau, Michael Rohloff:
Information systems implementation: the big picture. 1077-1078
Information access and retrieval
- Gabriella Pasi, Gloria Bordogna:
Special track on Information Access and Retrieval: editorial message. 1079-1080 - Panagiotis Antonellis, Christos Makris, Nikos Tsirakis:
XEdge: clustering homogeneous and heterogeneous XML documents using edge summaries. 1081-1088 - Apostolos N. Papadopoulos:
Trajectory retrieval with latent semantic analysis. 1089-1094 - Gloria Bordogna, Marco Pagani, Gabriella Pasi, Giuseppe Psaila:
Evaluating uncertain location-based spatial queries. 1095-1100 - Anne-Marie Vercoustre, James A. Thom, Jovan Pehcevski:
Entity ranking in Wikipedia. 1101-1106 - Mohan John Blooma, Alton Yeow-Kuan Chua, Dion Hoe-Lian Goh:
A predictive framework for retrieving the best answer. 1107-1111 - Renato Fernandes Corrêa, Teresa Bernarda Ludermir:
Semantic mapping and K-means applied to hybrid SOM-based document organization system construction. 1112-1116 - Marius Pasca:
Towards temporal web search. 1117-1121 - Delphine Verbyst, Philippe Mulhem:
Doxels in context for retrieval: from structure to neighbours. 1122-1126 - Hassan Naderi, Béatrice Rumpler, Jean-Marie Pinon:
A graph-based profile similarity calculation method for collaborative information retrieval. 1127-1131 - Thomas Mandl, Christa Womser-Hacker, Giorgio Maria Di Nunzio, Nicola Ferro:
How robust are multilingual information retrieval systems? 1132-1136 - Fabiano Atalla, Daniel Miranda, Jussara M. Almeida, Marcos André Gonçalves, Virgílio A. F. 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 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, 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 Ferreira de Oliveira, Solange Oliveira Rezende:
Including the user in the knowledge discovery loop: interactive itemset-driven rule extraction. 1212-1217 - Roberto C. Cavalcante Vieira, Creto Augusto Vidal, Joaquim B. Cavalcante Neto:
A biologically inspired generation of virtual characters. 1218-1224 - Pedro Henrique Bugatti, Agma J. M. Traina, Caetano Traina Jr.:
Assessing the best integration between distance-function and image-feature to answer similarity queries. 1225-1230 - Marcelo Cohen, Ken W. Brodlie, Nick Phillips:
The volume in focus: hardware-assisted focus and context effects for volume visualization. 1231-1235 - João F. Mari, José Hiroki Saito, Gustavo Poli, Marcelo R. Zorzan, Alexandre L. M. Levada:
Improving the neural meshes algorithm for 3D surface reconstruction with edge swap operations. 1236-1240 - Rafael de Sousa Rocha, Maria Andréia F. Rodrigues:
An evaluation of a collision handling system using sphere-trees for plausible rigid body animation. 1241-1245 - Renan G. Cattelan, César A. C. Teixeira, Hélder Ribas, Ethan V. Munson, Maria da Graça Campos Pimentel:
Inkteractors: interacting with digital ink. 1246-1251 - Virginie Sans, Dominique Laurent:
IFOX: interface for ordered XQuery an algebraic oriented tool for ordered XQuery visualization. 1252-1257
Multimedia and visualization: poster papers
- Wenshan Yu, Rakesh M. Verma:
Visualization of rule-based programming. 1258-1259
Bioinformatics
- Mathew J. Palakal, William Perrizo, Kanagasabai Rajaraman:
Special track on Bioinformatics: editorial message. 1260 - Márcio Dorn, Osmar Norberto de Souza:
CReF: a central-residue-fragment-based method for predicting approximate 3-D polypeptides structures. 1261-1267 - Fabiana F. Araújo, Ângela M. A. Pinheiro, Kaio M. Farias, Bernadette Farias Lóscio, Diana M. Oliveira:
FlagelLink: a decision support system for distributed flagellar data using data warehouse. 1268-1272 - Ernst Althaus, Stefan Canzar, Mark R. Emmett, Andreas Karrenbauer, Alan G. Marshall, Anke Meyer-Bäse, Huimin Zhang:
Computing H/D-exchange speeds of single residues from data of peptic fragments. 1273-1277 - Hugo P. Bastos, Catia Pesquita, Daniel Faria, André O. Falcão:
BOLOS: BLAST & Ontology Linked-hOmologue Stars. 1278-1281 - Sérgio Manuel Serra da Cruz, Vanessa Batista, Alberto M. R. Dávila, Edno Silva, Frederico Tosta, Clarissa Vilela, Maria Luiza Machado Campos, Rafael R. C. Cuadrat, Diogo A. Tschoeke, Marta Mattoso:
OrthoSearch: a scientific workflow approach to detect distant homologies on protozoans. 1282-1286 - Jiao Li, Xiaoyan Zhu, Jake Yue Chen:
Mining disease-specific molecular association profiles from biomedical literature: a case study. 1287-1291 - Haifeng Shao, Bei Yu, Joseph H. Nadeau:
Strangeness-based feature weighting and classification of gene expression profiles. 1292-1296 - Harini N. Kasamsetty, Xiaogang Wu, Jake Yue Chen:
Towards an integrative human pathway database for systems biology applications. 1297-1301 - Anna Antony, Srilaxmi Basetty, Shielly Hartanto, Mathew J. Palakal:
Computational approach to biological validation of protein-protein interactions discovered using literature mining. 1302-1306
Bioinformatics: poster papers
- Raf Van de Plas, Bart De Moor, Etienne Waelkens:
Discrete wavelet transform-based multivariate exploration of tissue via imaging mass spectrometry. 1307-1308 - Antonina Mitrofanova, Bud Mishra:
Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes. 1309-1310
Computer applications in health care
- Fátima L. S. Nunes, Rosa Maria Esteves Moreira da Costa:
Special track on Computer Applications in Health Care: editorial message. 1311 - 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, Cléo 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é 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, 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 - Bruno Correa, Edison Ishikawa, Artur Ziviani, Marcelo 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 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, Mario Cannataro, Carlo Cosentino, Francesco Montefusco, Giuseppe Tradigo, Pierangelo Veltri, Aldo Garozzo, Nicola Lombardo, Sergio Greco, Claudia 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 E. N. Correia:
Parametric cepstral analysis for pathological voice assessment. 1410-1414 - Daniela Gorski Trevisan, Luciana Porcher Nedel, Benoît 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 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, Peter Komisarczuk:
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, Anthony Skjellum:
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, Jedrzej Gontarczyk, Paavo Kotinurmi:
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, 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 Gadelha 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
- 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, Paolo Bennati:
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, 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ô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, José E. R. Cury, Steffi Klinge:
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, 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 M. 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
- Carlos Noguera, Ellen Van Paesschen, Carlos Parra, Johan Fabry:
Context distribution for supporting composition of applications in ubiquitous computing. 1647-1648 - Renan G. Cattelan, Maria da Graça Campos Pimentel:
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, 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
- 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, Leila Maria Garcia Fonseca, Maria Isabel Sobral Escada, Olga Regina Fradico de Oliveira Bittencourt:
Applying case-based reasoning in the evolution of deforestation patterns in the Brazilian Amazonia. 1683-1687 - Elcio Hideiti Shiguemori, Haroldo F. de Campos Velho, José Demísio Simões da Silva:
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, 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
- 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, 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 - 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, Liguo Deng:
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, Nelson D. A. Mascarenhas, Alejandro César Frery, Glauber T. Silva:
Restoration of vibro-acoustography images. 1762-1763 - Andre L. C. Barczak, Martin J. Johnson, Chris H. Messom:
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, 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
- Jae-Hyun Seo, Yong-Hyuk Kim, Hwang-Bin Ryou, Seok-Joong Kang:
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, Monique Laurent, Philipp Rostalski:
Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm. 1845-1846
Mobile agents and systems
- Shahram Rahimi, Costin Badica, Maria Ganzha, Marcin Paprzycki, Yung-Chuan Lee:
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, José Neuman de Souza, Rossana M. C. Andrade, Elias Procópio Duarte Jr., Lisandro Zambenedetti Granville, Luci Pirmez:
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, Enhong Chen:
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, Heitor S. Ramos, José Alencar Neto, Eduardo Freire Nakamura:
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, Abhijit S. Pandya, Sam Hsu:
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, Angelo Perkusich, Emerson Loureiro, Evandro de Barros Costa, Leandro Dias da Silva:
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, Harry Bullen:
A study of terrain coverage models. 1964-1968 - Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark M. Tobenkin:
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, João Luis T. da Silva:
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, Francesco Santini:
Propagating multitrust within trust networks. 1990-1994 - Karen H. L. Tso-Sutter, Leandro Balby Marinho, Lars Schmidt-Thieme:
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, Rafael T. de Sousa Jr., Christophe Bidan, Ludovic Mé:
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, Jose L. Muñoz:
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, José Palazzo Moreira de Oliveira:
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, Teresa Maria Vazão, Edmundo Monteiro, Manuela Pereira:
Track on Computer Networks: editorial message. 2040 - Daniel M. Batista, André C. Drummond, Nelson L. S. da Fonseca:
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 Maurício S. Figueiredo, Eduardo Freire Nakamura, Alejandro César Frery, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes:
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, Maria Janilce Bosquiroli Almeida, Liane Margarida Rockenbach Tarouco:
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, Artur Ziviani:
Evaluating the partial deployment of an AS-level IP traceback system. 2069-2073 - Leandro Melo de Sales, Hyggo Oliveira de Almeida, Angelo Perkusich:
On the performance of TCP, UDP and DCCP over 802.11 g networks. 2074-2078 - César Cárdenas, Maurice Gagnaire:
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, Maria Janilce Bosquiroli Almeida, Liane Margarida Rockenbach Tarouco:
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, Vinayak Kandiah, Mayank Verma:
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, Alberto Ocello:
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, Jonathan Rhodes, Srinivas Devadas:
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, Filipe Almeida:
Verifiable anonymous vote submission. 2159-2166
Dependable and adaptive distributed systems
- Karl M. Göschka, Svein O. Hallsteinsen, Rui Oliveira, Alexander B. Romanovsky:
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, Luís E. T. Rodrigues:
Modelling adaptive services for distributed systems. 2174-2180 - José Enrique Armendáriz-Iñigo, A. Mauch-Goya, José Ramón González de Mendívil, Francesc D. Muñoz-Escoí:
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, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo:
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, Frank Siqueira:
Providing dependability for web services. 2207-2211 - Gal Badishi, Idit Keidar:
Improving denial of service resistance using dynamic local adaptations. 2212-2218 - Miguel Matos, Alfrânio Correia Jr., José Pereira, Rui Oliveira:
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, Cláudio F. R. Geyer, Iara Augustin, Adenauer C. Yamin:
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, Maciej Zaremba:
Semantic web services selection improved by application ontology with multiple concept relations. 2237-2242 - Martin Necaský, Jaroslav Pokorný:
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, Nikos Dimaresis, Guido Governatori:
A system for modal and deontic defeasible reasoning. 2261-2265 - Rolf Grütter, Bettina Bauer-Messmer, Martin Hägeli:
Extending an ontology-based search with a formalism for spatial reasoning. 2266-2270 - Sven Groppe, Jinghua Groppe, Volker Linnemann, Dirk Kukulenz, Nils Hoeller, Christoph Reinke:
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, Maria-Eugenia Iacob:
Optimized dynamic semantic composition of services. 2286-2292 - Jaudete Daltio, Claudia Bauzer Medeiros, Luiz Celso Gomes Jr., Thomas Michael Lewinsohn:
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, Alyssa Glass, Deborah L. McGuinness:
Towards the generation of explanations for semantic web services in OWL-S. 2350-2351
Web technologies
- Youakim Badr, Djamal Benslimane, Zakaria Maamar:
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, Edinardo Potrich, Marcos Aurélio Carrero:
A programming environment for web services. 2363-2367 - Peter Bodorik, Dawn N. Jutla, Mike Xuehai Wang:
Consistent privacy preferences (CPP): model, semantics, and properties. 2368-2375 - Marco Crasso, Alejandro Zunino, Marcelo Campo:
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, Frédérique Biennier:
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 2025-10-24 21:48 CEST 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:
