19. SAC 2004: Nicosia, Cyprus

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
  

Last update Sat May 18 19:41:11 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page