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