BibSLEIGH — Proceedings of the 16th Symposium on Applied Computing

Proceedings of the 16th Symposium on Applied Computing
SAC-2001, 2001.

@proceedings{SAC-2001,
	address       = "Las Vegas, Nevada, USA",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 16th Symposium on Applied Computing}",
	year          = 2001,
}

Contents (124 items)

SAC-2001-FerrariT #calculus #debugging #mobile: A debugging calculus for mobile ambients (GLF, ET).
SAC-2001-Berghel: A decade of applied computing (HB), pp. 1–5.
SAC-2001-KallesK #design #game studies #learning #on the #using #verification: On verifying game designs and playing strategies using reinforcement learning (DK, PK), pp. 6–11.
SAC-2001-LarocheBS #composition #markov #process: A new decomposition technique for solving Markov decision processes (PL, YB, RS), pp. 12–16.
SAC-2001-Zhang #automation #satisfiability #symmetry: Automatic symmetry breaking method combined with SAT (JZ0), pp. 17–21.
SAC-2001-Chainbi #logic: A belief-goal-role logic for a single-agent system (WC), pp. 22–26.
SAC-2001-OkabeY #documentation #interactive #learning #relational #retrieval: Interactive document retrieval with relational learning (MO, SY), pp. 27–31.
SAC-2001-SerearunoH #comparison #multi #network: A comparison in training time of the single and multiple-output MLP neural networks (MS, TH), pp. 32–35.
SAC-2001-LeeGA #learning #multi: A multi-neural-network learning for lot sizing and sequencing on a flow-shop (IL, JNDG, ADA), pp. 36–40.
SAC-2001-Grigoriev #identification: Computational structural genomics: identifying protein targets for structural studies (IVG), pp. 41–45.
SAC-2001-WangZZ #network: Perfect phylogenetic networks with recombination (LW, KZ, LZ), pp. 46–50.
SAC-2001-ZhouCH #correlation #identification #optimisation #problem #set #using: Identifying the most significant pairwise correlations of residues in different positions of helices: the subset selection problem using least squares optimization (XZ, GC, MTH), pp. 51–55.
SAC-2001-BaroneBVM #algorithm #analysis #approximate #problem: An approximation algorithm for the shortest common supersequence problem: an experimental analysis (PB, PB, GDV, GM), pp. 56–60.
SAC-2001-BadgerK #taxonomy: Picking fruit from the tree of life: comments on taxonomic sampling and quartet methods (JHB, PEK), pp. 61–67.
SAC-2001-LiuBKV #scalability #visualisation: Large-scale flow field visualization for aneurysm treatment (DSML, MB, WJK, DJV), pp. 68–72.
SAC-2001-Shimoura #communication #design #performance #self #simulation: Self-consistent simulation studying environment for the design of high-speed optical communication lines (KS), pp. 73–76.
SAC-2001-DowellB #graph #mobile #monte carlo #network #random #simulation #validation: Connectivity of random graphs and mobile networks: validation of Monte Carlo simulation results (LJD, MLB), pp. 77–81.
SAC-2001-OkadaTY #collaboration #distributed #education: Distributed virtual environment realizing collaborative environment education (MO, HT, TY), pp. 83–88.
SAC-2001-ChenO #approach #component: Component-centric approach in a web-based home schooling application (LC, YO), pp. 89–93.
SAC-2001-RoccettiS #distance #education #multi: A web-based synchronized multimedia system for distance education (MR, PS), pp. 94–98.
SAC-2001-ChongS #standard #web: Creating and shareing web notes via a standard browser (NSTC, MS), pp. 99–104.
SAC-2001-Omicini #coordination #modelling: Coordination models, languages applications track chair messages (AO), pp. 105–106.
SAC-2001-Flater #case study #debugging #interactive: Debugging agent interactions: a case study (DWF), pp. 107–114.
SAC-2001-XingS #formal method #interactive: Formalization of commitment-based agent interaction (JX, MPS), pp. 115–120.
SAC-2001-RajeQM #information management #named: SIFTER-II: a heterogeneous agent society for information filtering (RRR, MQ, SM), pp. 121–123.
SAC-2001-Bruin: Coordingation control with BCOOPL (HdB), pp. 124–133.
SAC-2001-CuestaFB #architecture #coordination #using: Dynamic coordination architecture through the use of reflection (CECQ, PdlF, MBS), pp. 134–140.
SAC-2001-RosaJC #architecture #framework #non-functional: A framework for building non-functional software architectures (NSR, GRRJ, PRFC), pp. 141–147.
SAC-2001-DiazRST #approach #integration #named #parallel: DIP: a pattern-based approach for task and data parallelism integration (MD, BR, ES, JMT), pp. 148–150.
SAC-2001-BosschereJ #coordination: Synchronous coordination in the Log coordination model (KDB, JMJ), pp. 151–158.
SAC-2001-BraccialiBT #coordination #interactive: Coordinating interaction patterns (AB, AB, FT), pp. 159–165.
SAC-2001-ViroliMO #coordination #framework #on the #ontology #paradigm: On observation as a coordination paradigm: an ontology and a formal framework (MV, GM, AO), pp. 166–175.
SAC-2001-Heimbigner #adaptation #middleware: Adapting publish/subscribe middleware to achieve Gnutella-like functionality (DH), pp. 176–181.
SAC-2001-MedeirosSSP #aspect-oriented #collaboration #coordination: Coordination aspects in a spatial group decision support collaborative system (SPJM, JMdS, JCMS, GdRBP), pp. 182–186.
SAC-2001-Menezes #experience #memory management: Experience with memory management in open Linda systems (RM), pp. 187–196.
SAC-2001-StaudtKR #data flow #execution #process #semistructured data: Access to heterogeneous data sources for supporting business process execution (MS, JUK, UR), pp. 197–206.
SAC-2001-Ben-MiledSBNLAOGKNCMS #object-oriented #transaction #using: Global change master directory: object-oriented active asynchronous transaction management in a federated environment using data agents (ZBM, SS, OAB, KN, EL, MA, LO, CG, DK, TN, RC, GM, JS), pp. 207–214.
SAC-2001-AnwarY #database #network #object-oriented: Integrating OO road network database, cases and knowledge for route finding (MAA, TY), pp. 215–219.
SAC-2001-AlhajjP #database #information management #object-oriented: Transferring database contents from a conventional information systemto a corresponding existing object oriented information system (RA, FP), pp. 220–224.
SAC-2001-LawrenceB #database #relational #standard #taxonomy #using: Integrating relational database schemas using a standardized dictionary (RL, KB), pp. 225–230.
SAC-2001-KimW: Batch-construction of B+-trees (SWK, HSW), pp. 231–235.
SAC-2001-GuPH #analysis #data type #database #design #image #query: Design and analysis of data structures for querying image databases (YG, BP, KAH), pp. 236–241.
SAC-2001-PandaY #information management #transaction: Transaction fusion in the wake of information warfare (BP, RY), pp. 242–247.
SAC-2001-ParkKC #approach #database #sequence: Segment-based approach for subsequence searches in sequence databases (SP, SWK, WWC), pp. 248–252.
SAC-2001-CrivellariM #automation #generative: Automatic generation of hypertextbook Webs (FC, MM), pp. 253–257.
SAC-2001-VuHT #algorithm #detection #image #performance #query: An efficient core-area detection algorithm for fast noise-free image query processing (KV, KAH, DAT), pp. 258–263.
SAC-2001-SongNC #similarity: A cell-based index structure for similarity search in high-dimensional feature spaces (KTS, HJN, JWC), pp. 264–268.
SAC-2001-Comai #experience #graph #query #user interface #xml: Graph-based GUIs for querying XML data: the XML-GL experience (SC), pp. 269–274.
SAC-2001-Jamil #relational #unification: A case for parameterized views and relational unification (HMJ), pp. 275–279.
SAC-2001-BenchikhaBS #database #integration: Integration of the viewpoint mechanism in federated databases (FB, MB, LS), pp. 280–284.
SAC-2001-HaratyMD #database #testing: Regression testing of database applications (RAH, NM, BD), pp. 285–289.
SAC-2001-LuZP #multi #transaction #version control: A dual copy method for transaction separation with multiversion control for read-only transactions (BL, QZ, WP), pp. 290–294.
SAC-2001-BinhT #concept #modelling #multi #object-oriented: Conceptual multidimensional data model based on object oriented metacube (BTN, AMT), pp. 295–300.
SAC-2001-OngCC #approach #clustering #image: A simple partitioning approach to fractal image compression (GHO, CMC, YC), pp. 301–305.
SAC-2001-Jeffery #object-oriented #programming: Goal-directed object-oriented programming in unicon (CLJ), pp. 306–308.
SAC-2001-AngelopoulosYPL #detection #on the #video: On motion and noise detection in digital video (AA, EAY, AP, TL), pp. 309–311.
SAC-2001-Yfantis #algorithm #video: An algorithm for key-frame determination in digital video (EAY), pp. 312–314.
SAC-2001-WainwrightR #optimisation: Evolutionary computation and optimization track (RLW, GRR), p. 315.
SAC-2001-MunteanuR #behaviour #image #modelling: Evolutionary image enhancement with user behaviour modeling (CM, ACR), pp. 316–320.
SAC-2001-JulstromR #algorithm #graph #problem: Weight-biased edge-crossover in evolutionary algorithms for wto graph problems (BAJ, GRR), pp. 321–326.
SAC-2001-GaliassoW #algorithm #hybrid #multi #problem #search-based: A hybrid genetic algorithm for the point to multipoint routing problem with single split paths (PG, RLW), pp. 327–332.
SAC-2001-DeermanLP #algorithm #predict #problem #search-based: Linkage-learning genetic algorithm application to the protein structure prediction problem (KRD, GBL, RP), pp. 333–339.
SAC-2001-Dozier #behaviour #evolution #interactive #simulation: Evolving robot behavior via interactive evolutionary computation: from real-world to simulation (GVD), pp. 340–344.
SAC-2001-CornoRS #architecture #effectiveness #evolution: Evolving effective CA/CSTP: BIST architectures for sequential circuits (FC, MSR, GS), pp. 345–350.
SAC-2001-HuangC #evolution: Diversity-based selection pooling scheme in evolution strategies (TYH, YYC), pp. 351–355.
SAC-2001-Julstrom #encoding: Encoding rectilinear Steiner trees as lists of edges (BAJ), pp. 356–360.
SAC-2001-FernandesTMR #algorithm #problem #search-based #using: Using assortative mating in genetic algorithms for vector quantization problems (CMF, RT, CM, ACR), pp. 361–365.
SAC-2001-LiPJ #analysis: Analysis of dynamic movement-based location update scheme (JL, YP, XJ), pp. 368–372.
SAC-2001-HaginoHTN #mobile: Location management of mobile hosts by grouping routers (HH, TH, MT, SN), pp. 373–380.
SAC-2001-MinhA #communication #distributed #mobile #network #replication: User profile replication with caching for distributed location management in mobile communication networks (HNM, HRvA), pp. 381–386.
SAC-2001-TranHJ #design #multi #physics: A generalized air-cache design for efficiently boradcasting on multiple physical channels (DAT, KAH, NJ), pp. 387–392.
SAC-2001-LeeLS #adaptation #mobile #semantics: Adaptive semantic data broadcast in a mobile environment (KCKL, HVL, AS), pp. 393–400.
SAC-2001-BurgeBG #mobile #ubiquitous: A ubiquitous stable storage for mobile computing devices (LLBI, SB, MG), pp. 401–404.
SAC-2001-VuongSD #distributed #policy #security #using #xml: Managing security policies in a distributed environment using eXtensible markup language (XML) (NNV, GS, YD), pp. 405–411.
SAC-2001-LauvsetJM #distributed #kernel #named: TOS: kernel support for distributed systems management (KJL, DJ, KM), pp. 412–419.
SAC-2001-CiSN #network #performance #using: Improving performance of MAC layer by using congestion control/avoidance methods in wireless network (SC, HS, GN), pp. 420–424.
SAC-2001-AnconaLR: Context and location aware textual data input (MA, SL, AR), pp. 425–428.
SAC-2001-SonahI #performance #video: Considering video characteristics for improved cache performance in VOD systems (BS, MRI), pp. 429–433.
SAC-2001-SabharwalS #database #fourier #image #using: Indexing image databases using wavelet and discrete fourier transform (CLS, SRS), pp. 434–439.
SAC-2001-NakanoHSN #effectiveness #hypermedia #protocol #streaming #web: Extending hypertext streaming protocol to realize effective web page transmission via a chaching proxy (TN, KH, SS, SN), pp. 440–445.
SAC-2001-ZaninGA #adaptation #low cost #named #network: ADAPT — a low-cost videoconference model for personal computers running on IP networks (FAZ, LZG, MJBA), pp. 446–447.
SAC-2001-VasilakosAP #network: Application of computational intelligence techniques in active networks (AVV, KGA, WP), pp. 448–455.
SAC-2001-AsciaCP #adaptation #fuzzy #performance: An adaptive fuzzy threshold scheme for high performance shared-memory switches (GA, VC, DP), pp. 456–461.
SAC-2001-BandiniM #design #fuzzy #reasoning #retrieval: Application of fuzzy indexing and retrieval in case based reasoning for design (SB, SM), pp. 462–466.
SAC-2001-ChenLCC #multi #parametricity #performance: The sustainable-cell-rate usage parameter control with adjustable window for high-speed multimedia communications (SyC, LFL, CSC, CJC), pp. 467–471.
SAC-2001-BoscLP: A function-based join for the manipulation of possibilistic relations (PB, LL, OP), pp. 472–476.
SAC-2001-LoiaL #automation #categorisation #clustering #documentation #fuzzy #web: Genetic-based fuzzy clustering for automatic Web document categorization (VL, PL), pp. 477–478.
SAC-2001-MastroleoFM #fuzzy #modelling: A proposal for modeling real options through fuzzy expert system (GM, GF, CAM), pp. 479–481.
SAC-2001-XiangFY #approach #behaviour #component #fuzzy #network #prototype: A fuzzy neural network approach to model component behavior for virtual prototyping of hydraulic system (WX, SCF, FFY), pp. 482–483.
SAC-2001-Shen #algorithm: A routing algorithm for the pyramid structures (ZS), pp. 484–488.
SAC-2001-ShahrabiOM #adaptation #analysis: Unicast-based broadcast: an analysis for the hypercube with adaptive routing (AS, MOK, LMM), pp. 489–493.
SAC-2001-MinFO #adaptation #analysis #network: Analysis of adaptive wormhole-routed torus networks with IPP input traffic (GM, JDF, MOK), pp. 494–498.
SAC-2001-MaddiD #algorithm #performance: An efficient algorithm for causal messages ordering (AM, FD), pp. 499–503.
SAC-2001-YajimaHTN #correlation #scheduling: Scheduling and caching strategies for broadcasting correlated data (EY, TH, MT, SN), pp. 504–510.
SAC-2001-JangCJJ #multi #network #performance: Efficient schemes to scale the interconnection network bandwidth in a ring-based multiprocessor system (BSJ, SWC, STJ, CSJ), pp. 510–516.
SAC-2001-ThangiahSM #architecture #problem: An agent architecture for vehicle routing problems (SRT, OS, WM), pp. 517–521.
SAC-2001-JinCSS #distributed #workflow: Load balancing in distributed workflow management system (LjJ, FC, MS, MCS), pp. 522–530.
SAC-2001-HousniTKP #algorithm #distributed: A new distributed mutual exclusion algorithm for two groups (AH, MT, MSK, MSP), pp. 531–538.
SAC-2001-LeeYKP #algorithm #order #performance #towards: Processor reordering algorithms toward efficient GEN_BLOCK redistribution (SL, HGY, MSK, MSP), pp. 539–543.
SAC-2001-GuptaMP #clustering #data type #distributed #evaluation #performance #scalability: Performance evaluation of the LH*lh scalable, distributed data structure for a cluster of workstations (VG, MM, ADP), pp. 544–548.
SAC-2001-HuangH #approach #clustering: Finding a hamiltonian paths in tournaments on clusters — a provably communication-efficient approach (CHH, XH), pp. 549–553.
SAC-2001-Pressel #using: Fundamental limitations on the use of prefetching and stream buffers for scientific applications (DMP), pp. 554–559.
SAC-2001-Leopold #optimisation #reuse: Exploiting non-uniform reuse for cache optimization (CL), pp. 560–564.
SAC-2001-GraysonGH #information management #web: A web information organization and management system (WIOMS) (TDG, RAG, GEH), pp. 565–566.
SAC-2001-WahlsL #algorithm #concurrent #constraints #modelling #semantics #source code #specification: Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs (TW, GTL), pp. 567–575.
SAC-2001-BaetenBM #internet #specification: Specifying internet applications with DiCons (JCMB, HMAvB, SM), pp. 576–584.
SAC-2001-Chainbi01a #paradigm #using: Using the object paradigm to deal with the agent paradigm: capabilities and limits (WC), pp. 585–589.
SAC-2001-MernikNAZ #implementation: Designa and implementation of simple object description language (MM, UN, EA, VZ), pp. 590–595.
SAC-2001-HuangE #distributed: Reflective controls for intelligent distributed objects (EHH, TE), pp. 595–599.
SAC-2001-RajeC #design pattern #named #specification: eLeLePUS — a language for specification of software design patterns (RRR, SC), pp. 600–604.
SAC-2001-ChungLYK #slicing #specification: Program slicing based on specification (ISC, WKL, GSY, YRK), pp. 605–609.
SAC-2001-Viroli #implementation #java #morphism #parametricity #performance #polymorphism: Parametric polymorphism in Java: an efficient implementation for parametric methods (MV), pp. 610–619.
SAC-2001-ChangJYC #analysis #exception #interprocedural #java: Interprocedural exception analysis for Java (BMC, JWJ, KY, KMC), pp. 620–625.
SAC-2001-AltemoseN #pipes and filters: Register pressure responsive software pipelining (GA, CN), pp. 626–631.
SAC-2001-Kandemir #algebra #algorithm #linear #locality #optimisation: A dynamic locality optimization algorithm for linear algebra codes (MTK), pp. 632–635.
SAC-2001-PowerM #lalr #metric: Exploiting metrics to facilitate grammar transformation into LALR format (JFP, BAM), pp. 636–640.
SAC-2001-Jo #approach #development: A seamless approach to the agent development (CHJ), pp. 641–647.
SAC-2001-ChenW #specification #user interface #visual notation: A graphical user interface for executing formal specifications (XC, TW), pp. 648–652.
SAC-2001-Chiang #architecture #distributed #re-engineering: A distributed object computing architecture for leveraging software reengineering systems (CCC), pp. 653–657.
SAC-2001-HobatrM #c++ #debugging #design #ocl: The design of an OCL query-based debugger for C++ (CH, BAM), pp. 658–662.
SAC-2001-Jeng #framework #platform #towards: Towards a universal service-computing platform via virtual service machine (JJJ), pp. 663–667.
SAC-2001-CunninghamW #abstraction #framework: Building a layered framework for the table abstraction (HCC, JW), pp. 668–674.
SAC-2001-KhatriR #approach #automation #education #health #reuse: A software reuse reference model approach in developing an automated educational system for patients health care management (AK, DCR), pp. 675–678.
SAC-2001-HwangR #algorithm #detection #fault: Algorithms to detect chained-inference faults in information distribution systems (YPH, DCR), pp. 679–685.

Proceedings of the 16th Symposium on Applied ComputingSAC-2001, 2001.

Contents (124 items)

Proceedings of the 16th Symposium on Applied Computing
SAC-2001, 2001.