Table of Contents

• A debugging calculus for mobile ambientsGian Luigi Ferrari, Emilio Tuosto. [doi]
• A decade of applied computingHal Berghel. 1-5 [doi]
• On verifying game designs and playing strategies using reinforcement learningDimitrios Kalles, Panagiotis Kanellopoulos. 6-11 [doi]
• A new decomposition technique for solving Markov decision processesPierre Laroche, Yann Boniface, René Schott. 12-16 [doi]
• Automatic symmetry breaking method combined with SATJian Zhang. 17-21 [doi]
• A belief-goal-role logic for a single-agent systemWalid Chainbi. 22-26 [doi]
• Interactive document retrieval with relational learningMasayuki Okabe, Seiji Yamada. 27-31 [doi]
• A comparison in training time of the single and multiple-output MLP neural networksMatee Serearuno, Tony Holden. 32-35 [doi]
• A multi-neural-network learning for lot sizing and sequencing on a flow-shopIn Lee, Jatinder N. D. Gupta, Amar D. Amar. 36-40 [doi]
• Computational structural genomics: identifying protein targets for structural studiesIgor V. Grigoriev. 41-45 [doi]
• Perfect phylogenetic networks with recombinationLusheng Wang, Kaizhong Zhang, Louxin Zhang. 46-50 [doi]
• Identifying the most significant pairwise correlations of residues in different positions of helices: the subset selection problem using least squares optimizationXianghong Zhou, Gareth Chelvanayagam, Michael T. Hallett. 51-55 [doi]
• An approximation algorithm for the shortest common supersequence problem: an experimental analysisPaolo Barone, Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri. 56-60 [doi]
• Picking fruit from the tree of life: comments on taxonomic sampling and quartet methodsJonathan H. Badger, Paul E. Kearney. 61-67 [doi]
• Large-scale flow field visualization for aneurysm treatmentDamon Shing-Min Liu, Mark Burgin, Walter J. Karplus, Daniel J. Valentino. 68-72 [doi]
• Self-consistent simulation studying environment for the design of high-speed optical communication linesKazuhiro Shimoura. 73-76 [doi]
• Connectivity of random graphs and mobile networks: validation of Monte Carlo simulation resultsL. Jonathan Dowell, Michael Lee Bruno. 77-81 [doi]
• Distributed virtual environment realizing collaborative environment educationMasaya Okada, Hiroyuki Tarumi, Tetsuhiko Yoshimura. 83-88 [doi]
• Component-centric approach in a web-based home schooling applicationLin Chen, Youwen Ouyang. 89-93 [doi]
• A web-based synchronized multimedia system for distance educationMarco Roccetti, Paola Salomoni. 94-98 [doi]
• Creating and shareing web notes via a standard browserNg S. T. Chong, Masao Sakauchi. 99-104 [doi]
• Coordination models, languages applications track chair messagesAndrea Omicini. 105-106 [doi]
• Debugging agent interactions: a case studyDavid W. Flater. 107-114 [doi]
• Formalization of commitment-based agent interactionJie Xing, Munindar P. Singh. 115-120 [doi]
• SIFTER-II: a heterogeneous agent society for information filteringRajeev R. Raje, Mingyong Qiao, Snehasis Mukhopadhyay. 121-123 [doi]
• Coordingation control with BCOOPLHans de Bruin. 124-133 [doi]
• Dynamic coordination architecture through the use of reflectionCarlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano. 134-140 [doi]
• A framework for building non-functional software architecturesNelson S. Rosa, George R. Ribeiro-Justo, P. R. F. Cunha. 141-147 [doi]
• DIP: a pattern-based approach for task and data parallelism integrationManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya. 148-150 [doi]
• Synchronous coordination in the Log coordination modelKoenraad De Bosschere, Jean-Marie Jacquet. 151-158 [doi]
• Coordinating interaction patternsAndrea Bracciali, Antonio Brogi, Franco Turini. 159-165 [doi]
• On observation as a coordination paradigm: an ontology and a formal frameworkMirko Viroli, Gianluca Moro, Andrea Omicini. 166-175 [doi]
• Adapting publish/subscribe middleware to achieve Gnutella-like functionalityDennis Heimbigner. 176-181 [doi]
• Coordination aspects in a spatial group decision support collaborative systemSergio P. J. Medeiros, Jano Moreira de Souza, Julia Celia M. Strauch, Gustavo da Rocha Barreto Pinto. 182-186 [doi]
• Experience with memory management in open Linda systemsRonaldo Menezes. 187-196 [doi]
• Access to heterogeneous data sources for supporting business process executionMartin Staudt, Jörg-Uwe Kietz, Ulrich Reimer. 197-206 [doi]
• Global change master directory: object-oriented active asynchronous transaction management in a federated environment using data agentsZina Ben-Miled, Srinivasan Sikkupparbathyam, Omran A. Bukhres, Kishan Nagendra, Eric Lynch, Marcelo Areal, Lola Olsen, Chris Gokey, David Kendig, Tom Northcutt, Rosy Cordova, Gene Major, Janine Savage. 207-214 [doi]
• Integrating OO road network database, cases and knowledge for route findingMuhammad Abaidullah Anwar, Takaichi Yoshida. 215-219 [doi]
• Transferring database contents from a conventional information systemto a corresponding existing object oriented information systemReda Alhajj, Faruk Polat. 220-224 [doi]
• Integrating relational database schemas using a standardized dictionaryRamon Lawrence, Ken Barker. 225-230 [doi]
• Batch-construction of B+-treesSang-Wook Kim, Hee-Sun Won. 231-235 [doi]
• Design and analysis of data structures for querying image databasesYuelong Gu, Brajendra Panda, Kazi Asharful Haque. 236-241 [doi]
• Transaction fusion in the wake of information warfareBrajendra Panda, Rajesh Yalamanchili. 242-247 [doi]
• Segment-based approach for subsequence searches in sequence databasesSanghyun Park, Sang-Wook Kim, Wesley W. Chu. 248-252 [doi]
• Automatic generation of hypertextbook WebsFranco Crivellari, Massimo Melucci. 253-257 [doi]
• An efficient core-area detection algorithm for fast noise-free image query processingKhanh Vu, Kien A. Hua, Duc A. Tran. 258-263 [doi]
• A cell-based index structure for similarity search in high-dimensional feature spacesKwang-Taek Song, Hwa-Jin Nam, Jae-Woo Chang. 264-268 [doi]
• Graph-based GUIs for querying XML data: the XML-GL experienceSara Comai. 269-274 [doi]
• A case for parameterized views and relational unificationHasan M. Jamil. 275-279 [doi]
• Integration of the viewpoint mechanism in federated databasesFouzia Benchikha, Mahmoud Boufaïda, Lionel Seinturier. 280-284 [doi]
• Regression testing of database applicationsRamzi A. Haraty, Nashat Mansour, Bassel Daou. 285-289 [doi]
• A dual copy method for transaction separation with multiversion control for read-only transactionsBaojing Lu, Qinghua Zou, William Perrizo. 290-294 [doi]
• Conceptual multidimensional data model based on object oriented metacubeNguyen Thanh Binh, A. Min Tjoa. 295-300 [doi]
• A simple partitioning approach to fractal image compressionGhim Hwee Ong, Chorng-Meng Chew, Yi Cao. 301-305 [doi]
• Goal-directed object-oriented programming in uniconClinton L. Jeffery. 306-308 [doi]
• On motion and noise detection in digital videoA. Angelopoulos, Evangelos A. Yfantis, A. Popovich, T. Lazarakis. 309-311 [doi]
• An algorithm for key-frame determination in digital videoEvangelos A. Yfantis. 312-314 [doi]
• Evolutionary computation and optimization trackRoger L. Wainwright, Günther R. Raidl. 315 [doi]
• Evolutionary image enhancement with user behaviour modelingCristian Munteanu, Agostinho C. Rosa. 316-320 [doi]
• Weight-biased edge-crossover in evolutionary algorithms for wto graph problemsBryant A. Julstrom, Günther R. Raidl. 321-326 [doi]
• A hybrid genetic algorithm for the point to multipoint routing problem with single split pathsPablo Galiasso, Roger L. Wainwright. 327-332 [doi]
• Linkage-learning genetic algorithm application to the protein structure prediction problemKarl R. Deerman, Gary B. Lamont, Ruth Pachter. 333-339 [doi]
• Evolving robot behavior via interactive evolutionary computation: from real-world to simulationGerry V. Dozier. 340-344 [doi]
• Evolving effective CA/CSTP: BIST architectures for sequential circuitsFulvio Corno, Matteo Sonza Reorda, Giovanni Squillero. 345-350 [doi]
• Diversity-based selection pooling scheme in evolution strategiesTao-Yuan Huang, Yung-Yaw Chen. 351-355 [doi]
• Encoding rectilinear Steiner trees as lists of edgesBryant A. Julstrom. 356-360 [doi]
• Using assortative mating in genetic algorithms for vector quantization problemsCarlos Fernandes, Rui Tavares, Cristian Munteanu, Agostinho C. Rosa. 361-365 [doi]
• Location and storage management in mobile computing systems - track chair messageDorota M. Huizinga. 366-367 [doi]
• Analysis of dynamic movement-based location update schemeJie Li, Yi Pan, Xiaohua Jia. 368-372 [doi]
• Location management of mobile hosts by grouping routersHiroaki Hagino, Takahiro Hara, Masahiko Tsukamoto, Shojiro Nishio. 373-380 [doi]
• User profile replication with caching for distributed location management in mobile communication networksHoang Nguyen Minh, Harmen R. van As. 381-386 [doi]
• A generalized air-cache design for efficiently boradcasting on multiple physical channelsDuc A. Tran, Kien A. Hua, Ning Jiang. 387-392 [doi]
• Adaptive semantic data broadcast in a mobile environmentKen C. K. Lee, Hong Va Leong, Antonio Si. 393-400 [doi]
• A ubiquitous stable storage for mobile computing devicesLegand L. Burge III, Suleiman Baajun, Moses Garuba. 401-404 [doi]
• Managing security policies in a distributed environment using eXtensible markup language (XML)Nathan N. Vuong, Geoffrey Smith, Yi Deng. 405-411 [doi]
• TOS: kernel support for distributed systems managementKåre J. Lauvset, Dag Johansen, Keith Marzullo. 412-419 [doi]
• Improving performance of MAC layer by using congestion control/avoidance methods in wireless networkSong Ci, Hamid Sharif, Guevara Noubir. 420-424 [doi]
• Context and location aware textual data inputMassimo Ancona, Sandro Locati, Alessio Romagnoli. 425-428 [doi]
• Considering video characteristics for improved cache performance in VOD systemsB. Sonah, Mabo Robert Ito. 429-433 [doi]
• Indexing image databases using wavelet and discrete fourier transformChaman L. Sabharwal, S. R. Subramanya. 434-439 [doi]
• Extending hypertext streaming protocol to realize effective web page transmission via a chaching proxyTadashi Nakano, Kaname Harumoto, Shinji Shimojo, Shojiro Nishio. 440-445 [doi]
• ADAPT - a low-cost videoconference model for personal computers running on IP networksFabio Asturian Zanin, Lisandro Zambenedetti Granville, Maria Janilce B. Almeida. 446-447 [doi]
• Application of computational intelligence techniques in active networksAthanasios V. Vasilakos, Kostas G. Anagnostakis, Witold Pedrycz. 448-455 [doi]
• An adaptive fuzzy threshold scheme for high performance shared-memory switchesGiuseppe Ascia, Vincenzo Catania, Daniela Panno. 456-461 [doi]
• Application of fuzzy indexing and retrieval in case based reasoning for designStefania Bandini, Sara Manzoni. 462-466 [doi]
• The sustainable-cell-rate usage parameter control with adjustable window for high-speed multimedia communicationsSan-yhi Chen, Li-Fong Lin, Chih-Sheng Chang, Chung-Ju Chang. 467-471 [doi]
• A function-based join for the manipulation of possibilistic relationsPatrick Bosc, Ludovic Lietard, Olivier Pivert. 472-476 [doi]
• Genetic-based fuzzy clustering for automatic Web document categorizationVincenzo Loia, Paolo Luongo. 477-478 [doi]
• A proposal for modeling real options through fuzzy expert systemGiovanni Mastroleo, Gisella Facchinetti, Carlo Alberto Magni. 479-481 [doi]
• A fuzzy neural network approach to model component behavior for virtual prototyping of hydraulic systemWei Xiang, Sai Cheong Fok, Fook Fah Yap. 482-483 [doi]
• A routing algorithm for the pyramid structuresZhizhang Shen. 484-488 [doi]
• Unicast-based broadcast: an analysis for the hypercube with adaptive routingAlireza Shahrabi, Mohamed Ould-Khaoua, Lewis M. Mackenzie. 489-493 [doi]
• Analysis of adaptive wormhole-routed torus networks with IPP input trafficGeyong Min, John D. Ferguson, Mohamed Ould-Khaoua. 494-498 [doi]
• An efficient algorithm for causal messages orderingAomar Maddi, Fodil Dahamni. 499-503 [doi]
• Scheduling and caching strategies for broadcasting correlated dataEtsuko Yajima, Takahiro Hara, Masahiko Tsukamoto, Shojiro Nishio. 504-510 [doi]
• Efficient schemes to scale the interconnection network bandwidth in a ring-based multiprocessor systemByoung Soon Jang, Sung Woo Chung, Seong Tae Jhang, Chu Shik Jhon. 510-516 [doi]
• An agent architecture for vehicle routing problemsSam R. Thangiah, Olena Shmygelska, William Mennell. 517-521 [doi]
• Load balancing in distributed workflow management systemLi-jie Jin, Fabio Casati, Mehmet Sayal, Ming-Chien Shan. 522-530 [doi]
• A new distributed mutual exclusion algorithm for two groupsAhmed Housni, Michel Tréhel, Mi-Soon Koo, Myong-Soon Park. 531-538 [doi]
• Processor reordering algorithms toward efficient GEN_BLOCK redistributionSaeri Lee, Hyun-Gyoo Yook, Mi-Soo Koo, Myong-Soon Park. 539-543 [doi]
• Performance evaluation of the LH*lh scalable, distributed data structure for a cluster of workstationsVinay Gupta, Mohit Modi, Andy D. Pimentel. 544-548 [doi]
• Finding a hamiltonian paths in tournaments on clusters - a provably communication-efficient approachChun-Hsi Huang, Xin He. 549-553 [doi]
• Fundamental limitations on the use of prefetching and stream buffers for scientific applicationsDaniel M. Pressel. 554-559 [doi]
• Exploiting non-uniform reuse for cache optimizationClaudia Leopold. 560-564 [doi]
• A web information organization and management system (WIOMS)Tynan D. Grayson, Ralph A. Grayson, G. E. Hedrick. 565-566 [doi]
• Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programsTim Wahls, Gary T. Leavens. 567-575 [doi]
• Specifying internet applications with DiConsJos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw. 576-584 [doi]
• Using the object paradigm to deal with the agent paradigm: capabilities and limitsWalid Chainbi. 585-589 [doi]
• Designa and implementation of simple object description languageMarjan Mernik, Uros Novak, Enis Avdicausevic, Viljem Zumer. 590-595 [doi]
• Reflective controls for intelligent distributed objectsEn-Hsin Huang, Tzilla Elrad. 595-599 [doi]
• eLeLePUS - a language for specification of software design patternsRajeev R. Raje, Sivakumar Chinnasamy. 600-604 [doi]
• Program slicing based on specificationIn Sang Chung, W. K. Lee, Gwang Sik Yoon, Yong Rae Kwon. 605-609 [doi]
• Parametric polymorphism in Java: an efficient implementation for parametric methodsMirko Viroli. 610-619 [doi]
• Interprocedural exception analysis for JavaByeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe. 620-625 [doi]
• Register pressure responsive software pipeliningGlenn Altemose, Cindy Norris. 626-631 [doi]
• A dynamic locality optimization algorithm for linear algebra codesMahmut T. Kandemir. 632-635 [doi]
• Exploiting metrics to facilitate grammar transformation into LALR formatJames F. Power, Brian A. Malloy. 636-640 [doi]
• A seamless approach to the agent developmentChang-Hyun Jo. 641-647 [doi]
• A graphical user interface for executing formal specificationsXiaowen Chen, Tim Wahls. 648-652 [doi]
• A distributed object computing architecture for leveraging software reengineering systemsChia-Chu Chiang. 653-657 [doi]
• The design of an OCL query-based debugger for C++Chanika Hobatr, Brian A. Malloy. 658-662 [doi]
• Towards a universal service-computing platform via virtual service machineJun-Jang Jeng. 663-667 [doi]
• Building a layered framework for the table abstractionH. Conrad Cunningham, Jingyi Wang. 668-674 [doi]
• A software reuse reference model approach in developing an automated educational system for patients health care managementAnil Khatri, David C. Rine. 675-678 [doi]
• Algorithms to detect chained-inference faults in information distribution systemsYih-Peng Hwang, David C. Rine. 679-685 [doi]