• 
  Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock (Eds.): Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004. ACM 2004 ISBN 1-58113-812-1

Keynote Address

• 
  Gilad Bracha: Keynote address: towards secure systems programming languages. 1-2

AI and Computational Logic and Image Analysis

• 
  Chih-Cheng Hung, Agostinho C. Rosa, Stefano Bistarelli: Editorial message: special track on artificial intelligence, computational logic and image analysis. 3-4
• 
  Andreas Lanitis: Person identification from heavily occluded face images. 5-9
• 
  Raquel Ramos Pinho, João Manuel R. S. Tavares: Morphing of image represented objects using a physical methodology. 10-15
• 
  Hiroshi Hosobe: Hierarchical nonlinear constraint satisfaction. 16-20
• 
  Yuichi Motai, Akio Kosaka: Concatenate feature extraction for robust 3D elliptic object localization. 21-28
• 
  Alexander Akimov, Pasi Fränti: Symbol representation in map image compression. 29-34
• 
  Dalila Boughaci, Habiba Drias: Solving weighted Max-Sat optimization problems using a Taboo Scatter Search metaheuristic. 35-36

Agents, Interactions, Mobility, and Systems

• 
  Henry Hexmoor, Marcin Paprzycki, Niranjan Suri: Editorial message: special track on agents, interactions, mobility, and systems (AIMS). 37
• 
  Paul Tarau, Elizabeth Figa: Knowledge-based conversational agents and virtual storytelling. 39-44
• 
  Xueguang Chen, Haigang Song: Further extensions of FIPA Contract Net Protocol: threshold plus DoA. 45-51
• 
  Dionisis Kehagias, Andreas L. Symeonidis, Kyriakos C. Chatzidimitriou, Pericles A. Mitkas: Information agents cooperating with heterogenous data sources for customer-order management. 52-57
• 
  Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael da Costa Móra: Propositional planning in BDI agents. 58-63
• 
  Yu Zhang, Richard A. Volz, Thomas R. Ioerger, John Yen: A decision-theoretic approach for designing proactive communication in multi-agent teamwork. 64-71
• 
  Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello: Specification and verification of agent interaction protocols in a logic-based system. 72-78
• 
  Patrick Vincent, Izhak Rubin: A framework and analysis for cooperative search using UAV swarms. 79-86
• 
  Marco M. Carvalho, Thomas B. Cowin, Niranjan Suri, Maggie R. Breedy, Kenneth M. Ford: Using mobile agents as roaming security guards to test and improve security of hosts and networks. 87-93
• 
  Larry Bunch, Maggie R. Breedy, Jeffrey M. Bradshaw, Marco M. Carvalho, Niranjan Suri, Andrzej Uszok, Jack Hansen, Michal Pechoucek, Vladimír Marík: Software agents for process monitoring and notification. 94-100

Bioinformatics

• 
  Warren T. Jones, Mathew J. Palakal, Jake Yue Chen: Editorial message: special track on bioinformatics. 101
• 
  Aditya Vailaya, Peter Bluvas, Robert Kincaid, Allan Kuchinsky, Michael L. Creech, Annette Adler: An architecture for biological information extraction and representation. 103-110
• 
  Francisco M. Couto, Bruno Martins, Mário J. Silva: Classifying biological articles using web resources. 111-115
• 
  Jyotsna Kasturi, Raj Acharya: Clustering of diverse genomic data using information fusion. 116-120
• 
  Kamal Kumar, Mathew J. Palakal, Snehasis Mukhopadhyay, Matthew J. Stephens, Huian Li: BioMap: toward the development of a knowledge base of biomedical literature. 121-127
• 
  Jiawu Feng, Paolo Emilio Barbano, Bud Mishra: Time-frequency feature detection for time-course microarray data. 128-132
• 
  Nadia Bolshakova, Francisco Azuaje, Padraig Cunningham: An integrated tool for microarray data clustering and cluster validity assessment. 133-137
• 
  Osman Abul, Reda Alhajj, Faruk Polat, Ken Barker: Finding differentially expressed genes: pattern generation using Q-values. 138-142
• 
  AnYuan Guo: A new framework for clustering algorithm evaluation in the domain of functional genomics. 143-146
• 
  Alexandra M. Carvalho, Arlindo L. Oliveira, Ana T. Freitas, Marie-France Sagot: A parallel algorithm for the extraction of structured motifs. 147-153
• 
  Deborah K. Weisser, Judith Klein-Seetharaman: Identification of fundamental building blocks in protein sequences using statistical association measures. 154-161
• 
  Zhiping Wang, Mehmet M. Dalkilic, Sun Kim: Guiding motif discovery by iterative pattern refinement. 162-166
• 
  Robert Kincaid: VistaClara: an interactive visualization for exploratory analysis of DNA microarrays. 167-174
• 
  Daisuke Komura, Hiroshi Nakamura, Shuichi Tsutsumi, Hiroyuki Aburatani, Sigeo Ihara: Multidimensional support vector machines for visualization of gene expression data. 175-179
• 
  Hsiao Ping Lee, Yin-Te Tsai, Chuan Yi Tang: A seriate coverage filtration approach for homology search. 180-184
• 
  Ken Webb, Tony White: Combining analysis and synthesis in a model of a biological cell. 185-190
• 
  María A. Aviñó, Edward L. Green, Oscar Moreno: Applications of finite fields to dynamical systems and reverse engineering problems. 191-196
• 
  Alexandros Stamatakis, Thomas Ludwig, Harald Meier: A fast program for maximum likelihood-based inference of large phylogenetic trees. 197-201
• 
  Xiandong Meng, Vipin Chaudhary: Bio-sequence analysis with cradle's 3SoC^TM software scalable system on chip. 202-206
• 
  Jacqueline Signorini, Patrick Greussay: Object-oriented design for the specification of the blood clotting cascade: a class-structured view of bio-computing processes. 207-208
• 
  Nan Jiang, Wendy Xinyu Wu, Ian Mitchell: Protein threading with residue-environment matching by artificial neural networks. 209-210
• 
  Paola Lecca, Corrado Priami, Carlo Laudanna, G. Constantin: Predicting cell adhesion probability via the biochemical stochastic pi-calculus. 211-212

Computational Sciences

• 
  Adrian Sandu: Editorial message: special track on computational sciences. 213
• 
  Dusko D. Dincov, Kevin A. Parrott: Computational analysis of microwave heating patterns in resonant multimode cavities. 215-219
• 
  H. Martin Bücker, Arno Rasch, Andreas Wolf: A class of OpenMP applications involving nested parallelism. 220-224
• 
  Mohammad Sohel Rahman, Abul Kashem: Degree restricted spanning trees of graphs. 225-228
• 
  Paul van der Mark, Lex Wolters, Gerard Cats: Using semi-lagrangian formulations with automatic code generation for environmental modeling. 229-234
• 
  Chaitanya Belwal, Adrian Sandu, Emil M. Constantinescu: Adaptive resolution modeling of regional air quality. 235-239
• 
  Valentin Masero: New ICT applications in health care. 241-242
• 
  Aristófanes C. Silva, Paulo Cezar Pinto Carvalho, Marcelo Gattass: Diagnosis of lung nodule using Gini coefficient and skeletonization in computerized tomography images. 243-248
• 
  Artur Przelaskowski: Compression of mammograms for medical practice. 249-253
• 
  Quming Zhou, Zhuojing Li, Jake K. Aggarwal: Boundary extraction in thermal images by edge map. 254-258
• 
  Jagbir S. Hooda, Erdogan Dogdu, Raj Sunderraman: Health Level-7 compliant clinical patient records system. 259-263
• 
  Mario Beyer, Klaus Kuhn, Christian Meiler, Stefan Jablonski, Richard Lenz: Towards a flexible, process-oriented IT architecture for an integrated healthcare network. 264-271
• 
  David J. Power, Eugenia A. Politou, Mark Slaymaker, Steve Harris, Andrew C. Simpson: A relational approach to the capture of DICOM files for Grid-enabled medical imaging databases. 272-279
• 
  Jesús S. Aguilar-Ruiz, Raquel Costa, Federico Divina: Knowledge discovery from doctor-patient relationship. 280-284
• 
  Rainer Blaser, M. Schnabel, D. Mann, P. Jancke, Klaus Kuhn, Richard Lenz: Potential prevention of medical errors in casualty surgery by using information technology. 285-290
• 
  Jie Zhou, Liqun Li: Regularized B-spline network and its application to heart arrhythmia classification. 291-295
• 
  Claire Bourgeois-République, Jean-Jacques Chabrier, Pierre Collet: Automatic fitting of cochlear implants with evolutionary algorithms. 296-300
• 
  Traian Marius Truta, Farshad Fotouhi, Daniel C. Barth-Jones: Disclosure risk measures for the sampling disclosure control method. 301-306
• 
  José B. Pagador, José Moreno, Valentin Masero, Juan M. León-Rojas: Active contour on the basis of inertia. 307-308
• 
  Torsten O. Paulussen, Anja Zöller, Armin Heinzl, Lars Braubach, Alexander Pokahr, Winfried Lamersdorf: Patient scheduling under uncertainty. 309-310

Computer Networks

• 
  Vana Kalogeraki, Turgay Korkmaz, Kamil Saraç: Editorial message: special track on computer networks. 311-312
• 
  Irfan Awan, Muhammad Younas: Analytical modelling of priority commit protocol for reliable Web applications. 313-317
• 
  Yannis Mitsos, Fotis Andritsopoulos, Dimitrios Kagklis: A study for provisioning of QoS web-based services to the end-user. 318-321
• 
  Boaz Carmeli, Gidon Gershinsky, Avi Harpaz, Nir Naaman, Haim Nelken, Julian Satran, Pnina Vortman: High throughput reliable message dissemination. 322-327
• 
  Wanida Putthividhya, Minh Tran, Wallapak Tavanapong, Johnny S. Wong: Core selection with end-to-end QoS support. 328-333
• 
  Ovidiu Daescu, Raja Jothi, Balaji Raghavachari, Kamil Saraç: Optimal placement of NAK-suppressing agents for reliable multicast: a partial deployment case. 334-338
• 
  Steve Uhlig, Olivier Bonaventure, Vincent Magnin, Chris Rapier, Luca Deri: Implications of the topological properties of Internet traffic on traffic engineering. 339-346
• 
  Geyong Min, Mohamed Ould-Khaoua, Irfan-Ullah Awan, Demetres D. Kouvatsos: Communication delay in hypercubic networks with LRD traffic. 347-351
• 
  Damien Galand, Olivier Marcé: A functional architecture for self-aware routers. 352-356
• 
  Ayman I. Kayssi, Ali El-Haj-Mahmoud: EmuNET: a real-time network emulator. 357-362
• 
  Dimitrios Kagklis, Nicolas Liampotis, Christos Tsakiris: A framework for implicit and explicit service activation based on Service Level Specification. 363-368
• 
  Josephine Antoniou, Vasos Vassiliou, Andreas Pitsillides, George Hadjipollas, N. Jacovides: A discrete event based simulation environment for enhanced UMTS 3^rd generation networks. 369-370
• 
  Vladimir Vukadinovic, Ljiljana Trajkovic: RED with Dynamic Thresholds for improved fairness. 371-372

Computer Security

• 
  Giampaolo Bella, Peter Ryan: Editoral message: special track on computer security. 373-374
• 
  Michael Backes, Günter Karjoth, Walid Bagga, Matthias Schunter: Efficient comparison of enterprise privacy policies. 375-382
• 
  Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan: Modeling and detecting the cascade vulnerability problem using soft constraints. 383-390
• 
  Aleksandra Nenadic, Ning Zhang, Stephen Barton: Fair certified e-mail delivery. 391-396
• 
  Lavinia Egidi, Giovanni Porcelli: Anonymity and certification: e-mail, a case study. 397-403
• 
  Xinyuan Wang: The loop fallacy and serialization in tracing intrusion connections through stepping stones. 404-411
• 
  Stefano Zanero, Sergio M. Savaresi: Unsupervised learning techniques for an intrusion detection system. 412-419
• 
  Nahla Ben Amor, Salem Benferhat, Zied Elouedi: Naive Bayes vs decision trees in intrusion detection systems. 420-424
• 
  Ulrich Waldmann, Dirk Scheuermann, Claudia Eckert: Protected transmission of biometric user authentication data for oncard-matching. 425-430
• 
  Roberto Barbuti, Stefano Cataudella: Java bytecode verification on Java cards. 431-438
• 
  Christos Siaterlis, Basil S. Maglaris: Towards multisensor data fusion for DoS detection. 439-446

Coordination Models, Languages and Applications

• 
  Sascha Ossowski, Ronaldo Menezes: Editoral message: special track on coordination models, languages and applications. 447-448
• 
  Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa: Integrating objective & subjective coordination in multi-agent systems. 449-455
• 
  Nico Janssens, Elke Steegmans, Tom Holvoet, Pierre Verbaeten: An agent design method promoting separation between computation and coordination. 456-461
• 
  Antonella Di Stefano, Corrado Santoro, Giuseppe Pappalardo, Emiliano Tramontana: Enforcing agent communication laws by means of a reflective framework. 462-468
• 
  María-Victoria Belmonte, Ricardo Conejo, José-Luis Pérez-de-la-Cruz, Francisco Triguero Ruiz: A robust deception-free coalition formation model. 469-473
• 
  Maxime Morge, Philippe Beaune: A Negotiation Support System based on a Multi-agent System: specificity and preference relations on arguments. 474-478
• 
  Marco Mamei, Franco Zambonelli: Self-maintained distributed tuples for field-based coordination in dynamic networks. 479-486
• 
  Roberto Lucchi, Gianluigi Zavattaro: WSSecSpaces: a secure data-driven coordination service for Web Services applications. 487-491
• 
  Theophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab: Web Services: separation of concerns: computation coordination communication. 492-497
• 
  Jacques Wainer, Fábio de Lima Bezerra, Paulo Barthelmess: Tucupi: a flexible workflow system based on overridable constraints. 498-502
• 
  Davide Rossi: Orchestrating document-based workflows with X-Folders. 503-507
• 
  Rafael Ramirez, Andrew E. Santosa: Concurrent and distributed programming using constraint logic programs. 508-509
• 
  XinJun Mao, Gang Wu, Huaimin Wang: Cooperation models for service oriented multi-agent system. 510-511

Data Mining

• 
  Hasan M. Jamil, Rosa Meo: Editorial message: special track on data mining. 513-514
• 
  Paolo Palmerini, Salvatore Orlando, Raffaele Perego: Statistical properties of transactional databases. 515-519
• 
  Tomás Karban, Jan Rauch, Milan Simunek: SDS-rules and association rules. 520-524
• 
  Alexandr A. Savinov: Mining dependence rules by finding largest itemset support quota. 525-529
• 
  Bart Goethals: Memory issues in frequent itemset mining. 530-534
• 
  Cyrille Masson, Céline Robardet, Jean-François Boulicaut: Optimizing subset queries: a step towards SQL-based inductive databases for itemsets. 535-539
• 
  Salvatore Orlando, Raffaele Perego, Claudio Silvestri: A new algorithm for gap constrained sequence mining. 540-547
• 
  Juan José Rodríguez, Carlos J. Alonso: Interval and dynamic time warping-based decision trees. 548-552
• 
  Elena Baralis, Silvia Chiusano, Paolo Garza: On support thresholds in associative classification. 553-558
• 
  Marzena Kryszkiewicz: Reducing borders of k-disjunction free representations of frequent patterns. 559-563
• 
  Ulrich Rückert, Stefan Kramer: Frequent free tree discovery in graph data. 564-570
• 
  Yu Qian, Kang Zhang: GraphZip: a fast and automatic compression method for spatial data clustering. 571-575
• 
  Nabil R. Adam, Vandana Pursnani Janeja, Vijayalakshmi Atluri: Neighborhood based detection of anomalies in high dimensional spatio-temporal sensor datasets. 576-583
• 
  Chris H. Q. Ding, Xiaofeng He: K-nearest-neighbor consistency in data clustering: incorporating local information into global optimization. 584-589
• 
  Malik Agyemang, Ken Barker, Reda Alhajj: Framework for mining web content outliers. 590-594
• 
  Hongwei Qi, Jue Wang: A model for mining outliers from complex data sets. 595-599
• 
  Fabrizio Silvestri, Raffaele Perego, Salvatore Orlando: Assigning document identifiers to enhance compressibility of Web Search Engines indexes. 600-605
• 
  Shigeaki Sakurai, Akihiro Suyama: Rule discovery from textual data based on key phrase patterns. 606-612
• 
  Imad Rahal, William Perrizo: An optimized approach for KNN text categorization using P-trees. 613-617
• 
  Xuequn Shang, Kai-Uwe Sattler, Ingolf Geist: SQL based frequent pattern mining without candidate generation. 618-619
• 
  Jianzhong Chen, Mary Shapcott, Sally I. McClean, Kenneth Adamson: Hierarchical model-based clustering of relational data with aggregates. 620-621
• 
  Yi Lu, Shiyong Lu, Farshad Fotouhi, Youping Deng, Susan J. Brown: FGKA: a Fast Genetic K-means Clustering Algorithm. 622-623

Data Streams

• 
  Jesús S. Aguilar-Ruiz, Paul R. Cohen: Editorial message: special track on data streams. 625
• 
  Dan Olteanu, Tim Furche, François Bry: An efficient single-pass query evaluator for XML data streams. 627-631
• 
  João Gama, Pedro Medas, Ricardo Rocha: Forest trees for on-line data. 632-636
• 
  Mehmed M. Kantardzic, Pedram Sadeghian, Chun Shen: The time diversification monitoring of a stock portfolio: an approach based on the fractal dimension. 637-641
• 
  Ole-Christoffer Granmo: Parallel hypothesis driven video content analysis. 642-648
• 
  Francisco J. Ferrer-Troyano, Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos: Discovering decision rules from numerical data streams. 649-653
• 
  Qingchun Jiang, Sharma Chakravarthy: Data stream management system for MavHome. 654-655

Database Theory, Technology and Applications

• 
  Ramzi A. Haraty, Yannis Manolopoulos, Junping Sun: Editorial message: special track on database theory, technology, and applications. 657
• 
  Carlo Combi, Giuseppe Pozzi: Architectures for a temporal workflow management system. 659-666
• 
  ShuiGuang Deng, Zhen Yu, Zhaohui Wu, Huang Lican: Enhancement of workflow flexibility by composing activities at run-time. 667-673
• 
  Mohammad Hassan, Reda Alhajj, Mick J. Ridley, Ken Barker: Simplified access to structured databases by adapting keyword search and database selection. 674-678
• 
  Praveen Madiraju, Rajshekhar Sunderraman: A mobile agent approach for global database constraint checking. 679-683
• 
  Yousef J. Al-Houmaily, Panos K. Chrysanthis: 1-2PC: the one-two phase atomic commit protocol. 684-691
• 
  Ester Zumpano, Sergio Greco, Irina Trubitsyna, Pierangelo Veltri: On the semantics and expressive power of Datalog-like languages for NP search and optimization problems. 692-697
• 
  Angela Cristina Duta, Ken Barker, Reda Alhajj: ConvRel: relationship conversion to XML nested structures. 698-702
• 
  Eric Pardede, J. Wenny Rahayu, David Taniar: On using collection for aggregation and association relationships in XML object-relational storage. 703-710
• 
  Yi Hu, Brajendra Panda: A data mining approach for database intrusion detection. 711-716
• 
  Bartosz Bebel, Johann Eder, Christian Koncilia, Tadeusz Morzy, Robert Wrembel: Creation and management of versions in multiversion data warehouse. 717-723
• 
  Yangjun Chen, Yibin Chen: Signature file hierarchies and signature graphs: a new index method for object-oriented databases. 724-728
• 
  Ryo Matsushita, Hiroyuki Kitagawa, Yoshiharu Ishikawa: Feature-based distributed object search using signatures in Peer-to-Peer environments. 729-734
• 
  Solomon Atnafu, Richard Chbeir, David Coquil, Lionel Brunie: Integrating similarity-based queries in image DBMSs. 735-739
• 
  Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu: VCR indexing for fast event matching for highly-overlapping range predicates. 740-747
• 
  Ali Saman Tosun: Replicated declustering for arbitrary queries. 748-753
• 
  Zhen Liu, Panos K. Chrysanthis, Fu-Chiang Tsui: A comparison of two view materialization approaches for disease surveillance system. 754-755

Electronic Commerce Technologies

• 
  Sviatoslav Braynov, Manuel Núñez, Peter R. Wurman: Editorial message: special track on E-commerce technologies. 757-758
• 
  Marie-Jo Bellosta, Imène Brigui, Sylvie Kornman, Daniel Vanderpooten: A multi-criteria model for electronic auctions. 759-765
• 
  Tobias Straub, Andreas Heinemann: An anonymous bonus point system for mobile commerce based on word-of-mouth recommendation. 766-773
• 
  Ismael Rodríguez: Formal specification of autonomous commerce agents. 774-778
• 
  Chun Ouyang, Jonathan Billington: An improved formal specification of the Internet Open Trading Pprotocol. 779-783
• 
  Domenico Beneventano, Stefania Magnani: A framework for the classification and the reclassification of electronic catalogs. 784-788
• 
  Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo: Automatic verification of the TLS handshake protocol. 789-794
• 
  Ana R. Cavalli, Stéphane Maag: Automated test scenarios generation for an e-barter system. 795-799
• 
  Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri: Web Services for E-commerce: guaranteeing security access and quality of service. 800-806
• 
  Li-Sha He, Ning Zhang: A new signature scheme: joint-signature. 807-812
• 
  Omaima Bamasak, Ning Zhang: A secure method for signature delegation to mobile agents. 813-818

Embedded Systems: Applications, Solutions and Techniques

• 
  Alessio Bechini, Cosimo Antonio Prete: Editorial message for the special track on embedded systems: applications, solutions, and techniques. 819-820
• 
  T. Y. Tang, Y. S. Moon, K. C. Chan: Efficient implementation of fingerprint verification for mobile embedded systems using fixed-point arithmetic. 821-825
• 
  Frederick T. Sheldon, Kshamta Jerath: Assessing the effect of failure severity, coincident failures and usage-profiles on the reliability of embedded control systems. 826-833
• 
  Jian-Jia Chen, Tei-Wei Kuo, Chia-Lin Yang: Profit-driven uniprocessor scheduling with energy and timing constraints. 834-840
• 
  Kubilay Atasu, Luca Breveglieri, Marco Macchetti: Efficient AES implementations for ARM based platforms. 841-845
• 
  Thomas Gustafsson, Jörgen Hansson: Dynamic on-demand updating of data in real-time database systems. 846-853
• 
  Robert van Engelen: Code generation techniques for developing light-weight XML Web services for embedded devices. 854-861
• 
  Li-Pin Chang, Tei-Wei Kuo: An efficient management scheme for large-scale flash-memory storage systems. 862-868
• 
  Andrew Morton, Wayne M. Loucks: A hardware/software kernel for system on chip designs. 869-875
• 
  Christian Panis, Ulrich Hirnschrott, Gunther Laure, Wolfgang Lazian, Jari Nurmi: DSPxPlore: design space exploration methodology for an embedded DSP core. 876-883
• 
  Jung-Wook Park, Cheong-Ghil Kim, Jung-Hoon Lee, Shin-Dug Kim: An energy efficient cache memory architecture for embedded systems. 884-890
• 
  Giovanni Agosta, Gianluca Palermo, Cristina Silvano: Multi-objective co-exploration of source code transformations and design space architectures for low-power embedded systems. 891-896
• 
  Ioannis Panagopoulos, Christos Pavlatos, George K. Papakonstantinou: A hardware extension of the RISC microprocessor for Attribute Grammar evaluation. 897-904
• 
  Murali Jayapala, Tom Vander Aa, Francisco Barat, Geert Deconinck, Francky Catthoor, Henk Corporaal: L0 buffer energy optimization through scheduling and exploration. 905-906
• 
  Sascha Uhrig, Theo Ungerer: Fine-grained power management for multithreaded processor cores. 907-908

Engineering e-Learning Systems

• 
  Symeon Retalis, Paris Avgeriou: Editorial message: special track on engineering e-learning systems. 909-910
• 
  Charalambos Vrasidas: Issues of pedagogy and design in e-learning systems. 911-915
• 
  Michael Derntl, Renate Motschnig-Pitrik: Patterns for blended, Person-Centered learning: strategy, concepts, experiences, and evaluation. 916-923
• 
  Aleksander Binemann-Zdanowicz: SiteLang: : Edu: towards a context-driven e-learning content utilization model. 924-928
• 
  Alexandra I. Cristea: Evaluating adaptive hypermedia authoring while teaching adaptive systems. 929-934
• 
  Emma O'Brien, Timothy Hall: Training Needs Analysis: the first step in authoring e-learning content. 935-939
• 
  Mirko Cesarini, Mattia Monga, Roberto Tedesco: Carrying on the e-learning process with a workflow management engine. 940-945
• 
  Ines Grützner, Stephan Weibelzahl, Patrick E. Waterson: Improving courseware quality through life-cycle encompassing quality assurance. 946-951
• 
  Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. 952-956
• 
  Marek Hatala, Griff Richards, Timmy Eap, Jordan Willms: The eduSource Communication Language: implementing open network for learning repositories and services. 957-962
• 
  Steve Neely, Helen Lowe, David M. Eyers, Jean Bacon, Julian Newman, Xiaofeng Gong: An architecture for supporting vicarious learning in a distributed environment. 963-970
• 
  Johannes Lischka, Dimitris Karagiannis: Modeling and execution of E-Learning resources. 971-972

Evolutionary Computation and Optimization

• 
  Bryant A. Julstrom: Editorial message: special track on evolutionary computation and optimization. 973-974
• 
  Chun Wai Liew: Using a genetic algorithm to optimize the gape of a snake jaw. 975-979
• 
  Bryant A. Julstrom, Athos Antoniades: Two hybrid evolutionary algorithms for the rectilinear Steiner arborescence problem. 980-984
• 
  Enrique Alba, J. Francisco Chicano: Solving the error correcting code problem with parallel hybrid heuristics. 985-989
• 
  Harald Feltl, Günther R. Raidl: An improved hybrid genetic algorithm for the generalized assignment problem. 990-995
• 
  Oskar Preinfalk, Helmut A. Mayer: Automatic construction of drama school timetables based on a generic evolutionary framework for allocation and scheduling problems. 996-1000
• 
  Jeroen Eggermont, Joost N. Kok, Walter A. Kosters: Genetic Programming for data classification: partitioning the search space. 1001-1005
• 
  Diego F. Nehab, Marco Aurélio Cavalcanti Pacheco: Schemata Theory for the real coding and arithmetical operators. 1006-1012
• 
  Neelam Gupta, YongJun Cho, Mohammad Z. Hossain: Experiments with UNA for solving linear constraints in real variables. 1013-1020
• 
  Kengo Katayama, Akihiro Hamamoto, Hiroyuki Narihisa: Solving the maximum clique problem by k-opt local search. 1021-1025
• 
  Daniel Mateos, José Cristóbal Riquelme Santos, Jesús S. Aguilar-Ruiz: Evolutionary segmentation of yeast genome. 1026-1027
• 
  Omar F. El-Gayar: Application of fuzzy logic to multiple criteria decision making in aquacultural planning. 1028-1029

Information Access and Retrieval

• 
  Fabio Crestani, Gabriella Pasi: Editorial message: special track on information access and retrieval. 1031-1032
• 
  Maritza L. Calderón-Benavides, Cristina N. González-Caro, José de Jesús Pérez Alcázar, Juan C. García-Díaz, Joaquin Delgado: A comparison of several predictive algorithms for collaborative filtering on multi-valued ratings. 1033-1039
• 
  Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A knowledge based system for content-based retrieval of Scalable Vector Graphics documents. 1040-1044
• 
  Marek Hatala, Leila Kalantari, Ron Wakkary, Kenneth Newby: Ontology and rule based retrieval of sound objects in augmented audio reality system for museum visitors. 1045-1050
• 
  Bruno Pouliquen, Ralf Steinberger, Camelia Ignat, Tom De Groeve: Geographical information recognition and visualization in texts written in various languages. 1051-1058
• 
  David E. Losada, Félix Díaz-Hermida, Alberto Bugarín, Senén Barro: Experiments on using fuzzy quantified sentences in adhoc retrieval. 1059-1064
• 
  Shengli Wu, Fabio Crestani: Shadow document methods of resutls merging. 1067-1072
• 
  Jaap Kamps, Maarten de Rijke: The effectiveness of combining information retrieval strategies for European languages. 1073-1077
• 
  Iraklis A. Klampanos, Joemon M. Jose: An architecture for information retrieval over semi-collaborating Peer-to-Peer networks. 1078-1083
• 
  Paul Browne, Alan F. Smeaton: Video information retrieval using objects and ostensive relevance feedback. 1084-1090
• 
  Yangjun Chen: A new algorithm for computing transitive closures. 1091-1092

Internet Data Management

• 
  Marios D. Dikaiakos, Alexandros Labrinidis, Qiong Luo: Editorial message: special track on internet data management. 1093-1094
• 
  Yukitaka Kusumura, Yoshinori Hijikata, Shogo Nishida: Text mining agent for net auction. 1095-1102
• 
  Carlo Combi, Barbara Oliboni, Elisa Quintarelli: Specifying temporal data models for semistructured data by a constraint-based approach. 1103-1108
• 
  Dimitrios Katsaros, Yannis Manolopoulos: Caching in Web memory hierarchies. 1109-1113
• 
  André Bergholz, Boris Chidlovskii: Learning query languages of Web interfaces. 1114-1121
• 
  Eugene Y. C. Wong, Alvin T. S. Chan, Hong Va Leong: Efficient management of XML contents over wireless environment by Xstream. 1122-1127
• 
  Rafael Dueire Lins, Paulo Gonçalves: Automatic language identification of written texts. 1128-1133
• 
  Gianpaolo Cugola, Davide Frey, Amy L. Murphy, Gian Pietro Picco: Minimizing the reconfiguration overhead in content-based publish-subscribe. 1134-1140
• 
  Ganesh Santhanakrishnan, Ahmed Amer, Panos K. Chrysanthis, Dan Li: GD-GhOST: a goal-oriented self-tuning caching algorithm. 1141-1145
• 
  Christos Bouras, Vaggelis Kapoulas, Ioannis Misedakis: A web-page fragmentation technique for personalized browsing. 1146-1147

Mobile Computing and Applications

• 
  Hong Va Leong, Alvin T. S. Chan: Editorial message: special track on mobile computing and applications. 1149-1150
• 
  Dilek Karabudak, Chih-Cheng Hung, Benny Bing: A call admission control scheme using genetic algorithms. 1151-1158
• 
  Larry Raisanen, Roger M. Whitaker, Steve Hurley: A comparison of randomized and evolutionary approaches for optimizing base station site selection. 1159-1165
• 
  Georgios Kambourakis, Angelos N. Rouskas, Stefanos Gritzalis: Delivering Attribute Certificates over GPRS. 1166-1170
• 
  Shin Parker, Zhengxin Chen: Extending invalid-access prevention policy protocols for mobile-client data caching. 1171-1176
• 
  Paola Inverardi, Fabio Mancinelli, Monica Nesi: A declarative framework for adaptable applications in heterogeneous environments. 1177-1183
• 
  Riku Järvensivu, Risto Pitkänen, Tommi Mikkonen: Object-oriented middleware for location-aware systems. 1184-1190
• 
  Monica Divitini, Babak A. Farshchian, Haldor Samset: UbiCollab: collaboration support for mobile users. 1191-1195
• 
  Qing Li, Xiang Li, Jian Zhai, Wenyin Liu: MIRES: an information exchange system for mobile phones. 1196-1200
• 
  James D. Carswell, Keith Gardiner, Marco Neumann: Wireless spatio-semantic transactions on multimedia datasets. 1201-1205
• 
  Nikos Priggouris, Giorgos Papazafeiropoulos, Giannis F. Marias, Stathes Hadjiefthymiades, Lazaros F. Merakos: A network independent broker for obtaining the position of nomadic users. 1206-1207
• 
  Marc Torrens, Patrick Hertzog, Pearl Pu, Boi Faltings: Towards an intelligent mobile travel assistant. 1208-1209

Multimedia and Visualization

• 
  Chaman L. Sabharwal: Multimedia and visualization track. 1211-1212
• 
  Ludmila Cherkasova, Wenting Tang: Providing resource allocation and performance isolation in a shared streaming-media hosting service. 1213-1218
• 
  Bruno Tenório Ávila, Rafael Dueire Lins: A new algorithm for removing noisy borders from monochromatic documents. 1219-1225
• 
  Panayotis E. Fouliras, Spiros Xanthos, Nikolaos Tsantalis, Athanasios Manitsaris: LEMP: Lightweight Efficient Multicast Protocol for video on demand. 1226-1231
• 
  Gang Qian, Shamik Sural, Yuelong Gu, Sakti Pramanik: Similarity between Euclidean and cosine angle distance for nearest neighbor queries. 1232-1237
• 
  Ilhoon Shin, Kern Koh: Cost effective transcoding for QoS adaptive multimedia streaming. 1238-1241
• 
  Christian Tominski, James Abello, Heidrun Schumann: Axes-based visualizations with radial layouts. 1242-1247
• 
  Harry W. Agius, Marios C. Angelides: Modelling and filtering of MPEG-7-compliant meta-data for digital video. 1248-1252
• 
  Hiroshi Hosobe: A high-dimensional approach to interactive graph visualization. 1253-1257
• 
  Glêdson Elias da Silveira, Adilson B. Lopes, Frederico Borelli, Maurício F. Magalhães: Exploring an open, distributed multimedia framework to design and develop an adaptive middleware for interactive digital television systems. 1258-1264

Object Oriented Programming Language and Systems

• 
  Davide Ancona, Rajeev R. Raje, Mirko Viroli: Editorial message: special track on object oriented programming language and systems. 1265-1266
• 
  Giuseppe Milicia, Vladimiro Sassone: The inheritance anomaly: ten years after. 1267-1274
• 
  Giovanni Lagorio: Another step towards a smart compilation manager for Java. 1275-1280
• 
  Sonia Fagorzi, Elena Zucca, Davide Ancona: Modeling multiple class loaders by a calculus for dynamic linking. 1281-1288
• 
  Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, Neal M. Gafter: Adding wildcards to the Java programming language. 1289-1296
• 
  Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Re-classification and multi-threading: Fickle_MT. 1297-1304
• 
  Walter Cazzola: SmartMethod: an efficient replacement for method. 1305-1309
• 
  Jens Gößner, Philip Mayer, Friedrich Steimann: Interface utilization in the Java Development Kit. 1310-1315
• 
  Bo Nørregaard Jørgensen: Language support for incremental integration of independently developed components in Java. 1316-1322
• 
  Juliusz Jezierski, Mariusz Masewicz, Robert Wrembel: Prototype system for method materialisation and maintenance in object-oriented databases. 1323-1327
• 
  Maja D'Hondt, Kris Gybels, Viviane Jonckers: Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis. 1328-1335

Organizational Engineering

• 
  José M. Tribolet, Pedro Manuel Antunes Sousa: Editorial message: special track on organizational engineering. 1337-1338
• 
  Evangelia Kavakli: Modeling organizational goals: analysis of current methods. 1339-1343
• 
  Beate List, Karl Machaczek: Towards a Corporate Performance Measurement System. 1344-1350
• 
  Lerina Aversano, Thierry Bodhuin, Gerardo Canfora, Raffaele Esposito, Maria Tortorella: Evolution of business processes towards eBusiness using a critiquing approach. 1351-1358
• 
  Robert Winter, Bernhard Strauch: Information requirements engineering for data warehouse systems. 1359-1365
• 
  Carla Marques Pereira, Pedro Manuel Antunes Sousa: A method to define an Enterprise Architecture using the Zachman Framework. 1366-1371
• 
  Frank G. Goethals, Jacques Vandenbulcke, Wilfried Lemahieu: Developing the extended enterprise with the FADEE. 1372-1379
• 
  Andreas Schaad, Jonathan D. Moffett: Separation, review and supervision controls in the context of a credit application process: a case study of organisational control principles. 1380-1384
• 
  Jörg Becker, Lars Algermissen, Björn Niehaves: Organizational engineering in public administrations: a method for process-oriented egovernment projects. 1385-1389
• 
  Mizuho Iwaihara, Haiying Jiang, Yahiko Kambayashi: An integrated model of workflows, e-contracts and solution implementation. 1390-1395
• 
  Gregório Baggio, Jacques Wainer, Clarence A. Ellis: Applying scheduling techniques to minimize the number of late jobs in workflow systems. 1396-1403

Parallel and Distributed Systems

• 
  Robert van Engelen, Nectarios Koziris, Mario Mango Furnari, Kleanthis Psarris: Editorial message: special track on parallel and distributed systems. 1405-1406
• 
  Sándor Juhász, Hassan Charaf: Exploiting fast ethernet performance in multiplatform cluster environment. 1407-1411
• 
  Georgios I. Goumas, Nikolaos Drosinos, Maria Athanasaki, Nectarios Koziris: Automatic parallel code generation for tiled nested loops. 1412-1419
• 
  Victoria Ungureanu, Benjamin Melamed, Phillip G. Bradford, Michael N. Katehakis: Class-Dependent Assignment in cluster-based servers. 1420-1425
• 
  Jehad Al-Sadi, A. M. Awwad: Efficient fault-tolerant routing algorithm for OTIS-cube using unsafety vectors. 1426-1430
• 
  Danilo Ardagna, Chiara Francalanci, Marco Trubian: A cost-oriented approach for infrastructural design. 1431-1437
• 
  Håkan Sundell, Philippas Tsigas: Scalable and lock-free concurrent dictionaries. 1438-1445
• 
  João Paulo Caldeira, Fernando Melicio, Agostinho C. Rosa: Using a hybrid Evolutionary-Taboo Algorithm to solve Job Shop Problem. 1446-1451

Programming Languages

• 
  Chang-Hyun Jo, Marjan Mernik, Barrett R. Bryant: Editorial message: special track on the programming languages. 1453-1454
• 
  Greg Michaelson, Kevin Hammond, Jocelyn Sérot: FSM-Hume: programming resource-limited systems using bounded automata. 1455-1461
• 
  Daniele Gorla, Rosario Pugliese: Controlling data movement in global computing applications. 1462-1467
• 
  Javier Álvez, Paqui Lucio, Fernando Orejas: Constructive negation by bottom-up computation of literal answers. 1468-1475
• 
  Peter D. Mosses: Exploiting labels in Structural Operational Semantics. 1476-1481
• 
  Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos: A back-end for GHC based on categorical multi-combinators. 1482-1489
• 
  Francesco Logozzo: Approximating module semantics with constraints. 1490-1495
• 
  Vitaly Surazhsky, Joseph Gil: Type-safe covariance in C++. 1496-1502
• 
  Massimo Ancona, Walter Cazzola: Implementing the essence of reflection: a reflective run-time environment. 1503-1507
• 
  Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of higher-order mixins and classes. 1508-1509

Software Engineering: Applications, Practices, and Tools

• 
  Ibrahim K. El-Far, Chia-Chu Chiang, Stefan Gruner, Markus Montigel, Herbert H. Thompson: Editorial message: special track on software engineering: applications, practices, and tools. 1511-1512
• 
  Seok Won Lee, David C. Rine: Missing requirements and relationship discovery through proxy viewpoints model. 1513-1518
• 
  Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra: A framework to simulate UML models: moving from a semi-formal to a formal environment. 1519-1523
• 
  Camil Demetrescu, Irene Finocchi: A portable virtual machine for program debugging and directing. 1524-1530
• 
  Ali Hamie: Translating the Object Constraint Language into the Java Modelling Language. 1531-1535
• 
  Marco Scotto, Alberto Sillitti, Giancarlo Succi, Tullio Vernazza: A relational approach to software metrics. 1536-1540
• 
  Chang-Hyun Jo, Guobin Chen, James Choi: A new approach to the BDI agent-based modeling. 1541-1545
• 
  João W. Cangussu, Kendra Cooper, Changcheng Li: A control theory based framework for dynamic adaptable systems. 1546-1553
• 
  Odysseas Papapetrou, George A. Papadopoulos: Aspect Oriented Programming for a component-based real life application: a case study. 1554-1558
• 
  Michael Cebulla: Modeling sociotechnical specifics using architectural concepts. 1559-1563

Ubiquitous Computing

• 
  George Roussos, George Samaras, Diomidis Spinellis: Editorial message: special track on ubiquitous computing. 1565-1566
• 
  Anthony Harrington, Vinny Cahill: Route profiling: putting context to work. 1567-1573
• 
  Jakob Bardram: Applications of context-aware computing in hospital work: examples and design principles. 1574-1579
• 
  Tacha Serif, Stephen R. Gulliver, George Ghinea: Infotainment across access devices: the perceptual impact of multimedia QoS. 1580-1585
• 
  Matthias Lampe, Martin Strassner, Elgar Fleisch: A Ubiquitous Computing environment for aircraft maintenance. 1586-1592
• 
  Jean-Marc Seigneur, Christian Damsgaard Jensen: Trust enhanced ubiquitous payment without too much privacy loss. 1593-1599
• 
  I. Made Putera Pratistha, Arkady B. Zaslavsky: Fluid: supporting a transportable and adaptive web service. 1600-1606
• 
  Kaori Fujinami, Tetsuo Yamabe, Tatsuo Nakajima: "Take me with you!": a case study of context-aware application integrating cyber and physical spaces. 1607-1614
• 
  Alan Berfield, Jonathan Beaver, Panos K. Chrysanthis: Profile and context filtering of streaming data for a mobile personal assistant. 1615-1616

Web Technologies and Applications

• 
  Sara Comai, Marlon Dumas, Maristella Matera: Editorial message: special track on web technologies and applications. 1617-1618
• 
  Zakaria Maamar, Soraya Kouadri Mostéfaoui, Hamdi Yahyaoui: A Web services composition approach based on software agents and context. 1619-1623
• 
  Jia Zhang, Jen-Yao Chung, Carl K. Chang: Migration to web services oriented architecture: a case study. 1624-1628
• 
  Anastasios Ioannidis, Manos Spanoudakis, Panos Sianas, Giannis Priggouris, Stathes Hadjiefthymiades, Lazaros F. Merakos: Using XML and related standards to support Location Based Services. 1629-1633
• 
  Xiaomeng Su, Sari Hakkarainen, Terje Brasethvik: Semantic enrichment for improving systems interoperability. 1634-1641
• 
  Dario Bonino, Fulvio Corno, Laura Farinetti, Andrea Ferrato: Multilingual semantic elaboration in the DOSE platform. 1642-1646
• 
  Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen: Generating web-based systems from specifications. 1647-1653
• 
  Stephan Lechner, Michael Schrefl: Trasformers-by-example: pushing reuse in conceptual web application modelling. 1654-1661
• 
  Carlo Bellettini, Alessandro Marchetto, Andrea Trentini: WebUml: reverse engineering of web applications. 1662-1669
• 
  Mario A. Bochicchio, Nicola Fiore: WARP: Web Application Rapid Prototyping. 1670-1676
• 
  Jia Zhang, Jen-Yao Chung, Carl K. Chang: Towards increasing web application productivity. 1677-1681
• 
  Philippe Rigaux: An iterative rating method: application to web-based conference management. 1682-1687
• 
  Ruth Wilson, Julie Shortreed, Monica Landoni: A study into the usability of e-encyclopaedias. 1688-1692
• 
  Alvin T. S. Chan: Cookies on-the-move: managing cookies on a smart card. 1693-1697
• 
  Zoltán Fiala, Michael Hinz, Geert-Jan Houben, Flavius Frasincar: Design and implementation of component-based adaptive Web presentations. 1698-1704
• 
  Sven Buchholz, Thomas Buchholz: Replica placement in adaptive content distribution networks. 1705-1710
• 
  Yen-Jen Chang, Yung-Ching Weng, Feipei Lai: Enhanced object management for high performance web proxies. 1711-1716
• 
  Erich Liebmann, Schahram Dustdar: Adaptive data dissemination and caching for edge service architectures built with the J2EE. 1717-1724
• 
  Sharma Chakravarthy, Anoop Sanka, Jyoti Jacob, Naveen Pandrangi: A learning-based approach for fetching pages in WebVigiL. 1725-1731
• 
  Claudia Di Napoli, Maurizio Giordano: A service-oriented customizable Digital Library. 1730-1731
• 
  Quanzhong Li, Michelle Y. Kim, Edward So, Steve Wood: XVM: XML Virtual Machine. 1732-1733