default search action
19th SAC 2004: Nicosia, Cyprus
- Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock:
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 D. 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 - Kenneth 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 3SoCTM 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, Gabriela 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, Mohammod 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 3rd generation networks. 369-370 - Vladimir Vukadinovic, Ljiljana Trajkovic:
RED with Dynamic Thresholds for improved fairness. 371-372
Computer Security
- Giampaolo Bella, Peter Y. A. 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 K. 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 Ramírez, 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, Lican Huang:
Enhancement of workflow flexibility by composing activities at run-time. 667-673 - Mohammad A. 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 B. 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, Yiu Sang 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 - 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: FickleMT. 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 M. L. 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 E. 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
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.