BibSLEIGH — Proceedings of the 21st Symposium on Applied Computing

Hisham Haddad
Proceedings of the 21st Symposium on Applied Computing
SAC, 2006.

@proceedings{SAC-2006,
	address       = "Dijon, France",
	editor        = "Hisham Haddad",
	isbn          = "1-59593-108-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 21st Symposium on Applied Computing}",
	year          = 2006,
}

Contents (360 items)

SAC-2006-BiD #approach: An evidential approach in ensembles (YB, WD), pp. 1–6.
SAC-2006-DjelloulD #constraints #finite #first-order #formal method #infinity: Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories (KD, TBHD), pp. 7–14.
SAC-2006-MalaquiasRC: A small-world model of the human mind (JLM, ACdR, CMBAC), pp. 15–22.
SAC-2006-WongC #adaptation #recognition: Facial emotion recognition by adaptive processing of tree structures (JJW, SYC), pp. 23–30.
SAC-2006-ArastehHS #adaptation #image #segmentation: Adaptive dynamic run-length coding for image segmentation (SA, CCH, ES), pp. 31–36.
SAC-2006-Lindgren #on the: On handling conflicts between rules with numerical features (TL), pp. 37–41.
SAC-2006-GotoC #analysis #logic: A quantitative analysis of implicational paradoxes in classical mathematical logic (YG, JC), pp. 42–43.
SAC-2006-MatsumotoYN: Cooperative active contour model and its application to remote sensing (NM, NY, SN), pp. 44–45.
SAC-2006-ZhouAL #database #image #interactive #retrieval #similarity #using: Dynamic interactive spatial similarity retrieval in iconic image databases using enhanced digraph (XMZ, CHA, TWL), pp. 46–51.
SAC-2006-HazelTVW #approach #named #scalability: TerraCost: a versatile and scalable approach to computing least-cost-path surfaces for massive grid-based terrains (TH, LT, JV, RW), pp. 52–57.
SAC-2006-AlmeidaG #algorithm #database #incremental #nearest neighbour #network #using: Using Dijkstra’s algorithm to incrementally find the k-Nearest Neighbors in spatial network databases (VTdA, RHG), pp. 58–62.
SAC-2006-SilvaTS #framework #multi #open source #web: An open source and web based framework for geographic and multidimensional processing (JdS, VCT, ACS), pp. 63–67.
SAC-2006-RaptopoulouVM #performance #query: Efficient processing of past-future spatiotemporal queries (KR, MV, YM), pp. 68–72.
SAC-2006-VenkateswaranS: Schemes for SR-Tree packing (JV, SRS), pp. 73–77.
SAC-2006-ParkSH #query: Continuous spatial queries via wireless data broadcast (KP, MS, CSH), pp. 78–82.
SAC-2006-LesbegueriesGL #information management: Geographical information access for non-structured data (JL, MG, PL), pp. 83–89.
SAC-2006-CabriFLQ: Strong agent mobility for aglets based on the IBM JikesRVM (GC, LF, LL, RQ), pp. 90–95.
SAC-2006-BadicaBG #implementation #rule-based: Implementing rule-based mechanisms for agent-based price negotiations (CB, AB, MG), pp. 96–100.
SAC-2006-Ben-AsherBE #multi: Management of unspecified semi-structured data in multi-agent environment (YBA, SB, YE), pp. 101–105.
SAC-2006-LeongL #algorithm #multi #problem: A multi-agent algorithm for vehicle routing problem with time window (HWL, ML), pp. 106–111.
SAC-2006-CarvalhoRHS #chat #interactive #interface: A chat interface for human-agent interaction in MAST (MMC, MR, JH, NS), pp. 112–118.
SAC-2006-BendaJPSC #algorithm #distributed #resource management: A distributed stand-in agent based algorithm for opportunistic resource allocation (PB, PJ, MP, NS, MMC), pp. 119–125.
SAC-2006-NguyenLL #case study #modelling #process: A space aware agent-based modeling process for the study of hierarchical complex systems (TMLN, CL, IL), pp. 126–127.
SAC-2006-FortinoGR #approach #distributed #modelling #workflow: From modeling to enactment of distributed workflows: an agent-based approach (GF, AG, WR), pp. 128–129.
SAC-2006-PaluPHL #3d #approach #constraints #logic programming #scalability: A constraint logic programming approach to 3D structure determination of large protein complexes (ADP, EP, JH, YL), pp. 131–136.
SAC-2006-Lecca #algorithm #probability #π-calculus: A time-dependent extension of gillespie algorithm for biochemical stochastic π-calculus (PL), pp. 137–144.
SAC-2006-HabichWLP #clustering #set: Two-phase clustering strategy for gene expression data sets (DH, TW, WL, CP), pp. 145–150.
SAC-2006-FassettiGT #biology #performance: Efficient discovery of loosely structured motifs in biological data (FF, GG, GT), pp. 151–155.
SAC-2006-SousaM #adaptation #biology #comparison #grid #multi #named #sequence: PackageBLAST: an adaptive multi-policy grid service for biological sequence comparison (MSS, ACMAdM), pp. 156–160.
SAC-2006-CraigL #classification #learning #using: Protein classification using transductive learning on phylogenetic profiles (RAC, LL), pp. 161–166.
SAC-2006-BiermanMPS #analysis #array #image #named: MACE: lossless compression and analysis of microarray images (RB, NM, CP, RS), pp. 167–172.
SAC-2006-ChenPSW: An integrated computational proteomics method to extract protein targets for Fanconi Anemia studies (JYC, SLP, CS, MW), pp. 173–179.
SAC-2006-ReeveHB #named #summary: BioChain: lexical chaining methods for biomedical text summarization (LHR, HH, ADB), pp. 180–184.
SAC-2006-WuH #interactive #mining #network: Mining and analyzing the topological structure of protein-protein interaction networks (DDW, XH), pp. 185–189.
SAC-2006-LangstonPSSV #data analysis: Innovative computational methods for transcriptomic data analysis (MAL, ADP, AMS, JAS, BHV), pp. 190–194.
SAC-2006-ChongL #using: An extension of dead end elimination for protein side-chain conformation using merge-decoupling (KFC, HWL), pp. 195–199.
SAC-2006-MerschmannP #approach #classification: A Bayesian approach for protein classification (LHdCM, AP), pp. 200–201.
SAC-2006-MaC #algorithm #array #data mining #mining #network #novel: A novel data mining algorithm for reconstructing gene regulatory networks from microarray data (PCHM, KCCC), pp. 202–203.
SAC-2006-McLoughlinOBW #mobile #named: MEDIC: MobilE Diagnosis for Improved Care (EM, DO, MB, DCW), pp. 204–208.
SAC-2006-SimpsonPS #health #on the: On tracker attacks in health grids (ACS, DJP, MS), pp. 209–216.
SAC-2006-FangFHT #analysis #geometry #image: Digital geometry image analysis for medical diagnosis (JF, SF, JH, MT), pp. 217–221.
SAC-2006-GacMD #2d #3d #framework #hardware #platform: Hardware/software 2D-3D backprojection on a SoPC platform (NG, SM, MD), pp. 222–228.
SAC-2006-SinghXMH #geometry #linear #locality #problem #programming #using: Solving the brachytherapy seed localization problem using geometric and linear programming techniques (VS, LM, JX, KRH), pp. 229–234.
SAC-2006-ZhouHCPB #mining: Approaches to text mining for clinical medical records (XZ, HH, IC, AP, ADB), pp. 235–239.
SAC-2006-FangLE #sequence #visualisation: Visualization of unstructured text sequences of nursing narratives (SF, ML, PRE), pp. 240–244.
SAC-2006-RodriguesSBRN #named #open source: J-Ortho: an open-source orthodontic treatment simulator (MAFR, WBS, RGB, IMMPR, MEBN), pp. 245–249.
SAC-2006-FelipeRSTT #classification #effectiveness #retrieval: Effective shape-based retrieval and classification of mammograms (JCF, MXR, EPMdS, AJMT, CTJ), pp. 250–255.
SAC-2006-RosaSHZ #collaboration #development: Development of a collaborative environment applied to pediatric oncology (ALMdR, IdAS, AYH, MKZ), pp. 256–257.
SAC-2006-FelipeTT #image #retrieval #similarity: A new similarity measure for histograms applied to content-based retrieval of medical images (JCF, AJMT, CTJ), pp. 258–259.
SAC-2006-WolfG #development #named #performance: Good/fast/cheap: contexts, relationships and professional responsibility during software development (MJW, FSG), pp. 261–266.
SAC-2006-Manders-Huits: Moral responsibility and IT for human enhancement (NMH), pp. 267–271.
SAC-2006-JohnsonM: A dialogue on responsibility, moral agency, and IT systems (DGJ, KWM), pp. 272–276.
SAC-2006-JenkinsM #algorithm #development: GIS, SINKS, FILL, and disappearing wetlands: unintended consequences in algorithm development and use (DGJ, LAM), pp. 277–282.
SAC-2006-BurmesterM #forensics: The advent of trusted computing: implications for digital forensics (MB, JM), pp. 283–287.
SAC-2006-BreedenM #internet: Investigating “Internet Crimes Against Children” (ICAC) cases in the state of Florida (BB, JM), pp. 288–292.
SAC-2006-AbbottBCVM #automation #forensics #recognition: Automated recognition of event scenarios for digital forensics (JA, JB, AJC, OYdV, GMM), pp. 293–300.
SAC-2006-LokhandeAG #identification #image #parametricity: Identification of parameters and restoration of motion blurred images (RL, KVA, PG), pp. 301–305.
SAC-2006-MeoQFU #multi #query: A multi-agent system for efficiently managing query answering in an e-government scenario (PDM, GQ, HF, DU), pp. 308–312.
SAC-2006-Fasli #on the: On the relationship between roles and power: preliminary report (MF), pp. 313–318.
SAC-2006-Cheng #information management #logic: Deontic relevant logic as the logical basis for legal information systems (JC), pp. 319–320.
SAC-2006-OsorioK #analysis #behaviour: An initial analysis and presentation of malware exhibiting swarm-like behavior (FCCO, ZK), pp. 323–329.
SAC-2006-KirdaKVJ #named: Noxes: a client-side solution for mitigating cross-site scripting attacks (EK, CK, GV, NJ), pp. 330–337.
SAC-2006-StutsmanGAG: Lost in just the translation (RS, CG, MJA, KG), pp. 338–345.
SAC-2006-HeatherS #analysis #infinity #protocol #security: To infinity and beyond or, avoiding the infinite in security protocol analysis (JH, SS), pp. 346–353.
SAC-2006-BelsisFGS #classification: SF-HME system: a hierarchical mixtures-of-experts classification system for spam filtering (PB, KF, SG, CS), pp. 354–360.
SAC-2006-ValeurVKK #web: An anomaly-driven reverse proxy for web applications (FV, GV, CK, EK), pp. 361–368.
SAC-2006-CreeseGRX #ad hoc #multi #security: Bootstrapping multi-party ad-hoc security (SC, MG, BR, MX), pp. 369–375.
SAC-2006-HuangR: Extending noninterference properties to the timed world (JH, AWR), pp. 376–383.
SAC-2006-XuC: Improving address space randomization with a dynamic offset randomization technique (HX, SJC), pp. 384–391.
SAC-2006-ZytnickiGS #consistency #csp: A new local consistency for weighted CSP dedicated to long domains (MZ, CG, TS), pp. 394–398.
SAC-2006-LucraftEA #internet: Enforcing path uniqueness in internet routing (DL, AE, FA), pp. 399–403.
SAC-2006-Kosmatov #constraints #sequence #theorem proving: A constraint solver for sequences and its applications (NK), pp. 404–408.
SAC-2006-MeerWA #bound #composition #interactive #performance: Efficient interactive configuration of unbounded modular systems (ERvdM, AW, HRA), pp. 409–414.
SAC-2006-LallouetL #consistency #constraints #satisfiability: From satisfiability to consistency through certificates: application to partially defined constraints (AL, AL), pp. 415–416.
SAC-2006-TolksdorfBN #coordination #semantics #web: A coordination model for the semantic web (RT, EPB, LJBN), pp. 419–423.
SAC-2006-Gomez-SanzP #coordination #multi #re-engineering: Defining coordination in multi-agent systems within an agent oriented software engineering methodology (JJGS, JP), pp. 424–428.
SAC-2006-BessaniFL #fault tolerance #named #tuple: BTS: a Byzantine fault-tolerant tuple space (ANB, JdSF, LCL), pp. 429–433.
SAC-2006-MameiQZ #physics #tuple: Making tuple spaces physical with RFID tags (MM, RQ, FZ), pp. 434–439.
SAC-2006-MenezesW #concept: The fading concept in tuple-space systems (RM, AW), pp. 440–444.
SAC-2006-BanatreFR #coordination #towards: Towards chemical coordination for grids (JPB, PF, YR), pp. 445–446.
SAC-2006-CaceresFOV #architecture #coordination #peer-to-peer #semantics: An abstract architecture for semantic service coordination in agent-based intelligent peer-to-peer environments (CC, AF, SO, MV), pp. 447–448.
SAC-2006-ChenC #on the #representation #transitive: On the transitive closure representation and adjustable compression (YC, DC), pp. 450–455.
SAC-2006-GauravA #fuzzy #relational #xml: Incorporating fuzziness in XML and mapping fuzzy relational data into fuzzy XML (AG, RA), pp. 456–460.
SAC-2006-DouL #database #integration #ontology #relational: Ontology-based integration for relational databases (DD, PL), pp. 461–466.
SAC-2006-CombiO #concept #modelling #xml: Conceptual modeling of XML data (CC, BO), pp. 467–473.
SAC-2006-PettovelloF #graph #named #xml #xpath: MTree: an XML XPath graph index (PMP, FF), pp. 474–481.
SAC-2006-Savinov #concept: Grouping and aggregation in the concept-oriented data model (AAS), pp. 482–486.
SAC-2006-GuoWL #database #relational: Fingerprinting relational databases (FG, JW, DL), pp. 487–492.
SAC-2006-MitrpanontF #design #development #multi: Design and development of a multiversion OLAP application (JLM, SF), pp. 493–497.
SAC-2006-LoscioCS #integration #query #xml: Query reformulation for an XML-based data integration system (BFL, TC, ACS), pp. 498–502.
SAC-2006-TsujiHH #array #multi: An extendible multidimensional array system for MOLAP (TT, AH, KH), pp. 503–510.
SAC-2006-Miyazaki #array #database #in memory #memory management: A memory subsystem with comparator arrays for main memory database operations (JM), pp. 511–512.
SAC-2006-SemghouniSAB #probability #realtime #transaction: Stochastic study of real-time transactions success ratio (SS, BS, LA, AB), pp. 513–514.
SAC-2006-Cuzzocrea #multi: An accuracy-aware compression technique for multidimensional data cubes (AC), pp. 515–516.
SAC-2006-FengQWZ #mining #query #xml: Exploit sequencing to accelerate hot XML query pattern mining (JF, QQ, JW, LZ), pp. 517–524.
SAC-2006-NorguetZS #analysis #semantics #web: Semantic analysis of web site audience (JPN, EZ, RS), pp. 525–529.
SAC-2006-BaralisG #categorisation #word: Associative text categorization exploiting negated words (EB, PG), pp. 530–535.
SAC-2006-AbidinP #classification #data mining #mining #named #nearest neighbour #performance #scalability: SMART-TV: a fast and scalable nearest neighbor based classifier for data mining (TA, WP), pp. 536–540.
SAC-2006-DextersPG #algorithm #analysis #probability: A probability analysis for candidate-based frequent itemset algorithms (ND, PWP, DVG), pp. 541–545.
SAC-2006-MitasiunaiteB #constraints #sequence #similarity: Looking for monotonicity properties of a similarity constraint on sequences (IM, JFB), pp. 546–552.
SAC-2006-PechenizkiyPT #feature model #learning #reduction: The impact of sample reduction on PCA-based feature extraction for supervised learning (MP, SP, AT), pp. 553–558.
SAC-2006-BaragliaLOSS #privacy #recommendation #web: A privacy preserving web recommender system (RB, CL, SO, MS, FS), pp. 559–563.
SAC-2006-SoaresB #kernel #parametricity #using: Selecting parameters of SVM using meta-learning and kernel matrix-based meta-features (CS, PB), pp. 564–568.
SAC-2006-DorneichNPT #database #embedded #modelling #parallel #predict #relational: Embedded predictive modeling in a parallel relational database (AD, RN, EPDP, FT), pp. 569–574.
SAC-2006-NikovskiK #induction #personalisation #recommendation: Induction of compact decision trees for personalized recommendation (DN, VK), pp. 575–581.
SAC-2006-ZamolotskikhDC #bias #classification: A methodology for comparing classifiers that allow the control of bias (AZ, SJD, PC), pp. 582–587.
SAC-2006-AtzoriBGP #towards: Towards low-perturbation anonymity preserving pattern discovery (MA, FB, FG, DP), pp. 588–592.
SAC-2006-GiannottiNPP #mining #sequence: Mining sequences with temporal annotations (FG, MN, DP, FP), pp. 593–597.
SAC-2006-SrinivasanBC #sequence: Discovery of interesting episodes in sequence data (AS, DB, SC), pp. 598–602.
SAC-2006-YuJV #kernel #privacy #using: Privacy-preserving SVM using nonlinear kernels on horizontally partitioned data (HY, XJ, JV), pp. 603–610.
SAC-2006-HorvathHW #effectiveness #graph #induction: Effective rule induction from labeled graphs (TH, SH, SW), pp. 611–616.
SAC-2006-WuGL #analysis #database #modelling #towards: Towards value disclosure analysis in modeling general databases (XW, SG, YL), pp. 617–621.
SAC-2006-GuoW #data mining #mining #on the #privacy #using: On the use of spectral filtering for privacy preserving data mining (SG, XW), pp. 622–626.
SAC-2006-SchultS #persistent #taxonomy: Expanding the taxonomies of bibliographic archives with persistent long-term themes (RS, MS), pp. 627–634.
SAC-2006-GaoCT #detection: Semi-supervised outlier detection (JG, HC, PNT), pp. 635–636.
SAC-2006-NemalhabibS #algorithm #category theory #clustering #dataset #named: CLUC: a natural clustering algorithm for categorical datasets based on cohesion (AN, NS), pp. 637–638.
SAC-2006-KornerW #evaluation #multi: Bias-free hypothesis evaluation in multirelational domains (CK, SW), pp. 639–640.
SAC-2006-SousaTTF #data type #evolution: Evaluating the intrinsic dimension of evolving data streams (EPMdS, AJMT, CTJ, CF), pp. 643–648.
SAC-2006-GaberY #approach #clustering #data type #framework #information management #resource management: A framework for resource-aware knowledge discovery in data streams: a holistic approach with its application to clustering (MMG, PSY), pp. 649–656.
SAC-2006-Ferrer-TroyanoAS #classification #data type #incremental #learning: Data streams classification by incremental rule learning with parameterized generalization (FJFT, JSAR, JCRS), pp. 657–661.
SAC-2006-GamaP #data mining #data type #mining: Discretization from data streams: applications to histograms and data mining (JG, CP), pp. 662–667.
SAC-2006-BonnetEV #ad hoc #mobile #network #using: Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts (FB, PDE, EV), pp. 670–674.
SAC-2006-KeidarM #peer-to-peer: Evaluating unstructured peer-to-peer lookup overlays (IK, RM), pp. 675–679.
SAC-2006-FilhoRR #coordination #exception #verification: Verification of coordinated exception handling (FCF, AR, CMFR), pp. 680–685.
SAC-2006-SousaNV #architecture: Proactive resilience through architectural hybridization (PS, NFN, PV), pp. 686–690.
SAC-2006-RuttiWS #abstraction #implementation #interface #protocol: Service interface: a new abstraction for implementing and composing protocols (OR, PTW, AS), pp. 691–696.
SAC-2006-ItoOMK #adaptation #network #peer-to-peer #reliability #retrieval: An adaptive index allocation scheme for reliable data retrieval and provision in peer-to-peer networks (AI, TO, KM, YK), pp. 697–704.
SAC-2006-ChenJUY #detection #distributed #fault #monitoring: Combining supervised and unsupervised monitoring for fault detection in distributed computing systems (HC, GJ, CU, KY), pp. 705–709.
SAC-2006-AsplundN #consistency #maintenance #protocol: Post-partition reconciliation protocols for maintaining consistency (MA, SNT), pp. 710–717.
SAC-2006-GeihsKRSHM #adaptation #component #distributed #modelling: Modeling of component-based adaptive distributed applications (KG, MUK, RR, AS, SOH, SM), pp. 718–722.
SAC-2006-RodriguesMC #delivery #order: From spontaneous total order to uniform total order: different degrees of optimistic delivery (LR, JM, NC), pp. 723–727.
SAC-2006-OliveiraPCA #clustering #database #equivalence: Revisiting 1-copy equivalence in clustered databases (RCO, JP, ACJ, EA), pp. 728–732.
SAC-2006-MikalsenPFSPC #adaptation #distributed #middleware: Distributed context management in a mobility and adaptation enabling middleware (MADAM) (MM, NP, JF, ES, GAP, AC), pp. 733–734.
SAC-2006-BelguidoumD #analysis #component #dependence #deployment: Analysis of deployment dependencies in software components (MB, FD), pp. 735–736.
SAC-2006-ShankaranBSBLMD #component #distributed #embedded #framework #realtime: A framework for (re)deploying components in distributed real-time and embedded systems (NS, JB, DCS, GB, PJL, EM, TD), pp. 737–738.
SAC-2006-HeDZ #estimation #grid #modelling #parametricity #scalability: Service-oriented grid computation for large-scale parameter estimation in complex environmental modeling (KH, SD, LZ), pp. 741–745.
SAC-2006-LastovetskyRH #functional #performance: Building the functional performance model of a processor (ALL, RR, RH), pp. 746–753.
SAC-2006-LiV #community #grid #resource management #semantics: Grid resource discovery based on semantic P2P communities (JL, STV), pp. 754–758.
SAC-2006-PanAHSY #named #network: FCAN: Flash Crowds Alleviation Network (CP, MA, MBH, TS, NY), pp. 759–765.
SAC-2006-BellurB #distributed #named #tuple #web #web service #xml: xSpace: a tuple space for XML & its application in orchestration of web services (UB, SB), pp. 766–772.
SAC-2006-GuesmiR #design #embedded #implementation #realtime: Design and implementation of a real-time notification service within the context of embedded ORB and the CAN bus (TG, HR), pp. 773–777.
SAC-2006-SicardPH #replication #scalability: J2EE server scalability through EJB replication (SS, NDP, DH), pp. 778–785.
SAC-2006-MeyerAWMF #grid #performance #workflow: Planning spatial workflows to optimize grid performance (LAVCM, JA, MW, MM, ITF), pp. 786–790.
SAC-2006-LeongG #policy: Improving the performances of proxy cache replacement policies by considering infrequent objects (HWL, BG), pp. 791–796.
SAC-2006-YangYCW #grid #implementation #performance: Implementation of a dynamic adjustment mechanism with efficient replica selection in data grid environments (CTY, IHY, CHC, SYW), pp. 797–804.
SAC-2006-ShiJQ #named #towards: ALTER: first step towards dependable grids (XS, HJ, WQ), pp. 805–806.
SAC-2006-PhilippePBBH #approach #black box #web: A black-box approach for web application SLA (JP, NDP, SB, FB, DH), pp. 807–808.
SAC-2006-GiannettiFTNRC #performance: High performance XSL-FO rendering for variable data printing (FG, LGF, RT, TN, MR, MBC), pp. 811–817.
SAC-2006-GomesSS #web: Managing duplicates in a web archive (DG, ALS, MJS), pp. 818–825.
SAC-2006-CombarroMRD #categorisation #feature model #metric: Angular measures for feature selection in text categorization (EFC, EM, JR, ID), pp. 826–830.
SAC-2006-XingMXV #classification #documentation #edit distance #xml: Computing edit distances between an XML document and a schema and its application in document classification (GX, CRM, ZX, SDV), pp. 831–835.
SAC-2006-CavalinBBSO #recognition #string: An implicit segmentation-based method for recognition of handwritten strings of characters (PRC, AdSBJ, FB, RS, LESdO), pp. 836–840.
SAC-2006-MandalCDC #detection #documentation #image #segmentation: Detection and segmentation of tables and math-zones from document images (SM, SPC, AKD, BC), pp. 841–846.
SAC-2006-NevesCFB #knowledge base: A new table interpretation methodology with little knowledge base: table interpretation methodology (LAPN, JMdC, JF, FB), pp. 847–852.
SAC-2006-SilvaLR #documentation: Binarizing and filtering historical documents with back-to-front interference (JMMdS, RDL, VCdR), pp. 853–858.
SAC-2006-ArtemenkoMSW #documentation #evaluation #identification #multi: Evaluation of a language identification system for mono- and multilingual text documents (OA, TM, MS, CWH), pp. 859–860.
SAC-2006-MontanesCRD #categorisation #feature model #linear #metric: Finding optimal linear measures for feature selection in text categorization (EM, EFC, JR, ID), pp. 861–862.
SAC-2006-LinsR #image #network: Comparisons of file formats for image transmission through networks (RDL, CR), pp. 863–864.
SAC-2006-TsengCL #e-commerce #mining #navigation #personalisation #predict: Mining and prediction of temporal navigation patterns for personalized services in e-commerce (VST, JCC, KWL), pp. 867–871.
SAC-2006-AimeurBFO #privacy: Privacy-preserving demographic filtering (EA, GB, JMF, FSMO), pp. 872–878.
SAC-2006-RuizCCP #algebra #analysis #concurrent #e-commerce #process #protocol #set #using: Analysis of the SET e-commerce protocol using a true concurrency process algebra (MCR, DC, FC, JJP), pp. 879–886.
SAC-2006-TsvetinovUC #ranking: Dominance and ranking issues applying interval techniques in pre-negotiations for services (PET, AU, TC), pp. 887–888.
SAC-2006-Lo #protocol #smt: Data sharing protocols for SMT processors (SWL), pp. 891–895.
SAC-2006-WuKC #file system #memory management #performance: Efficient initialization and crash recovery for log-based file systems over flash memory (CHW, TWK, LPC), pp. 896–900.
SAC-2006-DelavalR #domain-specific language #generative #synthesis: A domain-specific language for task handlers generation, applying discrete controller synthesis (GD, ÉR), pp. 901–905.
SAC-2006-AgostaCPS #analysis #bytecode #compilation #performance: Selective compilation via fast code analysis and bytecode tracing (GA, SCR, PP, MS), pp. 906–911.
SAC-2006-LiH #concurrent #multi #thread: A concurrent reactive Esterel processor based on multi-threading (XL, RvH), pp. 912–917.
SAC-2006-ChoRJ #embedded #on the #realtime #scheduling: On utility accrual processor scheduling with wait-free synchronization for embedded real-time software (HC, BR, EDJ), pp. 918–922.
SAC-2006-HuangKP: QoS support for IEEE-1394 requests (CYH, TWK, ACP), pp. 923–927.
SAC-2006-DerisB #embedded #predict: Branchless cycle prediction for embedded processors (KJD, AB), pp. 928–932.
SAC-2006-WuRJ #bound #embedded #energy #on the #realtime: On bounding energy consumption in dynamic, embedded real-time systems (HW, BR, EDJ), pp. 933–934.
SAC-2006-PisupatiB #file system #framework #network: File system framework for organizing sensor networks (BP, GB), pp. 935–936.
SAC-2006-NooriM #adaptation #embedded #evaluation #performance: Preliminary performance evaluation of an adaptive dynamic extensible processor for embedded applications (HN, KM), pp. 937–938.
SAC-2006-YangU #adaptation #algorithm #correlation #search-based: Adaptive mutation with fitness and allele distribution correlation for genetic algorithms (SY, SU), pp. 940–944.
SAC-2006-CutelloNO #algorithm #analysis #heuristic: Analysis of an evolutionary algorithm with HyperMacromutation and stop at first constructive mutation heuristic for solving trap functions (VC, GN, PSO), pp. 945–949.
SAC-2006-CutelloNP #algorithm #hybrid #optimisation #using: Real coded clonal selection algorithm for unconstrained global optimization using a hybrid inversely proportional hypermutation operator (VC, GN, MP), pp. 950–954.
SAC-2006-Oltean #multi #named #problem: A-Brain: the multiple problems solver (MO), pp. 955–959.
SAC-2006-DuranX #algorithm #scheduling #search-based: The effects of two replacement strategies on a genetic algorithm for scheduling jobs on computational grids (BD, FX), pp. 960–961.
SAC-2006-YaoJ #algorithm: NFP-based nesting algorithm for irregular shapes (LHY, HYJ), pp. 963–967.
SAC-2006-PavonDL #constraints #geometry #problem #theorem proving: An adjustment model in a geometric constraint solving problem (RP, FD, MVL), pp. 968–973.
SAC-2006-WintzSM #constraints #framework #geometry #problem: A framework for geometric constraint satisfaction problem (JW, PS, PM), pp. 974–978.
SAC-2006-ZhangG #composition #constraints #geometry #graph #theorem proving: Spatial geometric constraint solving based on k-connected graph decomposition (GFZ, XSG), pp. 979–983.
SAC-2006-Roth #detection #mobile: Detecting identifiable areas in mobile environments (JR), pp. 986–991.
SAC-2006-Parsons #api: Extending the location API for J2ME to support friend finder services (DP), pp. 992–996.
SAC-2006-KramerMH #case study #elicitation #mobile #using: Field study on methods for elicitation of preferences using a mobile digital assistant for a dynamic tour guide (RK, MM, KtH), pp. 997–1001.
SAC-2006-RodriguesBM #3d #interactive #mobile #visualisation: Interactive Mobile 3D Graphics for on-the-go visualization and walkthroughs (MAFR, RGB, NCM), pp. 1002–1007.
SAC-2006-ZhangKCADZW #personalisation #visualisation: Personalization and visualization on handheld devices (DZ, GK, ZC, BA, LD, ZZ, YW), pp. 1008–1012.
SAC-2006-SharminAA #adaptation #middleware #resource management #self #usability #using: Ubicomp assistant: an omnipresent customizable service using MARKS (middleware adaptability for resource discovery, knowledge usability and self-healing) (MS, SA, SIA), pp. 1013–1017.
SAC-2006-ChenSC #algorithm #evaluation #query: Tree inclusion algorithm, signatures and evaluation of path-oriented queries (YC, YS, YC), pp. 1020–1025.
SAC-2006-WangPLR #collaboration #distributed #peer-to-peer: Distributed collaborative filtering for peer-to-peer file sharing systems (JW, JAP, RLL, MJTR), pp. 1026–1030.
SAC-2006-Savoy: Light stemming approaches for the French, Portuguese, German and Hungarian languages (JS), pp. 1031–1035.
SAC-2006-JacquenetL #documentation #using: Using the structure of documents to improve the discovery of unexpected information (FJ, CL), pp. 1036–1042.
SAC-2006-PirkolaTKJ #named #quality #word: FITE-TRT: a high quality translation technique for OOV words (AP, JT, HK, KJ), pp. 1043–1049.
SAC-2006-HijikataIN #music: Content-based music filtering system with editable user profile (YH, KI, SN), pp. 1050–1057.
SAC-2006-GeraciPPS #algorithm #clustering #scalability #web: A scalable algorithm for high-quality clustering of web snippets (FG, MP, PP, FS), pp. 1058–1062.
SAC-2006-AgostiFO #automation #graph #image: Graph-based automatic suggestion of relationships among images of illuminated manuscripts (MA, NF, NO), pp. 1063–1067.
SAC-2006-SzlavikTL #interactive #retrieval #summary #using #xml: Investigating the use of summarisation for interactive XML retrieval (ZS, AT, ML), pp. 1068–1072.
SAC-2006-TailbyDMS #automation #classification #email: Email classification for automated service handling (RT, RD, BM, DS), pp. 1073–1077.
SAC-2006-RendaS #automation #distributed #library #query: Automatic structured query transformation over distributed digital libraries (MER, US), pp. 1078–1083.
SAC-2006-PetrakisKVM #feedback #image #retrieval #web: Relevance feedback methods for logo and trademark image retrieval on the web (EGMP, KK, EV, EEM), pp. 1084–1088.
SAC-2006-KassabL #approach #information management: An innovative approach to intelligent information filtering (RK, JCL), pp. 1089–1093.
SAC-2006-ChenYL #detection #scalability: Template detection for large scale search engines (LC, SY, XL), pp. 1094–1098.
SAC-2006-WuD #ranking #web: Undue influence: eliminating the impact of link plagiarism on web search rankings (BW, BDD), pp. 1099–1104.
SAC-2006-BergerMD #categorisation #email #set: Exploiting partial decision trees for feature subset selection in e-mail categorization (HB, DM, MD), pp. 1105–1109.
SAC-2006-BaillieAC #evaluation #metric #quality: An evaluation of resource description quality measures (MB, LA, FC), pp. 1110–1111.
SAC-2006-KenscheSB #documentation #framework #monitoring #named #web: MonA: an extensible framework for web document monitoring (DK, CS, AB), pp. 1112–1113.
SAC-2006-SauvagnatHB #question #retrieval #using #what #xml: XML retrieval: what about using contextual relevance? (KS, LH, MB), pp. 1114–1115.
SAC-2006-ZankerG #recommendation: Recommendation-based browsing assistance for corporate knowledge portals (MZ, SG), pp. 1116–1117.
SAC-2006-ShapiraTM: Study of the usefulness of known and new implicit indicators and their optimal combination for accurate inference of users interests (BS, MTM, AM), pp. 1118–1119.
SAC-2006-MadhukarA #adaptation #database #energy #mobile #performance: An adaptive energy efficient cache invalidation scheme for mobile databases (AM, RA), pp. 1122–1126.
SAC-2006-Nakajima #how #interactive #question #reuse #ubiquitous: How to reuse exisiting interactive applications in ubiquitous computing environments? (TN), pp. 1127–1133.
SAC-2006-AhmedKL #algorithm #design #implementation #network: Design and implementation of a context-aware decision algorithm for heterogeneous networks (TA, KK, ML), pp. 1134–1138.
SAC-2006-PhanTB #benchmark #metric #mobile #performance #protocol: A benchmark on soap’s transport protocols performance for mobile applications (TKAP, ZT, PB), pp. 1139–1144.
SAC-2006-SaC #education #process: Handheld devices for cooperative educational activities (MdS, LC), pp. 1145–1149.
SAC-2006-Yu #nondeterminism: A spatiotemporal uncertainty model of degree 1.5 for continuously changing data objects (BY), pp. 1150–1155.
SAC-2006-LeeYKKK #ad hoc #distributed #mobile #network: Distributed IPv6 addressing technique for mobile ad-hoc networks (DL, JY, HK, KK, KK), pp. 1156–1160.
SAC-2006-ZhaiLL #data access #mobile #statistics #streaming: Statistical buffering for streaming media data access in a mobile environment (JZ, XL, QL), pp. 1161–1165.
SAC-2006-ForteSP #classification #internet: A content classification and filtering server for the internet (MF, WLdS, AFdP), pp. 1166–1171.
SAC-2006-YoussefAA #mobile #privacy #semantics: Semantically enhanced enforcement of mobile consumer’s privacy preferences (MY, NRA, VA), pp. 1172–1176.
SAC-2006-HungHHC #scheduling: Scheduling dependent items in data broadcasting environments (HPH, JWH, JLH, MSC), pp. 1177–1181.
SAC-2006-DoyleB #effectiveness #interactive #mobile #speech: Combining speech and pen input for effective interaction in mobile geospatial environments (JD, MB), pp. 1182–1183.
SAC-2006-DamianiB #architecture #data access: Architectural issues for a location-aware role-based access control system (MLD, EB), pp. 1184–1185.
SAC-2006-BezivinPV #model transformation: Special track on model transformation (MT 2006) (JB, AP, AV), pp. 1186–1187.
SAC-2006-JouaultK #architecture #atl #on the #qvt: On the architectural alignment of ATL and QVT (FJ, IK), pp. 1188–1195.
SAC-2006-CabotT #approach #constraints #ocl: Transforming OCL constraints: a context change approach (JC, ET), pp. 1196–1201.
SAC-2006-KurtevBJ #atl #composition #evaluation #model transformation #rule-based #transformation language: Evaluation of rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 1202–1209.
SAC-2006-StraetenD #consistency #nondeterminism #refactoring #rule-based: Model refactorings through rule-based inconsistency resolution (RVDS, MD), pp. 1210–1217.
SAC-2006-CortellessaMI #architecture #modelling #performance: Software performance model-driven architecture (VC, ADM, PI), pp. 1218–1223.
SAC-2006-GuelfiM #diagrams #framework #process #specification #uml: A formal framework to generate XPDL specifications from UML activity diagrams (NG, AM), pp. 1224–1231.
SAC-2006-CaceresCVM #hypermedia #information management #model transformation #modelling #web: Model transformations for hypertext modeling on web information systems (PC, VdC, JMV, EM), pp. 1232–1239.
SAC-2006-TibermacineFS #architecture #constraints: Simplifying transformation of software architecture constraints (CT, RF, SS), pp. 1240–1244.
SAC-2006-KacemKJD #architecture #uml #using: Describing dynamic software architectures using an extended UML model (MHK, AHK, MJ, KD), pp. 1245–1249.
SAC-2006-KatsimpaPSTT #modelling #reverse engineering #using: Application modeling using reverse engineering techniques (TK, YP, ES, GT, AKT), pp. 1250–1255.
SAC-2006-CicchettiRP #data-driven #development #modelling #weaving #web: Weaving concerns in model based development of data-intensive web applications (AC, DDR, AP), pp. 1256–1261.
SAC-2006-MendlingMN #modelling #process: Transformation of yEPC business process models to YAWL (JM, MM, GN), pp. 1262–1266.
SAC-2006-AlanenLP #diagrams #model transformation: Reconciling diagrams after executing model transformations (MA, TL, IP), pp. 1267–1272.
SAC-2006-DobrzanskiK #approach #execution #modelling #refactoring #uml: An approach to refactoring of executable UML models (LD, LK), pp. 1273–1279.
SAC-2006-BaloghV #framework #model transformation #transformation language: Advanced model transformation language constructs in the VIATRA2 framework (AB, DV), pp. 1280–1287.
SAC-2006-BaloghVVP #compilation #model transformation #plugin: Compiling model transformations to EJB3-specific transformer plugins (AB, GV, DV, AP), pp. 1288–1295.
SAC-2006-Tratt #model transformation #transformation language: The MT model transformation language (LT), pp. 1296–1303.
SAC-2006-PaigeKP #action semantics #semantics: An action semantics for MOF 2.0 (RFP, DSK, FP), pp. 1304–1305.
SAC-2006-CazzolaCP #modelling #towards: Towards a model-driven join point model (WC, AC, AP), pp. 1306–1307.
SAC-2006-CasallasVAL #enterprise #execution #modelling #named #simulation: xEAI-rules: executable models to simulate enterprise application cooperation (RC, MV, CA, NL), pp. 1308–1309.
SAC-2006-ErshovNM #architecture #precise: Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures (AE, AN, SM), pp. 1310–1317.
SAC-2006-DinechinLM #using #verification: Assisted verification of elementary functions using Gappa (FdD, CQL, GM), pp. 1318–1322.
SAC-2006-GraillatLL #multi: Improving the compensated Horner scheme with a fused multiply and add (SG, PL, NL), pp. 1323–1327.
SAC-2006-BoldoM #evaluation: Provably faithful evaluation of polynomials (SB, CM), pp. 1328–1332.
SAC-2006-SabharwalZ #multi #visualisation: MultiMedia and visualization track (CLS, MZ), pp. 1333–1334.
SAC-2006-ParkCS #search-based #visual notation: Visual exploration of genetic likelihood space (JWP, JFC, AMS), pp. 1335–1340.
SAC-2006-CalagnaGMJ #robust: A robust watermarking system based on SVD compression (MC, HG, LVM, SJ), pp. 1341–1347.
SAC-2006-AgiusA #case study #experience #user interface: MPEG-7 in action: end user experiences with COSMOS-7 front end systems (HWA, MCA), pp. 1348–1355.
SAC-2006-FangG #bound #dataset: Boundary surface extraction and rendering for volume datasets (SF, PG), pp. 1356–1360.
SAC-2006-KitayamaS #evaluation #video: An evaluation system for news video streams and blogs (DK, KS), pp. 1361–1368.
SAC-2006-RouguiRAGM #documentation #modelling #retrieval #scalability #set: Hierarchical organization of a set of Gaussian mixture speaker models for scaling up indexing and retrieval in audio documents (JER, MR, DA, MG, JMM), pp. 1369–1373.
SAC-2006-BertolottiGS #adaptation #documentation #multi: Dynamic context adaptation in multimedia documents (PB, OG, MLS), pp. 1374–1379.
SAC-2006-EliasEC #consistency #multi: Dynamic consistency checking for temporal and spatial relations in multimedia presentations (SE, KSE, RC), pp. 1380–1384.
SAC-2006-SansL #hypermedia #inheritance #navigation: Navigating with inheritance in hypermedia presentations (VS, DL), pp. 1385–1392.
SAC-2006-LiuHVY #feedback #performance #scalability: Efficient target search with relevance feedback for large CBIR systems (DL, KAH, KV, NY), pp. 1393–1397.
SAC-2006-FelipeMBTT #distance #image #interactive: Comparing images with distance functions based on attribute interaction (JCF, PMAM, AGRB, CTJ, AJMT), pp. 1398–1399.
SAC-2006-HadiET #clustering #summary #video: Video summarization by k-medoid clustering (YH, FE, ROHT), pp. 1400–1401.
SAC-2006-SteimannMM #interface: Decoupling classes with inferred interfaces (FS, PM, AM), pp. 1404–1408.
SAC-2006-PuppinS #java #network #social: The social network of Java classes (DP, FS), pp. 1409–1413.
SAC-2006-BaldoniBT #java #named #object-oriented #programming language: powerJava: ontologically founded roles in object oriented programming languages (MB, GB, LWNvdT), pp. 1414–1418.
SAC-2006-WangS #analysis: Escape analysis for synchronization removal (LW, XS), pp. 1419–1423.
SAC-2006-Beugnard #assembly #component #empirical #encapsulation: Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components (AB), pp. 1424–1428.
SAC-2006-LagorioZ #java: Introducing safe unknown types in Java-like languages (GL, EZ), pp. 1429–1434.
SAC-2006-IgarashiN #object-oriented #programming: Union types for object-oriented programming (AI, HN), pp. 1435–1441.
SAC-2006-Sridhar #component: Dynamic instantiation-checking components (NS), pp. 1442–1446.
SAC-2006-Bellur #consistency #object-oriented #on the #using #workflow: On using OO techniques to establish workflow conformance (UB), pp. 1447–1448.
SAC-2006-LuHS #algorithm #precise #realtime #scheduling: A precise schedulability test algorithm for scheduling periodic tasks in real-time systems (WCL, JWH, WKS), pp. 1451–1455.
SAC-2006-AhnOS #framework #reliability #towards: Towards reliable OSGi framework and applications (HA, HO, COS), pp. 1456–1461.
SAC-2006-Chang #embedded #scalability #scheduling: Event-driven scheduling for dynamic workload scaling in uniprocessor embedded systems (LPC), pp. 1462–1466.
SAC-2006-CorreaZS #multi #operating system: Operating system multilevel load balancing (MC, AFZ, RS), pp. 1467–1471.
SAC-2006-YiHCH #adaptation #incremental: Adaptive page-level incremental checkpointing based on expected recovery time (SY, JH, YC, JH), pp. 1472–1476.
SAC-2006-ChoiBS #design #implementation #kernel #linux #programming #robust: Design and implementation of a kernel resource protector for robustness of Linux module programming (JC, SB, SYS), pp. 1477–1481.
SAC-2006-KwonCC #grid #tool support: Light-weight service-oriented grid application toolkit (SK, JC, KC), pp. 1482–1486.
SAC-2006-MuhammadMA #communication #scheduling: Contentions-conscious dynamic but deterministic scheduling of computational and communication tasks (MF, FM, MA), pp. 1487–1492.
SAC-2006-HeoCJK #incremental: The overhead model of word-level and page-level incremental checkpointing (JH, YC, GJ, HK), pp. 1493–1494.
SAC-2006-CoxBRT #framework #requirements: A contingency view of organizational infrastructure requirements engineering (KC, SJB, PR, AT), pp. 1497–1504.
SAC-2006-MendlingRRA #generative: Generating correct EPCs from configured C-EPCs (JM, JR, MR, WMPvdA), pp. 1505–1510.
SAC-2006-MussigmannA #network #rating: Supplier network management: evaluating and rating of strategic supply networks (NM, AA), pp. 1511–1515.
SAC-2006-Bollen #concept #enterprise #information management #process: Conceptual process configurations in enterprise knowledge management systems (PB), pp. 1516–1523.
SAC-2006-ThomasHT #model management #towards: Towards a reference model management system for business engineering (OT, MH, MT), pp. 1524–1531.
SAC-2006-ListK #concept #evaluation #modelling #process: An evaluation of conceptual business process modelling languages (BL, BK), pp. 1532–1539.
SAC-2006-Rowlands #development #social: The user as social actor: a focus on systems development methodology enactment (BHR), pp. 1540–1545.
SAC-2006-LeistZ #architecture #evaluation #framework: Evaluation of current architecture frameworks (SL, GZ), pp. 1546–1553.
SAC-2006-IfinedoN #enterprise #metric #resource management: Prioritization of enterprise resource planning (ERP) systems success measures: viewpoints of two organizational stakeholder groups (PI, NN), pp. 1554–1560.
SAC-2006-WinterS #design #modelling #perspective: Reference modeling and method construction: a design science perspective (RW, JS), pp. 1561–1562.
SAC-2006-LokkuN #approach #constraints: Morphogenetic constraint-satisfaction based approach for organizational engineering (DSL, KVN), pp. 1563–1564.
SAC-2006-CaetanoT #modelling #process: Modeling organizational actors and business processes (AC, JMT), pp. 1565–1566.
SAC-2006-AguilarRGP #evaluation #metric #modelling #process: Evaluation measures for business process models (ERA, FR, FG, MP), pp. 1567–1568.
SAC-2006-MaiaMFCS #grid #process: A process for separation of crosscutting grid concerns (PHMM, NCM, VF, WC, KBS), pp. 1569–1574.
SAC-2006-HanenbergAU #aspect-oriented: Aspect-specification based on structural type information (SH, MAM, RU), pp. 1575–1579.
SAC-2006-WelchL #policy #security: Policy-driven reflective enforcement of security policies (IW, FL), pp. 1580–1584.
SAC-2006-WuBGRM #compilation #development #using: Separation of concerns in compiler development using aspect-orientation (XW, BRB, JGG, SR, MM), pp. 1585–1590.
SAC-2006-PappalardoT #automation #design pattern: Automatically discovering design patterns and assessing concern separations for applications (GP, ET), pp. 1591–1596.
SAC-2006-PerezNLR #aspect-oriented #modelling #visual notation: Graphical modelling for aspect oriented SA (JP, EN, PL, IR), pp. 1597–1598.
SAC-2006-Gutierrez-NolascoVT #interactive #protocol #semantics: A semantic model for safe protocol interaction (SGN, NV, CLT), pp. 1599–1600.
SAC-2006-GiegerichS #challenge #compilation #domain-specific language #programming: Challenges in the compilation of a domain specific language for dynamic programming (RG, PS), pp. 1603–1609.
SAC-2006-LejdforsO #embedded #generative #gpu #implementation: Implementing an embedded GPU language by combining translation and generation (CL, LO), pp. 1610–1614.
SAC-2006-FabryD #aspect-oriented #kernel #named #transaction: KALA: Kernel Aspect language for advanced transactions (JF, TD), pp. 1615–1620.
SAC-2006-SasitornC #java #performance #virtual machine: Efficient first-class generics on stock Java virtual machines (JS, RC), pp. 1621–1628.
SAC-2006-LinsS #component #evolution #interface: Supporting transparent evolution of component interfaces (EPL, UPS), pp. 1629–1630.
SAC-2006-DubeyJA #keyword #source code: A deterministic technique for extracting keyword based grammar rules from programs (AD, PJ, SKA), pp. 1631–1632.
SAC-2006-AltLM #linear #on the #probability #problem #using: On the numerical solution to linear problems using stochastic arithmetic (RA, JLL, SM), pp. 1635–1639.
SAC-2006-DantsinWK #algorithm #constraints #problem #quantum #towards: Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems (ED, AW, VK), pp. 1640–1644.
SAC-2006-OrshanskyWCX #analysis #robust #statistics: Interval-based robust statistical techniques for non-negative convex functions, with application to timing analysis of computer chips (MO, WSW, MC, GX), pp. 1645–1649.
SAC-2006-Goldsztejn #algorithm #approximate #branch #set: A branch and prune algorithm for the approximation of non-linear AE-solution sets (AG), pp. 1650–1654.
SAC-2006-GraillatL #pseudo #set: Pseudozero set of interval polynomials (SG, PL), pp. 1655–1659.
SAC-2006-GrandonG #approximate #constraints #distance #parametricity #quantifier: Inner approximation of distance constraints with existential quantification of parameters (CG, AG), pp. 1660–1661.
SAC-2006-Kerrigan #execution #web #web service: Web service selection mechanisms in the Web Service Execution Environment (WSMX) (MK), pp. 1664–1668.
SAC-2006-JinNCY #information retrieval #performance #query #semantics: Efficient query routing for information retrieval in semantic overlays (HJ, XN, HC, ZY), pp. 1669–1673.
SAC-2006-WangTTY #approach #identification #multi: An approach for identifying attribute correspondences in multilingual schemas (HW, ST, YT, DY), pp. 1674–1678.
SAC-2006-LamparterS: Trading services in ontology-driven markets (SL, BS), pp. 1679–1683.
SAC-2006-BernsteinK #ontology #retrieval #similarity #towards #using: Imprecise RDQL: towards generic retrieval in ontologies using similarity joins (AB, CK), pp. 1684–1689.
SAC-2006-SilveiraSNDF #component #named #repository #representation: X-ARM: an asset representation model for component repository systems (GEdS, MS, YN, JDJ, SMF), pp. 1690–1694.
SAC-2006-dAmatoFE #concept #difference: A dissimilarity measure for ALC concept descriptions (Cd, NF, FE), pp. 1695–1699.
SAC-2006-YanJHP #information retrieval #semantics: Semantic-based information retrieval of biomedical data (PY, YJ, ARH, TEP), pp. 1700–1704.
SAC-2006-Gilman #industrial: Dynamic service discovery and mediation in the insurance industry (JG), pp. 1705–1706.
SAC-2006-BianchiniAM #hybrid #ontology: Hybrid ontology-based matchmaking for service discovery (DB, VDA, MM), pp. 1707–1708.
SAC-2006-NoiaSCTD #framework #image #retrieval #semantics: A framework for content-based image retrieval fully exploiting the semantics of annotation (TDN, EDS, FdC, ET, FMD), pp. 1709–1710.
SAC-2006-AdvaniHC #open source #refactoring #roadmap: Extracting refactoring trends from open-source software and a possible solution to the “related refactoring” conundrum (DA, YH, SC), pp. 1713–1720.
SAC-2006-ReynosoGPM #comprehension #ocl #question: Does object coupling really affect the understanding and modifying of OCL expressions? (LR, MG, MP, MEM), pp. 1721–1727.
SAC-2006-WongZC #metric #modelling #statistics: Applying statistical methodology to optimize and simplify software metric models with missing data (WEW, JZ, VKYC), pp. 1728–1733.
SAC-2006-SchiavoniQ #architecture #component #programming #tool support: A posteriori defensive programming: an annotation toolkit for DoS-resistant component-based architectures (VS, VQ), pp. 1734–1738.
SAC-2006-DattaE #analysis #requirements #workflow: Effects of changing requirements: a tracking mechanism for the analysis workflow (SD, RvE), pp. 1739–1744.
SAC-2006-KhemakhemDJ #component #development #named: SEC: a search engine for component based software development (SK, KD, MJ), pp. 1745–1750.
SAC-2006-BastideSO #adaptation #component: Adapting software components by structure fragmentation (GB, AS, MO), pp. 1751–1758.
SAC-2006-SriplakichBG #automation #distributed #integration #tool support: Supporting transparent model update in distributed CASE tool integration (PS, XB, MPG), pp. 1759–1766.
SAC-2006-CanforaC #development #open source: Supporting change request assignment in open source development (GC, LC), pp. 1767–1772.
SAC-2006-Wang #case study #domain-specific language #modelling: Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study (BYW), pp. 1773–1778.
SAC-2006-TylerHS #automation #contract #generative #monitoring: Automated generation of monitors for pattern contracts (BT, JOH, NS), pp. 1779–1784.
SAC-2006-ColomboPR #architecture #formal method #modelling #realtime #uml: A UML 2-compatible language and tool for formal modeling real-time system architectures (PC, MP, MR), pp. 1785–1790.
SAC-2006-ChenJH #detection #fault #generative #multi #sequence #testing: A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences (KC, FJ, CdH), pp. 1791–1797.
SAC-2006-ColletOR #behaviour #component #on the: On contracting different behavioral properties in component-based systems (PC, AO, NR), pp. 1798–1799.
SAC-2006-NasrBFI #automaton #specification #verification: Verification of a scheduler in B through a timed automata specification (ON, JPB, MF, MRI), pp. 1800–1801.
SAC-2006-MorimotoSGC #security #specification #standard #verification: A security specification verification technique based on the international standard ISO/IEC 15408 (SM, SS, YG, JC), pp. 1802–1803.
SAC-2006-MalgouyresM #approach #consistency #formal method #metamodelling #uml #verification: A UML model consistency verification approach based on meta-modeling formalization (HM, GM), pp. 1804–1809.
SAC-2006-JaghooriMS #model checking #named: Modere: the model-checking engine of Rebeca (MMJ, AM, MS), pp. 1810–1815.
SAC-2006-Xing #strict: Enhancing program verifications by restricting object types (CCX), pp. 1816–1821.
SAC-2006-Zanardini #bytecode #java: Abstract non-interference in a fragment of Java bytecode (DZ), pp. 1822–1826.
SAC-2006-Capron #bound #static analysis: Static analysis of time bounded reactive properties of Boolean symbols (GC), pp. 1827–1834.
SAC-2006-BurdyP #bytecode #java #specification #verification: Java bytecode specification and verification (LB, MP), pp. 1835–1839.
SAC-2006-FekihAM #diagrams #specification #state machine #uml: Transformation of B specifications into UML class diagrams and state machines (HF, LJBA, SM), pp. 1840–1844.
SAC-2006-Poernomo: The meta-object facility typed (IP), pp. 1845–1849.
SAC-2006-JiangWC #symmetry: Symmetry in event structures (JJ, JW, DC), pp. 1850–1851.
SAC-2006-ChengCW #analysis #composition #named #scalability: ARCATS: a scalable compositional analysis tool suite (YPC, YRC, HYW), pp. 1852–1853.
SAC-2006-WengMG #collaboration #metric #trust: Improving collaborative filtering with trust-based metrics (JW, CM, AG), pp. 1860–1864.
SAC-2006-HessSS #documentation #personalisation #recommendation: Trust-enhanced visibility for personalized document recommendations (CH, KS, CS), pp. 1865–1869.
SAC-2006-QuerciaLHCB #named #trust: STRUDEL: supporting trust in the dynamic establishment of peering coalitions (DQ, ML, SH, LC, SB), pp. 1870–1874.
SAC-2006-BenevenutoCVAAM: Impact of peer incentives on the dissemination of polluted content (FB, CPC, MAV, VA, JMA, MM), pp. 1875–1879.
SAC-2006-ZuoP #evaluation #trust: Information trustworthiness evaluation based on trust combination (YZ, BP), pp. 1880–1885.
SAC-2006-SherchanLK #fuzzy #reasoning #web #web service: A fuzzy model for reasoning about reputation in web services (WS, SWL, SK), pp. 1886–1892.
SAC-2006-KotsovinosW #named #scalability #trust: BambooTrust: practical scalable trust management for global public computing (EK, AW), pp. 1893–1897.
SAC-2006-RothF #information management #recommendation: Trust-decisions on the base of maximal information of recommended direct-trust (UR, VF), pp. 1898–1901.
SAC-2006-KranzHS #ubiquitous: Ubiquitous presence systems (MK, PH, AS), pp. 1902–1909.
SAC-2006-LamLC #named #query #ubiquitous: BBQ: group-based querying in a ubiquitous environment (GHKL, HVL, SCfC), pp. 1910–1914.
SAC-2006-PellegrinoBC: Domotic house gateway (PP, DB, FC), pp. 1915–1920.
SAC-2006-BodhuinCPT #complexity #physics: Hiding complexity and heterogeneity of the physical world in smart living environments (TB, GC, RP, MT), pp. 1921–1927.
SAC-2006-SchmidtT #design #development #guidelines #ubiquitous: Methods and guidelines for the design and development of domestic ubiquitous computing applications (AS, LT), pp. 1928–1929.

Hisham HaddadProceedings of the 21st Symposium on Applied ComputingSAC, 2006.

Contents (360 items)

Hisham Haddad
Proceedings of the 21st Symposium on Applied Computing
SAC, 2006.