BibSLEIGH — Proceedings of the 17th Symposium on Applied Computing

Proceedings of the 17th Symposium on Applied Computing
SAC-2002, 2002.

@proceedings{SAC-2002,
	address       = "Madrid, Spain",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 17th Symposium on Applied Computing}",
	year          = 2002,
}

Contents (195 items)

SAC-2002-BistarelliFM #constraints: Soft constraint propagation and solving in CHRs (SB, TWF, MM), pp. 1–5.
SAC-2002-AntoniouA #declarative #execution: Executable declarative business rules and their use in electronic commerce (GA, MA), pp. 6–10.
SAC-2002-AlfonsecaL #community #simulation: Simulating evolutionary agent communities with OOCSMP (MA, JdL), pp. 11–15.
SAC-2002-KimL #adaptation #clustering #distance #documentation #effectiveness #metric #using: An effective document clustering method using user-adaptable distance metrics (HjK, SgL), pp. 16–20.
SAC-2002-HexmoorV: Computational adjustable autonomy for NASA Personal Satellite Assistants (HH, JTV), pp. 21–26.
SAC-2002-JoA #programming language: The Agent-based Programming Language: APL (CHJ, AJA), pp. 27–31.
SAC-2002-BettiniNL #mobile #programming: Software update via mobile agent based programming (LB, RDN, ML), pp. 32–36.
SAC-2002-Gomez-SanzPG #metamodelling #multi: Meta-models for building multi-agent systems (JJGS, JP, FJG), pp. 37–41.
SAC-2002-CarlssonJ #difference #game studies: Differences between the iterated prisoner’s dilemma and the chicken game under noisy conditions (BC, KIJ), pp. 42–48.
SAC-2002-LauzacC #database #information management #mobile #personalisation: Personalizing information gathering for mobile database clients (SWL, PKC), pp. 49–56.
SAC-2002-ChadesSC #approach #assessment #heuristic #problem: A heuristic approach for solving decentralized-POMDP: assessment on the pursuit problem (IC, BS, FC), pp. 57–62.
SAC-2002-ChenCGRS #automation #co-evolution #game studies: An automated negotiation mechanism based on co-evolution and game theory (JHC, KMC, NG, CRR, PS), pp. 63–67.
SAC-2002-HuyS #transaction: Agent-based mobility add-in feature for Object Transaction Service (OTS) (HPH, SS), pp. 68–75.
SAC-2002-TanM #mobile #security: Certificates for mobile code security (HKT, LM), pp. 76–81.
SAC-2002-FerreiraD #embedded #mobile: Blinded-key signatures: securing private keys embedded in mobile agents (LCF, RD), pp. 82–86.
SAC-2002-SinghP #compilation #data-driven #distributed #java #optimisation: Compiler optimizations for Java aglets in distributed data intensive applications (AS, SP), pp. 87–92.
SAC-2002-Moreau #fault tolerance #mobile #pointer: A fault-tolerant directory service for mobile agents based on forwarding pointers (LM), pp. 93–100.
SAC-2002-BrazierOSW #generative #migration #mobile: Agent factory: generative migration of mobile agents in heterogeneous environments (FMTB, BJO, MvS, NJEW), pp. 101–106.
SAC-2002-MagninPDBT #platform: Our guest agents are welcome to your agent platforms (LM, VTP, AD, NB, AT), pp. 107–114.
SAC-2002-BinderR #java #mobile #question #using: Secure mobile agent systems using Java: where are we heading? (WB, VR), pp. 115–119.
SAC-2002-BarrettMSR #ad hoc #communication #framework #generative #modelling #network #simulation: A mobility and traffic generation framework for modeling and simulating ad hoc communication networks (CLB, MVM, JPS, SSR), pp. 122–126.
SAC-2002-GoldmanGBJ #behaviour #clustering #simulation: Individual-based simulation of the clustering behaviour of epidermal growth factor receptors (JPG, WJG, DB, CGJ), pp. 127–131.
SAC-2002-KornissNKG #parallel #simulation #statistics: Statistical properties of the simulated time horizon in conservative parallel discrete-event simulations (GK, MAN, AKK, HG), pp. 132–137.
SAC-2002-Eubank #performance #scalability #simulation: Scalable, efficient epidemiological simulation (SE), pp. 139–145.
SAC-2002-JonesJ: Bioinformatics track (WTJ, HMJ), p. 146.
SAC-2002-LiuLSCCCKS #named: NetAffx: affymetrix probeset annotations (GL, AEL, RS, MSC, JC, SAC, DK, MASR), pp. 147–150.
SAC-2002-HarrisonD #approach: A hypothesis driven approach to condition specific transcription factor binding site characterization in S.c (RH, CD), pp. 151–158.
SAC-2002-PalakalMM #biology #information management: An intelligent biological information management system (MJP, SM, JM), pp. 159–163.
SAC-2002-Sankoff #clustering: Short inversions and conserved gene clusters (DS), pp. 164–167.
SAC-2002-DinakarpandianK #predict #proximity: BlOMIND-protein property prediction by property proximity profiles (DD, VK), pp. 168–172.
SAC-2002-VedovaW #algorithm: Optimal algorithms for local vertex quartet cleaning (GDV, TW), pp. 173–177.
SAC-2002-Huynh #algorithm: Slide Edge Algorithm (DH), pp. 178–183.
SAC-2002-BuckerR #interface #performance: Efficient derivative computations in neutron scattering via interface contraction (HMB, AR), pp. 184–188.
SAC-2002-PleiteOBLV: A procedure to model the frequency response (JP, EO, AB, AL, JV), pp. 189–193.
SAC-2002-XuS #authentication #multi: Authenticated multicast immune to denial-of-service attack (SX, RSS), pp. 196–200.
SAC-2002-KrugelTK #detection #network: Service specific anomaly detection for network intrusion detection (CK, TT, EK), pp. 201–208.
SAC-2002-SeleznyovM #detection #learning: Learning temporal patterns for anomaly intrusion detection (AS, OM), pp. 209–213.
SAC-2002-LuSP #generative #implementation #performance #smarttech: Implementation of fast RSA key generation on smart cards (CL, ALMdS, FRP), pp. 214–220.
SAC-2002-SinghS #generative #grammarware: Grammar based off line generation of disposable credit card numbers (AS, ALMdS), pp. 221–228.
SAC-2002-BarbutiBF #abstract interpretation #bytecode #java #security: Checking security of Java bytecode by abstract interpretation (RB, CB, NDF), pp. 229–236.
SAC-2002-DunningR #communication #security: Security status display and browser interframe communication (LAD, SR), pp. 237–241.
SAC-2002-WhittakerV #mobile: Neutralizing windows-based malicious mobile code (JAW, ADV), pp. 242–246.
SAC-2002-Bell #interactive #policy #security #simulation: Interactive simulation of security policies (GB), pp. 247–252.
SAC-2002-SteffanS #collaboration #modelling: Collaborative attack modeling (JS, MS), pp. 253–259.
SAC-2002-ThompsonWM #security #testing: Software security vulnerability testing in hostile environments (HHT, JAW, FEM), pp. 260–264.
SAC-2002-BurnsideCMMDR #mobile #protocol #security: Proxy-based security protocols in networked mobile devices (MB, DEC, TM, AM, SD, RLR), pp. 265–272.
SAC-2002-BrommeKEK #algorithm #authentication #concept #framework #operating system #testing: A conceptual framework for testing biometric algorithms within operating systems’ authentication (AB, MK, OE, OK), pp. 273–280.
SAC-2002-BorealeB #analysis #automation #protocol #security: Experimenting with STA, a tool for automatic analysis of security protocols (MB, MGB), pp. 281–285.
SAC-2002-AbdallahDH #monitoring: Monitoring and synchronization for teamwork in GPGP (SA, NMD, OH), pp. 288–293.
SAC-2002-DavidssonW #architecture #coordination #multi: A multi-agent system architecture for coordination of just-in-time production and distribution (PD, FW), pp. 294–299.
SAC-2002-OgstonV #fuzzy: Unstructured agent matchmaking: experiments in timing and fuzzy matching (EO, SV), pp. 300–305.
SAC-2002-KarageorgosTM #automation #design: Semi-automatic design of agent organisations (AK, SGT, NM), pp. 306–313.
SAC-2002-SampleBW: A comprehensive model for arbitrary result extraction (NS, DB, GW), pp. 314–321.
SAC-2002-Yang #metamodelling #modelling: A uniform meta-model for modeling integrated cooperation (GY), pp. 322–328.
SAC-2002-JiangYWS #named #transaction: CovaTM: a transaction model for cooperative applications (JJ, GY, YW, MS), pp. 329–335.
SAC-2002-CiancariniTZ #coordination #middleware #xml: Coordination middleware for XML-centric applications (PC, RT, FZ), pp. 336–343.
SAC-2002-ObreiterG #scalability #towards #tuple: Towards scalability in tuple spaces (PO, GG), pp. 344–350.
SAC-2002-HoomanP #architecture #distributed #replication #verification: Formal verification of replication on a distributed data space architecture (JH, JvdP), pp. 351–358.
SAC-2002-BusiZ #on the #transaction: On the serializability of transactions in shared dataspaces with temporary data (NB, GZ), pp. 359–366.
SAC-2002-BergentiR #coordination #multi: Three approaches to the coordination of multiagent systems (FB, AR), pp. 367–372.
SAC-2002-BettiniLP #framework: An infrastructure language for open nets (LB, ML, RP), pp. 373–377.
SAC-2002-PerezCRT #algorithm #detection #interactive #multi: An enablement detection algorithm for open multiparty interactions (JAP, RC, DR, MT), pp. 378–384.
SAC-2002-FiegeMG #approach #composition: A modular approach to build structured event-based systems (LF, GM, FCG), pp. 385–392.
SAC-2002-CarvalhoLL #coordination #functional #haskell #process: Coordinating functional processes with Haskell_# (FHC, RMFL, RDL), pp. 393–400.
SAC-2002-HaratyZ #database #library: Database and digital library technologies: track chairs message (RAH, MZ), p. 401.
SAC-2002-Norvag #database #query #xml: Temporal query operators in XML databases (KN), pp. 402–406.
SAC-2002-SchmidtK #documentation #maintenance #xml: Bulkloading and maintaining XML documents (AS, MLK), pp. 407–412.
SAC-2002-DingDP #classification #data type #using: Decision tree classification of spatial data streams using Peano Count Trees (QD, QD, WP), pp. 413–417.
SAC-2002-HauglidM #analysis #metadata #named: SESAM: searching supported by analysis of metadata (JOH, RM), pp. 418–425.
SAC-2002-DingKRP #algebra: The P-tree algebra (QD, MK, AR, WP), pp. 426–431.
SAC-2002-FerriPR #correctness #database #query #semantics: The syntactic and semantic correctness of pictorial configurations to query geographic databases by PQL (FF, EP, MR), pp. 432–437.
SAC-2002-KimYPK #database #retrieval #sequence: Shape-based retrieval of similar subsequences in time-series databases (SWK, JY, SP, THK), pp. 438–445.
SAC-2002-PandaH #approach #database #dependence #robust: Extended data dependency approach: a robust way of rebuilding database (BP, KAH), pp. 446–452.
SAC-2002-CavalcantiMCLS #modelling: Sharing scientific models in environmental applications (MCC, MM, MLMC, FL, ES), pp. 453–457.
SAC-2002-HaratyH #database #query: Iterative querying in web-based database applications (RAH, MH), pp. 458–462.
SAC-2002-RiveroDF #database #elicitation #strict: Elicitation and conversion of hidden objects and restrictions in a database schema (LCR, JHD, VEF), pp. 463–469.
SAC-2002-AghbariKM #performance #reduction #video: Topological mapping: a dimensionality reduction method for efficient video search (ZA, KK, AM), pp. 470–475.
SAC-2002-MartinezDF #documentation #evolution #generative: A method for the dynamic generation of virtual versions of evolving documents (MMM, JCD, PdlF), pp. 476–482.
SAC-2002-ClarkSBLFLPJ #network: DANA (Digital Archive Network for Anthropology): a model for digital archiving (JTC, BMS, AB, FL, RF, JEL, WP, WJ), pp. 483–487.
SAC-2002-Baptista #design #implementation #multi #set: A geolibrary for multimedia data sets: design and implementation issues (CdSB), pp. 488–492.
SAC-2002-MalyZBMSW #evaluation #library #named #xml: DL-COTF: an XML based digital library for U. S. Navy’s operational test and evaluation force (KM, MZ, SB, AM, SS, WW), pp. 493–497.
SAC-2002-MaciasVR #algorithm #mining #using: Mining interesting regions using an evolutionary algorithm (JLÁM, JMV, JCRS), pp. 498–502.
SAC-2002-ChangJ #clustering #data mining #mining #scalability: A new cell-based clustering method for large, high-dimensional data in data mining applications (JWC, DSJ), pp. 503–507.
SAC-2002-Geist #data mining #framework #mining: A framework for data mining and KDD (IG), pp. 508–513.
SAC-2002-WangDGS: Hyperrelations in version space (HW, ID, GG, AS), pp. 514–518.
SAC-2002-BryK #documentation #modelling: Advanced modeling and browsing of technical documents (FB, MK), pp. 520–524.
SAC-2002-CobosA #information management: From collective knowledge to e-books (RC, XA), pp. 525–529.
SAC-2002-Wilson #design #interface: The “look and feel” of an ebook: considerations in interface design (RW), pp. 530–534.
SAC-2002-SohnKCLKL #development #standard: Development of a standard format for eBooks (WSS, SKK, YCC, KHL, SHK, SBL), pp. 535–540.
SAC-2002-WainwrightR #optimisation: Evolutionary computation and optimization track: SAC 2002 (RLW, GRR), p. 541.
SAC-2002-ButenkoPSSS #graph #independence #set: Finding maximum independent sets in graphs arising from coding theory (SB, PMP, IS, VS, PS), pp. 542–546.
SAC-2002-JulstromR #algorithm #robust #set: Initialization is robust in evolutionary algorithms that encode spanning trees as sets of edges (BAJ, GRR), pp. 547–552.
SAC-2002-DolinBR #co-evolution #distributed #effectiveness: Co-evolving an effective fitness sample: experiments in symbolic regression and distributed robot control (BD, FHBI, EGR), pp. 553–559.
SAC-2002-LiL #problem: Local search with annealing-like restarts to solve the vehicle routing problem with time windows (HL, AL), pp. 560–565.
SAC-2002-NyakoeOT #algorithm #multi #search-based #using: Acquisition of modulation pulses for a multi-robot system using genetic algorithm (GNN, MO, ST), pp. 568–573.
SAC-2002-HurleyW #approach #network: An agent based approach to site selection for wireless networks (SH, RMW), pp. 574–577.
SAC-2002-Pillay #algorithm #induction #programming #search-based #using: Using genetic programming for the induction of novice procedural programming solution algorithms (NP), pp. 578–583.
SAC-2002-NevesBR #classification #game studies #learning: Learning the risk board game with classifier systems (AN, OB, ACR), pp. 585–589.
SAC-2002-MataMR #algorithm: An evolutionary algorithm to discover numeric association rules (JMV, JLÁM, JCRS), pp. 590–594.
SAC-2002-VeldhuizenZL #algorithm #multi: Issues in parallelizing multiobjective evolutionary algorithms for real world applications (DAvV, JBZ, GBL), pp. 595–602.
SAC-2002-ParsopoulosV #multi #optimisation #problem: Particle swarm optimization method in multiobjective problems (KEP, MNV), pp. 603–607.
SAC-2002-CornoRS #algorithm: An evolutionary algorithm for reducing integrated-circuit test application time (FC, MSR, GS), pp. 608–612.
SAC-2002-Hidalgo #categorisation #email: Evaluating cost-sensitive Unsolicited Bulk Email categorization (JMGH), pp. 615–620.
SAC-2002-BecksSM #case study #comparative #documentation #information management: Benefits of document maps for text access in knowledge management: a comparative study (AB, CS, RM), pp. 621–626.
SAC-2002-ChanLMLHL #concept #documentation #mobile #multi #navigation #summary #using: Multiple related document summary and navigation using concept hierarchies for mobile clients (DLC, RWPL, WKM, HVL, EKSH, QL), pp. 627–632.
SAC-2002-SweeneyCT #delivery #mobile #summary #using: Mobile delivery of news using hierarchical query-biased summaries (SOS, FC, AT), pp. 634–639.
SAC-2002-BoughanemT #adaptation #incremental #learning: Incremental adaptive filtering: profile learning and threshold calibration (MB, MT), pp. 640–644.
SAC-2002-JohoCSB: Hierarchical presentation of expansion terms (HJ, CC, MS, MHB), pp. 645–649.
SAC-2002-BrownJ #retrieval: Exploiting contextual change in context-aware retrieval (PJB, GJFJ), pp. 650–656.
SAC-2002-BillhardtBM #algorithm #retrieval #search-based #using: Using genetic algorithms to find suboptimal retrieval expert combinations (HB, DB, VM), pp. 657–662.
SAC-2002-Kotsakis #documentation #information retrieval #xml: Structured information retrieval in XML documents (EK), pp. 663–667.
SAC-2002-KoC #documentation #retrieval: A structured documents retrieval method supporting attribute-based structure information (SKK, YCC), pp. 668–674.
SAC-2002-BordognaP #documentation #flexibility #query #web: Flexible querying of WEB documents (GB, GP), pp. 675–680.
SAC-2002-WatanabeM #order: Reordering B-tree files (SW, TM), pp. 681–686.
SAC-2002-NascimentoC #image #retrieval #using: Color-based image retrieval using binary signatures (MAN, VC), pp. 687–692.
SAC-2002-StanS: Color patterns for pictorial content description (DS, IKS), pp. 693–698.
SAC-2002-Ruch #ambiguity #information retrieval: Information retrieval and spelling correction: an inquiry into lexical disambiguation (PR), pp. 699–703.
SAC-2002-FeliciF #evolution #modelling: Limits in modelling evolving computer-based systems (MF, JKF), pp. 706–710.
SAC-2002-SujanRP #evolution: Contradictions and critical issues during system evolution (MAS, AR, AP), pp. 711–715.
SAC-2002-GurrH #modelling #requirements: Modelling organisational practice in user requirements (CAG, GH), pp. 716–720.
SAC-2002-PollockC #standard: Fitting standard software to non-standard organisations (NP, JC), pp. 721–725.
SAC-2002-DAdderio #configuration management #retrieval #reuse: Configuring software, reconfiguring memories: the influence of integrated systems on knowledge storage, retrieval and reuse (LD), pp. 726–731.
SAC-2002-BesnardL #constraints #design #identification #industrial #lessons learnt #optimisation #re-engineering #reuse: Lessons from industrial design for software engineering through constraints identification, solution space optimisation and reuse (DB, ATL), pp. 732–738.
SAC-2002-SmithH #analysis #design #reliability: Augmenting descriptive scenario analysis for improvements in human reliability design (SPS, MDH), pp. 739–743.
SAC-2002-AljarehR #collaboration #multi #network #security: A task-based security model to facilitate collaboration in trusted multi-agency networks (SA, BNR), pp. 744–749.
SAC-2002-HuangHC #adaptation #streaming: A proxy-based adaptive flow control scheme for media streaming (CMH, THH, CKC), pp. 750–754.
SAC-2002-KangY #layout #multi: Smoothed fetching: bridging the data layout and transmission schemes in multimedia servers (SK, HYY), pp. 755–760.
SAC-2002-YuB #adaptation: A mesh update requirement for hierarchical adaptive meshes in mesh-based motion tracking (AY, WMB), pp. 761–765.
SAC-2002-FuTS #algorithm #similarity: Node splitting algorithms in tree-structured high-dimensional indexes for similarity search (YF, JCT, SRS), pp. 766–770.
SAC-2002-Naharro-BerrocalPUV #reduction #visual notation #visualisation: Approaches to comprehension-preserving graphical reduction of program visualizations (FNB, CPF, JUF, JÁVI), pp. 771–777.
SAC-2002-MakLC #visualisation #web: Dynamic structuring of web information for access visualization (JYSM, HVL, ATSC), pp. 778–784.
SAC-2002-TrembilskiB: Transparency for polygon based cloud rendering (AT, AB), pp. 785–790.
SAC-2002-MartinezL #database #image: Browsing image databases with Galois’ lattices (JMM, EL), pp. 791–795.
SAC-2002-ZhangS #algorithm #implementation #parametricity #performance: An efficient implementation of parametric line and polygon clipping algorithm (MZ, CLS), pp. 796–800.
SAC-2002-KarnouskosV #email: Active electronic mail (SK, AVV), pp. 801–806.
SAC-2002-BoscDP #database #query: About possibilistic queries against possibilistic databases (PB, LD, OP), pp. 807–811.
SAC-2002-AlcalaCCHZ: Hybridizing Hierarchical and Weighted Linguistic Rules (RA, JC, OC, FH, IZ), pp. 812–816.
SAC-2002-GarcesF #analysis #behaviour #distributed: Analysis of Distributed Routing Balancing behavior (IG, DF), pp. 817–824.
SAC-2002-ShahrabiOM #communication #network: Communication delay in wormhole-routed torus networks (AS, MOK, LMM), pp. 825–829.
SAC-2002-Al-SadiDO #algorithm #fault tolerance #probability: Probability vectors: a new fault-tolerant routing algorithm for k-ary n-cubes (JAS, KD, MOK), pp. 830–834.
SAC-2002-Sarbazi-AzadO #adaptation: A simple mathematical model of adaptive routing in wormhole k-ary n-cubes (HSA, MOK), pp. 835–839.
SAC-2002-Al-DubaiOM #network #scalability #towards: Towards a scalable broadcast in wormhole-switched mesh networks (AYAD, MOK, LMM), pp. 840–844.
SAC-2002-FujimotoNHN #latency #order: Response order rearrangement on a caching proxy for reducing WWW latency (HF, TN, KH, SN), pp. 845–851.
SAC-2002-WangHTN #ad hoc #network #using: AODV compatible routing with extensive use of cache information in ad-hoc networks (WGW, TH, MT, SN), pp. 852–859.
SAC-2002-FuC #network #polynomial: Cycle embedding in faulty hierarchical cubic networks (JSF, GHC), pp. 860–864.
SAC-2002-Huang #divide and conquer #parallel #theory and practice: Grid-enabled parallel divide-and-conquer: theory and practice (CHH), pp. 865–869.
SAC-2002-MathiasCDM #architecture #distributed #heuristic #metaheuristic #named #optimisation: DEVOpT: a distributed architecture supporting heuristic and metaheuristic optimization methods (ENM, CMdC, FLD, FMM), pp. 870–875.
SAC-2002-GoumasAK #architecture #automation #code generation #parallel: Automatic code generation for executing tiled nested loops onto parallel architectures (GIG, MA, NK), pp. 876–881.
SAC-2002-StockingerH: HTTP redirection for replica catalogue lookups in data grids (HS, AH), pp. 882–889.
SAC-2002-CooperSS #parallel #semistructured data: A parallel index for semistructured data (BFC, NS, MS), pp. 890–896.
SAC-2002-MorvanH #execution #memory management #parallel #query: Dynamic memory allocation strategies for parallel query execution (FM, AH), pp. 897–901.
SAC-2002-Thissen #approach #performance: Load balancing for the management of service performance in open service markets: a customer-oriented approach (DT), pp. 902–906.
SAC-2002-TourinoBDG #analysis #clustering #performance: Performance analysis of MPI-I/O primitives on a PC cluster (JT, JB, RD, VMG), pp. 907–912.
SAC-2002-JeeP #evaluation #performance: Performance evaluation for a compressed-VLIW processor (SJ, KP), pp. 913–917.
SAC-2002-KadrovachL: A particle swarm model for swarm-based networked sensor systems (BAK, GBL), pp. 918–924.
SAC-2002-TolksdorfK #distributed #object-oriented #programming: Programming distributed systems with the delegation-based object-oriented language dSelf (RT, KK), pp. 927–931.
SAC-2002-LeeB #automation #documentation #object-oriented #requirements #specification: Automated conversion from requirements documentation to an object-oriented formal specification language (BSL, BRB), pp. 932–936.
SAC-2002-NunnD #assembly #automation #component: Automated assembly of software components based on XML-coded instructions (IN, DD), pp. 937–942.
SAC-2002-AvdicausevicMLZ #aspect-oriented: Experimental aspect-oriented language — AspectCOOL (EA, MM, ML, VZ), pp. 943–947.
SAC-2002-Leopold #locality #on the: On optimal temporal locality of stencil codes (CL), pp. 948–952.
SAC-2002-GarigipatiN #profiling #using: Evaluating the use of profiling by a region-based register allocator (KVG, CN), pp. 953–957.
SAC-2002-GarciaF #concurrent #distributed: Concurrency control for distributed cooperative engineering applications (JCG, PF), pp. 958–963.
SAC-2002-Abu-GhazalehP #execution #mobile #performance #towards #verification: Verification caching: towards efficient and secure mobile code execution environments (NBAG, DSP), pp. 964–968.
SAC-2002-RinePG #re-engineering #theory and practice: ACM SAC2002 software engineering: theory and applications (SETA) track description (DCR, JFP, JPG), pp. 969–970.
SAC-2002-HaddadT #approach #reuse: Reusable subsystems: domain-based approach (HH, HT), pp. 971–975.
SAC-2002-YoungBGL #difference #object-oriented #using: Using an object oriented model for resolving representational differences between heterogeneous systems (PY, VB, JG, L), pp. 976–983.
SAC-2002-El-Ansary #analysis #behaviour #representation #requirements #towards: Behavioral Pattern Analysis: towards a new representation of systems requirements based on actions and events (AEA), pp. 984–991.
SAC-2002-ElishRF #collaboration #learning #network: Evaluating collaborative software in supporting organizational learning with Bayesian Networks (MOE, DCR, JEF), pp. 992–996.
SAC-2002-Dandashi #automation #metric #object-oriented #reuse #set #usability #using: A method for assessing the reusability of object-oriented code using a validated set of automated measurements (FD), pp. 997–1003.
SAC-2002-Lee #modelling #requirements: Proxy Viewpoints Model-based Requirements engineering (SWL), pp. 1004–1008.
SAC-2002-Jurjens #message passing #semantics #uml: A UML statecharts semantics with message-passing (JJ), pp. 1009–1013.
SAC-2002-DascaluH #approach #specification: An approach to integrating semi-formal and formal notations in software specification (SD, PH), pp. 1014–1020.
SAC-2002-GallardoMMR #abstraction #model checking #using #xml: Using XML to implement abstraction for Model Checking (MdMG, JM, PM, ER), pp. 1021–1025.
SAC-2002-Jurjens02a #development #using: Using UMLsec and goal trees for secure systems development (JJ), pp. 1026–1030.
SAC-2002-LawsonC #metric #reliability: Investigating software measures to improve product reliability (DL, GC), pp. 1031–1035.
SAC-2002-OConnorC #comparison #process: Strategies for personal process improvement a comparison (RO, GC), pp. 1036–1040.
SAC-2002-DiazWB #documentation #problem #xml: Inter-organizational document exchange: facing the conversion problem with XML (LMD, EW, PB), pp. 1043–1047.
SAC-2002-Soderstrom #standard: Standardising the business vocabulary of standards (ES), pp. 1048–1052.
SAC-2002-Krechmer #library: Cathedrals, libraries and bazaars (KK), pp. 1053–1057.
SAC-2002-KomuraKS #named: NiceMeetVR: facing professional baseball pitchers in the virtual batting cage (TK, AK, YS), pp. 1060–1065.
SAC-2002-RoccettiGSGMPS #internet #on-demand: The structuring of a wireless internet application for a music-on-demand service on UMST devices (MR, VG, PS, AG, DM, MP, DS), pp. 1066–1073.
SAC-2002-AsaiOST: Viewpoint motion control by body position in immersive projection display (KA, NO, YYS, YT), pp. 1074–1079.
SAC-2002-CavazzaCM #interactive: Emergent situations in interactive storytelling (MC, FC, SJM), pp. 1080–1085.
SAC-2002-Vimercati #documentation #xml: An authorization model for temporal XML documents (SDCdV), pp. 1088–1093.
SAC-2002-VuorimaaRKH #java #xml: A Java based XML browser for consumer devices (PV, TR, NvK, MH), pp. 1094–1099.
SAC-2002-StojanovicSV #data-driven #migration #semantics #web: Migrating data-intensive web sites into the Semantic Web (LS, NS, RV), pp. 1100–1107.
SAC-2002-CrescenziMM #classification #web: Wrapping-oriented classification of web pages (VC, GM, PM), pp. 1108–1112.
SAC-2002-Zdun #generative #web: Dynamically generating web application fragments from page templates (UZ), pp. 1113–1120.
SAC-2002-Turau #automation #framework #generative #xml: A framework for automatic generation of web-based data entry applications based on XML (VT), pp. 1121–1126.
SAC-2002-ArdagnaF #architecture #design #web: A cost-oriented methodology for the design of web based IT architectures (DA, CF), pp. 1127–1133.
SAC-2002-LuoYT #content management: Content management on server farm with layer-7 routing (MYL, CSY, CWT), pp. 1134–1139.
SAC-2002-NakanoHSN #adaptation #delivery #web: User adaptive content delivery mechanism on the world wide web (TN, KH, SS, SN), pp. 1140–1146.
SAC-2002-WangW #approach #data mining #mining #optimisation #query #relational: Optimizing relational store for e-catalog queries: a data mining approach (MW, XSW), pp. 1147–1152.
SAC-2002-KrishnaswamyLZ #data mining #estimation #metric #mining #quality #runtime: Application run time estimation: a quality of service metric for web-based data mining services (SK, SWL, ABZ), pp. 1153–1159.
SAC-2002-Ungureanu #data access #e-commerce: An agreement centric access control mechanism for business to business e-commerce (VU), pp. 1160–1164.

Proceedings of the 17th Symposium on Applied ComputingSAC-2002, 2002.

Contents (195 items)

Proceedings of the 17th Symposium on Applied Computing
SAC-2002, 2002.