BibSLEIGH — Proceedings of the 27th Symposium on Applied Computing

Sascha Ossowski, Paola Lecca
Proceedings of the 27th Symposium on Applied Computing
SAC, 2012.

@proceedings{SAC-2012,
	acmid         = "2245276",
	address       = "Trento, Italy",
	editor        = "Sascha Ossowski and Paola Lecca",
	isbn          = "978-1-4503-0857-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 27th Symposium on Applied Computing}",
	year          = 2012,
}

Contents (346 items)

SAC-2012-MaruhashiTT #identification #using: A method for identification of moving objects by integrative use of a camera and accelerometers (NM, TT, MT), pp. 1–6.
SAC-2012-Tzouramanis #fresh look #named: History-independence: a fresh look at the case of R-trees (TT), pp. 7–12.
SAC-2012-MatosMC #database #representation: Representation and management of spatiotemporal data in object-relational databases (LM, JM, AC), pp. 13–20.
SAC-2012-BoulilaEFS #adaptation #approach #database #image #predict: High level adaptive fusion approach: application to land cover change prediction in satellite image databases (WB, KSE, IRF, BS), pp. 21–22.
SAC-2012-PozzaniC #named #query #sql: ST4SQL: a spatio-temporal query language dealing with granularities (GP, CC), pp. 23–25.
SAC-2012-OongI #classification #fuzzy #learning #multi #performance #testing: Multilayer Fuzzy ARTMAP: fast learning and fast testing for pattern classification (THO, NAMI), pp. 27–32.
SAC-2012-LiuHHYS #multi #performance: An application of circumscribed circle filter in the Multi-Stencils Fast Marching method (HL, CCH, HH, MY, ES), pp. 33–38.
SAC-2012-YuHJSLH #novel #programming #segmentation: A novel segmentation method for convex lesions based on dynamic programming with local intra-class variance (MY, QH, RJ, ES, HL, CCH), pp. 39–44.
SAC-2012-CunhaSAP #summary #video: Rushes video summarization based on spatio-temporal features (TOC, FGHdS, AdAA, GLP), pp. 45–50.
SAC-2012-CarvalhoSG #adaptation #fuzzy #segmentation #using: Texture fuzzy segmentation using adaptive affinity functions (BMC, TSS, EG), pp. 51–53.
SAC-2012-ChenZD #algorithm #effectiveness #search-based #segmentation #using: Effective radical segmentation of offline handwritten Chinese characters by using an enhanced snake model and Genetic Algorithm (ZC, BZ, SD), pp. 54–55.
SAC-2012-CentenoA #algorithm #approach #clustering #image: Clustering approach algorithm for image interpolation (TMC, MTA), pp. 56–57.
SAC-2012-CombiP #complexity #on the #workflow: On the complexity of temporal controllabilities for workflow schemata (CC, RP), pp. 60–66.
SAC-2012-Skubch #constraints #realtime: Solving non-linear arithmetic constraints in soft realtime environments (HS), pp. 67–73.
SAC-2012-HeFP #constraints: Solution neighbourhoods for constraint-directed local search (JH, PF, JP), pp. 74–79.
SAC-2012-ManciniFP #combinator #constraints #database #problem #relational #synthesis: Combinatorial problem solving over relational databases: view synthesis through constraint-based local search (TM, PF, JP), pp. 80–87.
SAC-2012-AristizabalBVP #refinement #similarity: Partition refinement for bisimilarity in CCP (AA, FB, FDV, LFP), pp. 88–93.
SAC-2012-ZhaoHWA #constraints #diagrams #difference #equation #polynomial: Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints (TZ, HH, DW, PA), pp. 94–101.
SAC-2012-MathisSI #composition #constraints #geometry: Decomposition of geometrical constraint systems with reparameterization (PM, PS, RI), pp. 102–108.
SAC-2012-EmirisMM #algorithm #diagrams: Yet another algorithm for generalized Voronoï Diagrams (IZE, AM, BM), pp. 109–110.
SAC-2012-IencoPPT #automation #taxonomy #towards: Towards an automatic construction of Contextual Attribute-Value Taxonomies (DI, YP, PP, MT), pp. 113–118.
SAC-2012-MetivierBCKL #constraints #declarative: A constraint language for declarative pattern discovery (JPM, PB, BC, MK, SL), pp. 119–125.
SAC-2012-PedreschiRT #case study #metric: A study of top-k measures for discrimination discovery (DP, SR, FT), pp. 126–131.
SAC-2012-LangohrT #mining: A model for mining relevant and non-redundant information (LL, HT), pp. 132–137.
SAC-2012-ChenGZG #metric #network #similarity #using: Discovering missing links in networks using vertex similarity measures (HHC, LG, X(Z, CLG), pp. 138–143.
SAC-2012-HuMB #clustering #documentation: Semi-supervised document clustering with dual supervision through seeding (YH, EEM, JB), pp. 144–151.
SAC-2012-DiamantiniPS #mining #repository #workflow: Mining usage patterns from a repository of scientific workflows (CD, DP, ES), pp. 152–157.
SAC-2012-SchluterC #correlation #detection #markov #modelling #predict #using: Hidden markov model-based time series prediction using motifs for detecting inter-time-serial correlations (TS, SC), pp. 158–164.
SAC-2012-SeelandBKP: Maximum Common Subgraph based locally weighted regression (MS, FB, SK, BP), pp. 165–172.
SAC-2012-WangZHHZWT #mining #mobile #recommendation: Context-aware role mining for mobile service recommendation (JW, CZ, CH, LH, LZ, RKW, JT), pp. 173–178.
SAC-2012-WickerPK #classification #composition #matrix #multi #using: Multi-label classification using boolean matrix decomposition (JW, BP, SK), pp. 179–186.
SAC-2012-KuttyCN #modelling #recommendation #using: A people-to-people recommendation system using tensor space models (SK, LC, RN), pp. 187–192.
SAC-2012-MatsubaraMYUIK #algorithm #named #performance #re-engineering: CCDR-PAID: more efficient cache-conscious PAID algorithm by data reconstruction (YM, JM, GY, YU, SI, HK), pp. 193–198.
SAC-2012-LeungS #constraints #mining: A new class of constraints for constrained frequent pattern mining (CKSL, LS), pp. 199–204.
SAC-2012-Kawamae #sentiment: Joint sentiment aspect model (NK), pp. 205–210.
SAC-2012-WangTWWG #algorithm #behaviour #empirical #evaluation #mining #process: An empirical evaluation of process mining algorithms based on structural and behavioral similarities (JW, ST, LW, RKW, QG), pp. 211–213.
SAC-2012-ChenNX #collaboration #recommendation: A common neighbour based two-way collaborative recommendation method (LC, RN, YX), pp. 214–215.
SAC-2012-NogueiraJR #clustering: Hierarchical confidence-based active clustering (BMN, AMJ, SOR), pp. 216–219.
SAC-2012-NeumannC #algorithm #estimation: Introducing intervention targeting into estimation of distribution algorithms (GN, DC), pp. 220–225.
SAC-2012-Pizzuti #algorithm #community #composition #detection #search-based: Boosting the detection of modular community structure with genetic algorithms and local search (CP), pp. 226–231.
SAC-2012-BoumazaB #collaboration #probability: Stochastic search for global neighbors selection in collaborative filtering (AMB, AB), pp. 232–237.
SAC-2012-ChoeYYR #algorithm #automation #realtime #scheduling #search-based #using: Real-time scheduling of twin stacking cranes in an automated container terminal using a genetic algorithm (RC, HY, YY, KRR), pp. 238–243.
SAC-2012-MengHO #algorithm #analysis #search-based: Analysis of a triploid genetic algorithm over deceptive landscapes (LM, SH, CO), pp. 244–249.
SAC-2012-CerriBC #algorithm #classification #multi #search-based: A genetic algorithm for Hierarchical Multi-Label Classification (RC, RCB, ACPLFdC), pp. 250–255.
SAC-2012-ElsayedAR #challenge #modelling: Artificial Immune Systems: Models, Applications, and challenges (SAME, RAA, SR), pp. 256–258.
SAC-2012-ChiwiacowskyGMVG #algorithm #search-based: A two-level procedure based on genetic algorithms to optimize an aeronautical composite structure (LDC, PG, RM, HFdCV, ATG), pp. 259–260.
SAC-2012-SousaC #framework #modelling #named #open source #symbolic computation: SageRobotics: open source framework for symbolic computation of robot models (CDS, RC), pp. 262–267.
SAC-2012-WornIH #multi: Multi-fingered reactive grasping with active guided camera systems (HW, SI, TH), pp. 268–273.
SAC-2012-SenarathneW #approach #coordination #multi: A two-level approach for multi-robot coordinated exploration of unstructured environments (PGCNS, DW), pp. 274–279.
SAC-2012-SouzaPEMOW #navigation #network #using: Vision and GPS-based autonomous vehicle navigation using templates and artificial neural networks (JRS, GP, GBE, CCTM, FSO, DFW), pp. 280–285.
SAC-2012-PereiraR #architecture #simulation: An integrated architecture for autonomous vehicles simulation (JLFP, RJFR), pp. 286–292.
SAC-2012-HornfeckZL #health #interactive #monitoring #named: Philos: a sociable robot for human robot interactions and wireless health monitoring (KH, YZ, KL), pp. 293–294.
SAC-2012-ViroliPMS #coordination #ecosystem #modelling #pervasive #semantics: Pervasive ecosystems: a coordination model based on semantic chemistry (MV, DP, SM, GS), pp. 295–302.
SAC-2012-HopRFH #ontology #using #visualisation: Using Hierarchical Edge Bundles to visualize complex ontologies in GLOW (WH, SdR, FF, FH), pp. 304–311.
SAC-2012-KaneiwaN #knowledge base #ontology: Sorted hyper-predicate knowledge bases for ontologies and rules (KK, PHPN), pp. 312–319.
SAC-2012-YanZM #data type #fuzzy #logic: f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group (LY, FZ, ZMM), pp. 320–325.
SAC-2012-DrumondRS #information management #knowledge base #predict #rdf: Predicting RDF triples in incomplete knowledge bases with tensor factorization (LD, SR, LST), pp. 326–331.
SAC-2012-ZankerJS #personalisation #web: Harnessing geo-tagged resources for Web personalization (MZ, MJ, MS), pp. 332–339.
SAC-2012-Martinez-PrietoFC #rdf: Compression of RDF dictionaries (MAMP, JDF, RC), pp. 340–347.
SAC-2012-CalhauF #configuration management #integration #ontology #semantics: A Configuration Management task ontology for semantic integration (RFC, RdAF), pp. 348–353.
SAC-2012-SoLJHL: Extending Open Directory Project to represent user interests (SS, JHL, DJ, JH, SL), pp. 354–359.
SAC-2012-BrylTGS #novel #semantics #web: A novel Framenet-based resource for the semantic web (VB, ST, CG, LS), pp. 360–365.
SAC-2012-DietzeYGKDT #education #web: Linked education: interlinking educational resources and the Web of data (SD, HQY, DG, EK, ND, DT), pp. 366–371.
SAC-2012-AbdullahRTN #performance #using: Efficient matching of SPARQL subscriptions using rete (HA, MR, ST, EN), pp. 372–377.
SAC-2012-MinervinidF #concept #learning #logic #probability: Learning probabilistic Description logic concepts: under different Assumptions on missing knowledge (PM, Cd, NF), pp. 378–383.
SAC-2012-FreitasCO #approach #linked data #open data #semantics #web: A distributional approach for terminological semantic search on the Linked Data Web (AF, EC, SO), pp. 384–391.
SAC-2012-ChunM #health #integration #semantics #social #using #web: Social health data integration using semantic Web (SAC, BM), pp. 392–397.
SAC-2012-MascardiL #algorithm #named #ontology: BOwL: exploiting Boolean operators and lesk algorithm for linking ontologies (VM, AL), pp. 398–400.
SAC-2012-GuidaraCF #approach #semantics: Intention based semantic approach for service sourcing (IG, TC, KF), pp. 401–402.
SAC-2012-MirizziNSR #recommendation #semantics #web: Web 3.0 in action: Vector Space Model for semantic (movie) Recommendations (RM, TDN, EDS, AR), pp. 403–405.
SAC-2012-ItaniGBKC: BGP-inspired autonomic service routing for the cloud (WI, CG, RB, AIK, AC), pp. 406–411.
SAC-2012-BabaogluMT #design #implementation: Design and implementation of a P2P Cloud system (ÖB, MM, MT), pp. 412–417.
SAC-2012-TruyenCWVBGDJ #as a service #programming: Context-oriented programming for customizable SaaS applications (ET, NC, SW, JV, EB, SG, TD, WJ), pp. 418–425.
SAC-2012-OSullivanWL #design #integer #using: Designing data storage tier using Integer Programing (MJO, CGW, DL), pp. 426–433.
SAC-2012-LeitnerSHID #middleware #named #novel #scalability: CloudScale: a novel middleware for building transparently scaling cloud applications (PL, BS, WH, CI, SD), pp. 434–440.
SAC-2012-NgWZ #protocol: Private data deduplication protocols in cloud storage (WKN, YW, HZ), pp. 441–446.
SAC-2012-BasuVDK #case study #collaboration #performance #privacy: Feasibility of a privacy preserving collaborative filtering scheme on the Google App Engine: a performance case study (AB, JV, TD, HK), pp. 447–452.
SAC-2012-ParadiesMSKS #in the cloud #semistructured data: Entity matching for semistructured data in the Cloud (MP, SM, JS, SK, KUS), pp. 453–458.
SAC-2012-KhucSRR #analysis #distributed #scalability #sentiment #towards #twitter: Towards building large-scale distributed systems for twitter sentiment analysis (VNK, CS, RR, JR), pp. 459–464.
SAC-2012-ShinWC #distributed #framework #in the cloud: A policy-based decentralized authorization management framework for cloud computing (DS, YW, WC), pp. 465–470.
SAC-2012-ScandurraRPMC #adaptation #coordination #framework #optimisation #resource management: A layered coordination framework for optimizing resource allocation in adapting cloud-based applications (PS, CR, PP, RM, RC), pp. 471–472.
SAC-2012-MoretBATMF #validation: Double dip map-reduce for processing cross validation jobs (DM, KB, EA, JT, RM, JVF), pp. 473–477.
SAC-2012-AtifMO #detection #verification: Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems (MA, MRM, AO), pp. 478–485.
SAC-2012-ParraRMRDS #adaptation #constraints #optimisation #self #using #variability: Using constraint-based optimization and variability to support continuous self-adaptation (CAP, DR, SM, RR, LD, LS), pp. 486–491.
SAC-2012-DixitMC #adaptation #performance: Timeout-based adaptive consensus: improving performance through adaptation (MD, HM, AC), pp. 492–497.
SAC-2012-RahmanA #authentication #named #network #protocol #robust: DRAP: a Robust Authentication protocol to ensure survivability of computational RFID networks (FR, SIA), pp. 498–503.
SAC-2012-InzingerSHLD #adaptation #optimisation #policy: Non-intrusive policy optimization for dependable and adaptive service-oriented systems (CI, BS, WH, PL, SD), pp. 504–510.
SAC-2012-ReisM #fault tolerance #named: FTRMI: fault-tolerant transparent RMI (DR, HMM), pp. 511–518.
SAC-2012-RahmanOMCA #development #mobile: Let EcoDrive be your guide: development of a mobile tool to reduce carbon footprint and promote green transport (FR, CO, KM, JC, SIA), pp. 519–524.
SAC-2012-MaiaFFCAT #framework #mobile #social: Framework for building intelligent mobile social applications (MEFM, JBFF, CABdQF, RC, RMCA, FT), pp. 525–530.
SAC-2012-WeiWRR #artificial reality #challenge #framework: Examining the practical challenges of an Augmented Reality cyber-infrastructure framework (CW, CNW, RR, JR), pp. 531–536.
SAC-2012-LeeOKC: Grid-based cloaking area creation scheme supporting continuous location-based services (HL, BSO, HIK, JWC), pp. 537–543.
SAC-2012-AhnC #algorithm #locality #multi: A sensor network-based multiple acoustic source localization algorithm (JA, HC), pp. 544–549.
SAC-2012-HuangHYY #algorithm #approximate #correlation #network: An in-network approximate data gathering algorithm exploiting spatial correlation in wireless sensor networks (CCH, JLH, JAY, LYY), pp. 550–555.
SAC-2012-MoraisC #ad hoc #detection #distributed #network: A distributed intrusion detection scheme for wireless ad hoc networks (ANPM, ARC), pp. 556–562.
SAC-2012-HuH #network: A density-aware routing scheme in delay tolerant networks (CLH, BJH), pp. 563–568.
SAC-2012-ObaidAMS #database #execution #mobile #query: Query execution on a mobile database system (AO, AMA, HM, NS), pp. 569–571.
SAC-2012-YinC #interactive #mobile #named #open source: MobiSpatial: open source for mobile spatial interaction (JY, JDC), pp. 572–573.
SAC-2012-PaivaPR #mobile: Topological inference through mobile devices (MAP, MP, RJFR), pp. 574–575.
SAC-2012-Kim #multi #optimisation #realtime #reliability #towards: Towards optimizing the reliability of real-time transmission in multi-hop wireless LANs (JK), pp. 577–582.
SAC-2012-WinterB: Explicitly accommodating origin preference for inter-domain traffic engineering (RW, IvB), pp. 583–587.
SAC-2012-DavoliG #api #multi #named #stack: msocket: multiple stack support for the berkeley socket API (RD, MG), pp. 588–593.
SAC-2012-MahdianGTM #smarttech #using: Location based routing using smartphones in an infrastructureless environment (AM, HG, ST, SM), pp. 594–599.
SAC-2012-AbusubaihRAS #performance: Performance of MIMO 802.11n in heterogeneous deployments (MA, MR, MA, FS), pp. 600–604.
SAC-2012-TeymooriKY #fault tolerance #network #realtime: A real-time data aggregation method for fault-tolerant wireless sensor networks (PT, MK, NY), pp. 605–612.
SAC-2012-GreyRS #automation: Automatic creation of VPN backup paths for improved resilience against BGP-attackers (MG, MR, GS), pp. 613–620.
SAC-2012-MakanjuZML #clustering #composition #detection #identification: Spatio-temporal decomposition, clustering and identification for alert detection in system logs (AM, ANZH, EEM, ML), pp. 621–628.
SAC-2012-DeriTMV #monitoring #towards: Towards a passive DNS monitoring system (LD, LLT, MM, DV), pp. 629–630.
SAC-2012-SwainCNB #analysis #markov #performance #using: Performance analysis of IEEE 802.11 IBSS power save mode using a discrete-time markov model (PS, SC, SN, PB), pp. 631–633.
SAC-2012-SalomoniMPM #named #protocol: S2S: a peer to peer protocol for participative sensing (PS, LAM, GP, MM), pp. 634–635.
SAC-2012-CosciaCMZ #approach #development #web #web service: An approach to improve code-first web services discoverability at development time (JLOC, MC, CM, AZ), pp. 638–643.
SAC-2012-HsiehC #social: Finding similar items by leveraging social tag clouds (CCH, JC), pp. 644–651.
SAC-2012-HeinrichG #standard #web: Data binding for standard-based web applications (MH, MG), pp. 652–657.
SAC-2012-BarabucciPPV #approach #semantics: Embedding semantic annotations within texts: the FRETTA approach (GB, SP, FP, FV), pp. 658–663.
SAC-2012-MajchrzakS #agile #development #testing #using #web: Using spring Roo for the test-driven development of Web applications (TAM, AS), pp. 664–671.
SAC-2012-VerheijKFVH #framework #query #ranking: Querying and ranking news items in the hermes framework (AV, AK, FF, DV, FH), pp. 672–679.
SAC-2012-ShatnawiM #online #overview #personalisation #statistics: Statistical techniques for online personalized advertising: a survey (MS, NM), pp. 680–687.
SAC-2012-LaineSV: Extending XForms with server-side functionality (ML, DS, PV), pp. 688–695.
SAC-2012-FerreiraLMCFL #crawling #framework #named: RetriBlog: a framework for creating blog crawlers (RF, RL, JM, EC, FLGdF, HPLL), pp. 696–701.
SAC-2012-LibermanL #approximate: Approximately optimal facet selection (SL, RL), pp. 702–708.
SAC-2012-VasconcelosB #automation #evaluation #towards #web: Towards an automatic evaluation of web applications (LGdV, LABJ), pp. 709–716.
SAC-2012-BookGB #continuation #web: Process-aware continuation management in web applications (MB, VG, MB), pp. 717–724.
SAC-2012-LocoroMS #collaboration #evolution #ontology #validation: Evolving and validating annotations in web-based collaborative environments through ontology matching (AL, VM, AMS), pp. 725–727.
SAC-2012-NunesCM #learning #network #similarity #social: Resolving user identities over social networks through supervised learning and rich similarity features (AN, PC, BM), pp. 728–729.
SAC-2012-AhmadiJR #evaluation #game studies #performance: Performance evaluation of user-created open-web games (NA, MJ, AR), pp. 730–732.
SAC-2012-EynardIG: Finding similar destinations with flickr geotags (DE, AI, LG), pp. 733–736.
SAC-2012-FanS #automation #collaboration #dependence #programming #realtime #semantics: Dependency-based automatic locking for semantic conflict prevention in real-time collaborative programming (HF, CS), pp. 737–742.
SAC-2012-CasadoTY #reliability #testing #transaction #web #web service: Testing the reliability of web services transactions in cooperative applications (RC, JT, MY), pp. 743–748.
SAC-2012-SalehSRDBB #design #distributed #problem: Mechanism design for decentralized vehicle routing problem (MS, AS, SR, MD, JB, AB), pp. 749–754.
SAC-2012-KorahSS #framework #multi #realtime #scalability: Multi-agent framework for real-time processing of large and dynamic search spaces (JK, EES, ESJ), pp. 755–762.
SAC-2012-RajeDFRR #data access #implementation #ontology #using: Using ontology-based methods for implementing role-based access control in cooperative systems (SR, CD, MF, RR, JR), pp. 763–764.
SAC-2012-WauteletHK #ontology #representation: An ontological basis for resource representation (YW, SH, MK), pp. 765–766.
SAC-2012-SuLT #documentation #image: Restoration of motion blurred document images (BS, SL, CLT), pp. 767–770.
SAC-2012-RibasOBS #algorithm #segmentation: Assessing handwitten digit segmentation algorithms (FR, LSO, AdSBJ, RS), pp. 772–776.
SAC-2012-HasegawaT #distance #invariant #using: Affine invariant shape matching using radon transform and dynamic time warping distance (MH, ST), pp. 777–781.
SAC-2012-BaralisCJF #multi #summary: Multi-document summarization exploiting frequent itemsets (EB, LC, SJ, AF), pp. 782–786.
SAC-2012-MatthaiouK #documentation #information management: An information extraction system from patient historical documents (EM, EK), pp. 787–791.
SAC-2012-KokaANSY #graph #grid: Row manipulation in the heterogeneous tabular forms with a hexadecimal grid graph model (SK, KA, KN, YS, TY), pp. 792–793.
SAC-2012-KosinaG #multi #performance #problem: Very Fast Decision Rules for multi-class problems (PK, JG), pp. 795–800.
SAC-2012-FischerMK #data type #realtime #visual notation: Real-time visual analytics for event data streams (FF, FM, DAK), pp. 801–806.
SAC-2012-ZimmermannNSSK: Discovering global and local bursts in a stream of news (MZ, IN, ZFS, MS, HPK), pp. 807–812.
SAC-2012-PetitLR #data type #query: Revisiting formal ordering in data stream querying (LP, CL, CR), pp. 813–818.
SAC-2012-FlorezD #interactive #process #video: Discovering activity interactions in a single pass over a video stream (OUF, CED), pp. 819–826.
SAC-2012-GuccioneCAMM #clustering #network: Trend cluster based interpolation everywhere in a sensor network (PG, AC, AA, DM, AM), pp. 827–828.
SAC-2012-FariaBGC #algorithm #clustering #data type: Improving the offline clustering stage of data stream algorithms in scenarios with variable number of clusters (ERF, RCB, JG, ACPLFC), pp. 829–830.
SAC-2012-NunesARTCS #analysis #data type: To be or not to be real: fractal analysis of data streams from a regional climate change model (SAN, AMHdÁ, LASR, AJMT, PPC, EPMdS), pp. 831–832.
SAC-2012-OtaMSA #dependence #flexibility #functional #named: C-Mapping: a flexible XML-RDB mapping method based on functional and inclusion dependencies (SO, AM, NS, TA), pp. 834–839.
SAC-2012-BelohlavekV #database #semantics #similarity: Attribute implications in similarity-based databases: semantic entailment and nonredundant bases (RB, VV), pp. 840–846.
SAC-2012-SioutasPKT #named #network #probability #query: SART: dynamic P2P query processing in sensor networks with probabilistic guarantees (SS, AP, IK, DT), pp. 847–852.
SAC-2012-SakkopoulosPSTPS #deployment #distributed #framework #named: DREAM: a distributed fRamework for customized dEployment of a vAriety of indexing engines over million-node overlays (ES, AP, SS, DT, GP, AS), pp. 853–858.
SAC-2012-KarakasidisV: Reference table based k-anonymous private blocking (AK, VSV), pp. 859–864.
SAC-2012-BollatiAMV #case study #model management #modelling: Model Management Systems vs. Model Driven Engineering: a case study (VAB, PA, EM, JMV), pp. 865–872.
SAC-2012-FazackerleyML #database #gpu: GPU accelerated AES-CBC for database applications (SF, SMM, RL), pp. 873–878.
SAC-2012-ShahidPO #bound: Minimum bounding boxes for regular cross-polytopes (SS, SP, CBO), pp. 879–884.
SAC-2012-TriaLT #approximate #evaluation #metric #query: Metrics for approximate query engine evaluation (FDT, EL, FT), pp. 885–887.
SAC-2012-SalemBD #framework #xml: An Active XML-based framework for integrating complex data (RS, OB, JD), pp. 888–892.
SAC-2012-MorelliALMM: Autonomous re-indexing (ETM, ACA, SL, JMM, JCM), pp. 893–897.
SAC-2012-BlankH #information retrieval #metric #multi #performance: Inverted file-based indexing for efficient multimedia information retrieval in metric spaces (DB, AH), pp. 900–905.
SAC-2012-BenreguiaK #consistency #graph #morphism #problem: A consistency rule for graph isomorphism problem (BB, HK), pp. 906–911.
SAC-2012-ChengZQ #detection #fine-grained #topic: Fine-grained topic detection in news search results (JC, JZ, SQ), pp. 912–917.
SAC-2012-EgginkAB #case study #classification: A pilot study for mood-based classification of TV programmes (JE, PA, DB), pp. 918–922.
SAC-2012-LageDD #effectiveness #microblog #recommendation #towards: Towards effective group recommendations for microblogging users (RL, FAD, PD), pp. 923–928.
SAC-2012-HuMB12a #clustering #documentation: Enhancing semi-supervised document clustering with feature supervision (YH, EEM, JB), pp. 929–936.
SAC-2012-GriffithOS #collaboration #predict #rating: Investigations into user rating information and predictive accuracy in a collaborative filtering domain (JG, CO, HS), pp. 937–942.
SAC-2012-JabeurTB #microblog #network #retrieval #twitter: Uprising microblogs: a bayesian network retrieval model for tweet search (LBJ, LT, MB), pp. 943–948.
SAC-2012-KamieHK #clustering #effectiveness #using #video #web: Effective web video clustering using playlist information (MK, TH, HK), pp. 949–956.
SAC-2012-TrabelsiMY #folksonomy #markov #modelling #named #recommendation: HMM-CARe: Hidden Markov Models for context-aware tag recommendation in folksonomies (CT, BM, SBY), pp. 957–961.
SAC-2012-GranitzerHJK #comparison #crowdsourcing #data transformation #metadata: A comparison of metadata extraction techniques for crowdsourced bibliographic metadata management (MG, MH, KJ, RK), pp. 962–964.
SAC-2012-Hosokawa #generative: Corpus-based place metadatabase generation for geocoding (YH), pp. 965–967.
SAC-2012-MaggiorePBA #3d #compilation #performance #safety: A compilation technique to increase X3D performance and safety (GM, FP, MB, MA), pp. 969–974.
SAC-2012-ManzatoG #multi #recommendation: A multimedia recommender system based on enriched user profiles (MGM, RG), pp. 975–980.
SAC-2012-ErraS #3d #towards #visualisation: Towards the visualization of software systems as 3D forests: the CodeTrees environment (UE, GS), pp. 981–988.
SAC-2012-GomiI #3d #dataset #image #mobile #multi #named: MINI: a 3D mobile image browser with multi-dimensional datasets (AG, TI), pp. 989–996.
SAC-2012-AlencarBPO #documentation #visualisation: Time-aware visualization of document collections (ABA, KB, FVP, MCFdO), pp. 997–1004.
SAC-2012-ZingarelliAG #named: RevGlyph: a technique for reverting anaglyph stereoscopic videos (MRUZ, LAdA, RG), pp. 1005–1011.
SAC-2012-AvalhaisSRT #difference #image #retrieval #search-based: Image retrieval employing genetic dissimilarity weighting and feature space transformation functions (LPSA, SFdS, JFRJ, AJMT), pp. 1012–1017.
SAC-2012-GomesP #analysis #interactive #social: A media-based social interactions analysis procedure (AKG, MdGCP), pp. 1018–1024.
SAC-2012-LiuSW #towards #visual notation: Toward a visual pedometer (DL, QS, DW), pp. 1025–1027.
SAC-2012-KangJC #3d #scalability #using #video: Scalable depth map coding for 3D video using contour information (JK, HJ, KC), pp. 1028–1029.
SAC-2012-HuangHL #algorithm #framework: Evaluating force-directed algorithms with a new framework (MLH, WH, CCL), pp. 1030–1032.
SAC-2012-SardinhaYNR #aspect-oriented #identification #named #traceability: EA-tracer: identifying traceability links between code aspects and early aspects (AS, YY, NN, AR), pp. 1035–1042.
SAC-2012-FerrariGT #approach #clustering #requirements #specification: A clustering-based approach for discovering flaws in requirements specifications (AF, SG, GT), pp. 1043–1050.
SAC-2012-ChanvilaiHNTO #approach #constraints #diagrams #ocl: Goal-oriented approach to creating class diagrams with OCL constraints (SC, KH, HN, YT, AO), pp. 1051–1056.
SAC-2012-TsadimasNA #design #information management #non-functional #requirements: Extending SysML to explore non-functional requirements: the case of information system design (AT, MN, DA), pp. 1057–1062.
SAC-2012-ScandurraAYD #case study #functional #modelling #requirements #state machine #validation: Functional requirements validation by transforming use case models into Abstract State Machines (PS, AA, TY, MD), pp. 1063–1068.
SAC-2012-ShinC #comparative #evaluation #feedback #requirements #retrieval: A comparative evaluation of two user feedback techniques for requirements trace retrieval (YS, JCH), pp. 1069–1074.
SAC-2012-SouzaMGTM #monitoring #requirements: Monitoring strategic goals in data warehouses with awareness requirements (VESS, JNM, IG, JT, JM), pp. 1075–1082.
SAC-2012-LemosADR #requirements: A systematic mapping study on creativity in requirements engineering (JL, CFA, LD, GNR), pp. 1083–1088.
SAC-2012-JafarinezhadR #process #requirements #towards: Towards a process factory for developing situational requirements engineering processes (OJ, RR), pp. 1089–1090.
SAC-2012-TiwariG #case study #validation: Statechart-based use case requirement validation of event-driven systems (ST, AG), pp. 1091–1093.
SAC-2012-Perez-CastilloGPW #repository: Integrating event logs into KDM repositories (RPC, IGRdG, MP, BW), pp. 1095–1102.
SAC-2012-SchaadB #analysis #automation #named: TAM²: automated threat analysis (AS, MB), pp. 1103–1108.
SAC-2012-LavazzaMTT #empirical #java #open source #reliability #source code: An empirical investigation of perceived reliability of open source Java programs (LL, SM, DT, DT), pp. 1109–1114.
SAC-2012-AmericoRD #framework #java #platform #realtime: Managing the dynamism of the OSGi Service Platform in real-time Java applications (JCA, WR, DD), pp. 1115–1122.
SAC-2012-NathML #classification #fault #on the #testing: On the improvement of a fault classification scheme with implications for white-box testing (SKN, RM, MFL), pp. 1123–1130.
SAC-2012-FerreiraBMCLF #architecture #crawling #framework: An architecture-centered framework for developing blog crawlers (RF, PHdSB, JM, EC, RL, FLGdF), pp. 1131–1136.
SAC-2012-AnconaMP #automation #documentation #java #migration #ontology: Ontology-based documentation extraction for semi-automatic migration of Java code (DA, VM, OP), pp. 1137–1143.
SAC-2012-HorikoshiNTO #adaptation #configuration management #non-functional #self: Dynamic reconfiguration in self-adaptive systems considering non-functional properties (HH, HN, YT, AO), pp. 1144–1150.
SAC-2012-CunhaFS #ocl #relational #uml: From relational ClassSheets to UML+OCL (JC, JPF, JS), pp. 1151–1158.
SAC-2012-DragoB #analysis #architecture #design #graph #manycore #named: DAG3: a tool for design and analysis of applications for multicore architectures (MLD, JB), pp. 1159–1164.
SAC-2012-Tronicek #flexibility #java #named #refactoring: RefactoringNG: a flexible Java refactoring tool (ZT), pp. 1165–1170.
SAC-2012-IkemotoDO #pseudo #reliability: Estimating software reliability via pseudo maximum likelihood method (SI, TD, HO), pp. 1171–1176.
SAC-2012-OliveiraFPC #framework #product line: Investigating framework product lines (ALdO, FCF, RADP, VVdC), pp. 1177–1182.
SAC-2012-GrooteOW #case study #experience #formal method: Experience report on developing the Front-end client unit under the control of formal methods (JFG, AO, JHW), pp. 1183–1190.
SAC-2012-WangCCX #fault: Fault class prioritization in Boolean expressions (ZW, ZC, TYC, BX), pp. 1191–1196.
SAC-2012-NakagawaBM #architecture #framework #knowledge-based: A knowledge-based framework for reference architectures (EYN, MB, JCM), pp. 1197–1202.
SAC-2012-UkimotoDO #resource management #testing: Software testing-resource allocation with operational profile (SU, TD, HO), pp. 1203–1208.
SAC-2012-BasgaluppBR #maintenance #predict: Predicting software maintenance effort through evolutionary-based decision trees (MPB, RCB, DDR), pp. 1209–1214.
SAC-2012-SarroMFG #algorithm #analysis #fault #predict #search-based #using: A further analysis on the use of Genetic Algorithm to configure Support Vector Machines for inter-release fault prediction (FS, SDM, FF, CG), pp. 1215–1220.
SAC-2012-SarroFG #development #estimation #multi #programming #search-based: Single and Multi Objective Genetic Programming for software development effort estimation (FS, FF, CG), pp. 1221–1226.
SAC-2012-MondalRRSKS #comparative #empirical: Comparative stability of cloned and non-cloned code: an empirical study (MM, CKR, MSR, RKS, JK, KAS), pp. 1227–1234.
SAC-2012-ZibranR #ide #realtime: IDE-based real-time focused search for near-miss clones (MFZ, CKR), pp. 1235–1242.
SAC-2012-GiuntaPT #aspect-oriented #composition #design pattern #named #refactoring: AODP: refactoring code to provide advanced aspect-oriented modularization of design patterns (RG, GP, ET), pp. 1243–1250.
SAC-2012-DestefanisTCM #analysis #anti #java #scalability: An analysis of anti-micro-patterns effects on fault-proneness in large Java systems (GD, RT, GC, MM), pp. 1251–1253.
SAC-2012-MaloneG #case study #groovy #using: A case study in the use of Groovy and Grails (KM, JG), pp. 1254–1255.
SAC-2012-AlebrahimCHCH #architecture #design #interactive #model transformation #problem: Designing architectures from problem descriptions by interactive model transformation (AA, IC, MH, CC, DH), pp. 1256–1258.
SAC-2012-BanthiaG #fault #modelling #predict #quality: Investigating fault prediction capabilities of five prediction models for software quality (DB, AG), pp. 1259–1261.
SAC-2012-CruzFP #source code #verification: Verification conditions for single-assignment programs (DCdC, MJF, JSP), pp. 1264–1270.
SAC-2012-CatanoWRRY #ml #specification: Translating B machines to JML specifications (NC, TW, CR, VR, DY), pp. 1271–1277.
SAC-2012-SalaunEPBC #distributed #in the cloud #protocol #self #verification: Verification of a self-configuration protocol for distributed applications in the cloud (GS, XE, NDP, FB, TC), pp. 1278–1283.
SAC-2012-ChebaroKGJ #dynamic analysis #slicing #verification: Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.
SAC-2012-ZurowskaD #execution #state machine #symbolic computation #uml: Symbolic execution of UML-RT State Machines (KZ, JD), pp. 1292–1299.
SAC-2012-DasguptaK #analysis #precise #using: Precise shape analysis using field sensitivity (SD, AK), pp. 1300–1307.
SAC-2012-ZanioliFC #information management #named #static analysis: SAILS: static analysis of information leakage with sample (MZ, PF, AC), pp. 1308–1313.
SAC-2012-LassaigneP #approximate #markov #process #scalability #verification: Approximate planning and verification for large markov decision processes (RL, SP), pp. 1314–1319.
SAC-2012-PerroneDH #graph #model checking: A model checker for Bigraphs (GP, SD, TTH), pp. 1320–1325.
SAC-2012-Affeldt #library #low level #on the: On construction of a library of formally verified low-level arithmetic functions (RA), pp. 1326–1331.
SAC-2012-Longuet #sequence chart #testing: Global and local testing from Message Sequence Charts (DL), pp. 1332–1338.
SAC-2012-SiddiquiK #execution #staged #symbolic computation: Staged symbolic execution (JHS, SK), pp. 1339–1346.
SAC-2012-TavaresAMOHAMDN #evaluation #performance: Performance evaluation of medical imaging service (ET, JA, PRMM, DO, EH, RA, LM, AD, MN), pp. 1349–1354.
SAC-2012-DayehH #biology #network #using: Analyzing incomplete biological pathways using network motifs (MED, MH), pp. 1355–1360.
SAC-2012-NevesWSP: Parallelizing SuperFine (DTN, TW, JLS, KP), pp. 1361–1367.
SAC-2012-DiasDHS #sorting #symmetry #using: Sorting genomes using almost-symmetric inversions (ZD, UD, LSH, JCS), pp. 1368–1374.
SAC-2012-TownsendHS #modelling: Relationship of reproduction and evolutionary computation to analytical modeling of the ecological genetics of inducible defenses (GCT, WNH, BS), pp. 1375–1380.
SAC-2012-NagarAB #functional #graph #similarity #using: Computing gene functional similarity using combined graphs (AN, HAM, SB), pp. 1381–1386.
SAC-2012-Koohi-MoghadamR #difference #evolution: Molecular docking with opposition-based differential evolution (MKM, ATR), pp. 1387–1392.
SAC-2012-MenorPB #kernel #predict #probability #using: Probabilistic prediction of protein phosphorylation sites using kernel machines (MM, GP, KB), pp. 1393–1398.
SAC-2012-ChhelLGS #biology #multi #using: Minimum multiple characterization of biological data using partially defined boolean formulas (FC, FL, AG, FS), pp. 1399–1405.
SAC-2012-MontagnaPV #development: A model for drosophila melanogaster development from a single cell to stripe pattern formation (SM, DP, MV), pp. 1406–1412.
SAC-2012-VirgilioR #approximate #biology #graph #rdf: Approximate matching over biological RDF graphs (RDV, SER), pp. 1413–1414.
SAC-2012-ThanhZ #algorithm #probability #simulation: Tree-based search for stochastic simulation algorithm (VHT, RZ), pp. 1415–1416.
SAC-2012-JiXWLTY #gpu #sequence: High-throughput antibody sequence alignment based on GPU computing (GJ, ZX, XW, SL, MT, JY), pp. 1417–1418.
SAC-2012-ScholteRBK #analysis #empirical #validation #web: An empirical analysis of input validation mechanisms in web applications and languages (TS, WKR, DB, EK), pp. 1419–1426.
SAC-2012-BalduzziZBKL #analysis #security: A security analysis of amazon’s elastic compute cloud service (MB, JZ, DB, EK, SL), pp. 1427–1434.
SAC-2012-MavrogiannopoulosTP #encryption #framework #kernel #linux: A linux kernel cryptographic framework: decoupling cryptographic keys from applications (NM, MT, BP), pp. 1435–1442.
SAC-2012-AnwarF #data access #network #policy #social #visualisation: A visualization tool for evaluating access control policies in facebook-style social network systems (MMA, PWLF), pp. 1443–1450.
SAC-2012-Kerschbaum #outsourcing #set: Collusion-resistant outsourcing of private set intersection (FK), pp. 1451–1456.
SAC-2012-MannS #android #detection #framework #privacy #static analysis: A framework for static detection of privacy leaks in android applications (CM, AS), pp. 1457–1462.
SAC-2012-CuellarOR #privacy: Indistinguishable regions in geographic privacy (JC, MO, RR), pp. 1463–1469.
SAC-2012-HuaS #kernel #lightweight #memory management #named: Barrier: a lightweight hypervisor for protecting kernel integrity via memory isolation (JH, KS), pp. 1470–1477.
SAC-2012-SchrecklingPH #android #data access #named: Constroid: data-centric access control for android (DS, JP, DH), pp. 1478–1485.
SAC-2012-DavtyanKMRS #encryption #using: Integrity of electronic voting systems: fallacious use of cryptography (SD, AK, LM, AR, AAS), pp. 1486–1493.
SAC-2012-RodoperBJT #framework #mobile #performance #security: An efficient security framework for mobile WiMAX (MR, AB, EJ, WT), pp. 1494–1501.
SAC-2012-BartschS #approach #policy: Guiding decisions on authorization policies: a participatory approach to decision support (SB, MAS), pp. 1502–1507.
SAC-2012-ProencaCVA #coordination #distributed #framework #named: Dreams: a framework for distributed synchronous coordination (JP, DC, EPdV, FA), pp. 1510–1515.
SAC-2012-HarnieDBM #programming: Programming urban-area applications (DH, TD, EGB, WDM), pp. 1516–1521.
SAC-2012-GjondrekajLPT #adaptation #coordination #modelling: Modeling adaptation with a tuple-based coordination language (EG, ML, RP, FT), pp. 1522–1527.
SAC-2012-NguyenPZ #consistency #testing: Passive conformance testing of service choreographies (HNN, PP, FZ), pp. 1528–1535.
SAC-2012-KeshishzadehIM #automaton #framework #model checking: A Büchi automata based model checking framework for reo connectors (SK, MI, AM), pp. 1536–1543.
SAC-2012-CappelloQ: Expressing global priorities by best-matching (IC, PQ), pp. 1544–1550.
SAC-2012-BistarelliCS #concurrent #constraints #coordination #programming: A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming (SB, PC, FS), pp. 1551–1553.
SAC-2012-AkessonHRM #pervasive: Instance-aware assemblies of services in pervasive computing (LÅ, GH, SGR, BM), pp. 1554–1556.
SAC-2012-MenezesOV #abstraction #composition #coordination #pervasive: Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp (RM, AO, MV), pp. 1557–1559.
SAC-2012-CrassK #coordination #data access: A coordination-based access control model for space-based computing (SC, EK), pp. 1560–1562.
SAC-2012-LiLXZR #named #platform: TL-Tree: flash-optimized storage for time-series sensing data on sensor platforms (HL, DL, LX, GZ, KR), pp. 1565–1572.
SAC-2012-OliveiraCS #bound #on the #using: On using adversary simulators to obtain tight lower bounds for response times (RSdO, AC, RAS), pp. 1573–1579.
SAC-2012-MbarekKPA #design #modelling #power management #using: Using model driven engineering to reliably accelerate early Low Power Intent Exploration for a system-on-chip design (OM, AK, AP, MA), pp. 1580–1587.
SAC-2012-ZhongGHCW #memory management: Affinity-aware DMA buffer management for reducing off-chip memory access (QZ, XG, TH, XC, KW), pp. 1588–1593.
SAC-2012-BhattiBA #approach #manycore #platform #realtime #scheduling: A semi-partitioned real-time scheduling approach for periodic task systems on multicore platforms (MKB, CB, MA), pp. 1594–1601.
SAC-2012-El-ShambakeyR #bound #concurrent #embedded #manycore #realtime #trade-off: STM concurrency control for multicore embedded real-time software: time bounds and tradeoffs (MES, BR), pp. 1602–1609.
SAC-2012-ParkDNDKK #identification #memory management #named: HotDataTrap: a sampling-based hot data identification scheme for flash memory (DP, BKD, YN, DHCD, YK, YK), pp. 1610–1617.
SAC-2012-TsaiC #3d #manycore #realtime #scheduling: Thermal-aware real-time task scheduling for three-dimensional multicore chip (THT, YSC), pp. 1618–1624.
SAC-2012-DandamudiWH #animation #comprehension #framework #source code: An animation framework for improving the comprehension of TinyOS programs (SD, SKW, JOH), pp. 1625–1631.
SAC-2012-HanJ #clustering #kernel #linux: Kernel-level ARINC 653 partitioning for Linux (SH, HWJ), pp. 1632–1637.
SAC-2012-FouqueLV #fault #using: Using faults for buffer overflow effects (PAF, DL, FV), pp. 1638–1639.
SAC-2012-BeusterG #modelling #policy #security #smarttech: Formal security policy models for smart card evaluations (GB, KG), pp. 1640–1642.
SAC-2012-ParkSSP #algorithm #hybrid #in memory #memory management: PRAM wear-leveling algorithm for hybrid main memory based on data buffering, swapping, and shifting (SKP, HS, DJS, KHP), pp. 1643–1644.
SAC-2012-FrantzC #development #integration: A software development kit to implement integration solutions (RZF, RC), pp. 1647–1652.
SAC-2012-ReichertKBB #personalisation #process #scalability #visualisation: Enabling personalized visualization of large business processes through parameterizable views (MR, JK, RB, TB), pp. 1653–1660.
SAC-2012-ChiprianovKR #architecture #enterprise #modelling: Extending Enterprise Architecture Modeling Languages: application to telecommunications service creation (VC, YK, SR), pp. 1661–1666.
SAC-2012-MonakovaBS #process #safety #security: Security and safety of assets in business processes (GM, ADB, AS), pp. 1667–1673.
SAC-2012-Rittgen #collaboration #editing #modelling: The role of editor in collaborative modeling (PR), pp. 1674–1679.
SAC-2012-TinelliCSD #automation #compilation #composition #sql #standard: Knowledge compilation for automated Team Composition exploiting standard SQL (ET, SC, EDS, FMD), pp. 1680–1685.
SAC-2012-ArpiniA #behaviour #enterprise #modelling #on the: On the support for the assignment of active structure and behavior in enterprise modeling approaches (RHA, JPAA), pp. 1686–1693.
SAC-2012-MeertensINSJQ: Mapping the business model canvas to ArchiMate (LOM, MEI, LJMN, MvS, HJ, DACQ), pp. 1694–1701.
SAC-2012-NetoA #analysis #process: Keeping decisions and rationale explicit in business process analysis (MSdSN, RMdA), pp. 1702–1708.
SAC-2012-AccorsiS #consistency #mining #on the #process #security: On the exploitation of process mining for security audits: the conformance checking case (RA, TS), pp. 1709–1716.
SAC-2012-GuntherSJ #workflow: Dynamic guidance enhancement in workflow management systems (CG, SS, SJ), pp. 1717–1719.
SAC-2012-DelgadoRGP #collaboration #model transformation #process: Model transformations for Business-IT alignment: from collaborative business process to SoaML service model (AD, FR, IGRdG, MP), pp. 1720–1722.
SAC-2012-ZhaoLCSS #information management #modelling #process #question: Can business process modeling bridge the gap between business and information systems? (LZ, KL, EVC, SdFMS, PS), pp. 1723–1724.
SAC-2012-SantosCSLB #analysis #heuristic #identification #modelling #process: Analysis of heuristics to identify crosscutting concerns in business process models (FJNS, CC, FMS, JCSdPL, TVB), pp. 1725–1726.
SAC-2012-MiaoS: Pattern-based traits (WM, JGS), pp. 1729–1736.
SAC-2012-DamianiPW #object-oriented #programming #type system: A type system for checking specialization of packages in object-oriented programming (FD, APH, YW), pp. 1737–1742.
SAC-2012-TangJ #analysis #precise: Exploiting regularity of user-defined types to improve precision of program analyses (XT, JJ), pp. 1743–1750.
SAC-2012-JeremicMBR #operating system: Operating system support for dynamic over-provisioning of solid state drives (NJ, GM, AB, JR), pp. 1753–1758.
SAC-2012-Gonzalez-FerezPC #automation #named #scheduling: DADS: dynamic and automatic disk scheduling (PGF, JP, TC), pp. 1759–1764.
SAC-2012-WangYLQG: Hypervisor-based protection of sensitive files in a compromised system (JW, MY, BL, ZQ, HG), pp. 1765–1770.
SAC-2012-FahmyRJ #implementation #interface #kernel #linux #programming #realtime #scheduling #thread: Implementing distributable real-time threads in the Linux kernel: programming interface and scheduling support (SFF, BR, EDJ), pp. 1771–1778.
SAC-2012-HuangZGWCW #clustering: Reducing last level cache pollution through OS-level software-controlled region-based partitioning (TH, QZ, XG, XW, XC, KW), pp. 1779–1784.
SAC-2012-KimPJSCH #garbage collection #hybrid #named #performance: AAGC: an efficient associativity-aware garbage collection scheme for hybrid FTLs (BK, MP, CJ, COS, YC, JH), pp. 1785–1790.
SAC-2012-JungJCHJCJK #performance: A fast mount mechanism for YAFFS2 (JJ, JJ, YC, HH, GJ, SC, MJ, JYK), pp. 1791–1795.
SAC-2012-LeeLKKKS #implementation: An implementation study of a ghost drive: hidden file store in a filesystem (EL, JL, HK, KK, SRK, SYS), pp. 1796–1798.
SAC-2012-LeeKPCLN #memory management #realtime: Real-time flash memory storage with Janus-FTL (JL, AK, MP, JC, DL, SHN), pp. 1799–1806.
SAC-2012-OyamaGCSK #detection: Detecting malware signatures in a thin hypervisor (YO, TTDG, YC, TS, KK), pp. 1807–1814.
SAC-2012-BaroBCNP #multi #scheduling: Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks (JB, FB, MC, EN, CP), pp. 1815–1820.
SAC-2012-KimWLLL #component #migration #multi: HW resource componentizing for smooth migration from single-function ECU to multi-function ECU (JCK, KSW, CGL, KJL, YSL), pp. 1821–1828.
SAC-2012-OmoteCSKEM #encryption: Hypervisor-based background encryption (YO, YC, TS, TK, HE, KM), pp. 1829–1836.
SAC-2012-AbeniP #case study #experience #interactive: Experiences with client/server interactions in a reservation-based system (LA, TP), pp. 1837–1839.
SAC-2012-JeonC #javascript #jit #reuse #using: Reuse of JIT compiled code in JavaScript engine (SJ, JC), pp. 1840–1842.
SAC-2012-LeeKP #search-based: A genetic scheduler for electric vehicle charging (JL, HJK, GLP), pp. 1843–1844.
SAC-2012-ImJLLL #manycore #operating system #realtime: A real-time operating system for manycore systems (CI, MJ, JDL, SL, SL), pp. 1845–1846.
SAC-2012-Wu #memory management #sorting: Data sorting in flash memory (CHW), pp. 1847–1849.
SAC-2012-MalakutiA #composition #evolution: Evolution of composition filters to event composition (SM, MA), pp. 1850–1857.
SAC-2012-LiuCZ #approach #architecture #petri net #self #towards: Towards a colored reflective Petri-net approach to model self-evolving service-oriented architectures (YL, WC, BZ), pp. 1858–1865.
SAC-2012-GiuntaPT12a #aspect-oriented #design pattern: Superimposing roles for design patterns into application classes by means of aspects (RG, GP, ET), pp. 1866–1868.
SAC-2012-HaublWM #evaluation #heuristic #java: Evaluation of trace inlining heuristics for Java (CH, CW, HM), pp. 1871–1876.
SAC-2012-MarthR #development #modelling: Model-Driven Development with eUML-ARC (KM, SR), pp. 1877–1882.
SAC-2012-NobakhtBJS #deployment #programming #scheduling: Programming and deployment of active objects with application-level scheduling (BN, FSdB, MMJ, RS), pp. 1883–1888.
SAC-2012-TarauH #on the: On computing with types (PT, DH), pp. 1889–1896.
SAC-2012-Ancona #prolog #recursion: Regular corecursion in Prolog (DA), pp. 1897–1902.
SAC-2012-PriamiQZ #biology #graph #imperative #self: An imperative language of self-modifying graphs for biological systems (CP, PQ, RZ), pp. 1903–1909.
SAC-2012-Zaytsev #bnf #what: BNF was here: what have we done about the unnecessary diversity of notation for syntactic definitions (VZ), pp. 1910–1915.
SAC-2012-BrandnerC #data flow #dependence #graph: Copy elimination on data dependence graphs (FB, QC), pp. 1916–1918.
SAC-2012-BromanFHA #comparison #domain-specific language #implementation: A comparison of two metacompilation approaches to implementing a complex domain-specific language (DB, PF, GH, JÅ), pp. 1919–1921.
SAC-2012-ZaraketNSJ #architecture #library #parallel #source code #using: Portable Parallel Programs using architecture-aware libraries (FAZ, MN, MS, AJ), pp. 1922–1924.
SAC-2012-PoizatS: Checking the realizability of BPMN 2.0 choreographies (PP, GS), pp. 1927–1934.
SAC-2012-HogDA #adaptation #web #web service: Profile annotation for adaptable Web Service description (CEH, RBD, IA), pp. 1935–1940.
SAC-2012-BernardiH #contract #modelling #using: Modelling session types using contracts (GB, MH), pp. 1941–1946.
SAC-2012-ZhangI #protocol #trust #web #web service #xml: An XML-based protocol for improving trust negotiation between Web Services (YZ, TI), pp. 1947–1954.
SAC-2012-MaamarFLH #implementation #social #specification #using #web #web service: Specifying and implementing social Web services operation using commitments (ZM, NF, ML, SH), pp. 1955–1960.
SAC-2012-PintoCG: Dealing with changes in service orchestrations (LSP, GC, CG), pp. 1961–1967.
SAC-2012-YanCY #composition #optimisation #web #web service: Anytime QoS optimization over the PlanGraph for web service composition (YY, MC, YY), pp. 1968–1975.
SAC-2012-FkiJST #approach #composition #flexibility #using: A flexible approach for service composition using service patterns (EF, MJ, CSD, ST), pp. 1976–1983.
SAC-2012-HojsgaardH: Core BPEL: syntactic simplification of WS-BPEL 2.0 (EH, TH), pp. 1984–1991.
SAC-2012-TaherHP #adaptation #approach #web #web service: A three step based approach for Web Service adaptation (YT, WJvdH, MP), pp. 1992–1993.
SAC-2012-GocicS #paradigm #process: Service-oriented paradigm for analyzing hydrological processes (MG, DS), pp. 1994–1995.
SAC-2012-QueirozB #product line: Application engineering of service-based software product lines (PGGQ, RTVB), pp. 1996–1997.
SAC-2012-TreiberSDS #ad hoc #mobile #twitter #workflow: Creating mobile ad hoc workflows with Twitter (MT, DS, SD, CS), pp. 1998–2000.
SAC-2012-HijikataKN #recommendation #user satisfaction: The relation between user intervention and user satisfaction for information recommendation (YH, YK, SN), pp. 2002–2007.
SAC-2012-QiCLHW #collaboration #using: Using inferred tag ratings to improve user-based collaborative filtering (QQ, ZC, JL, CH, QW), pp. 2008–2013.
SAC-2012-NoorianFM #trust: Preference-oriented QoS-based service discovery with dynamic trust and reputation management (ZN, MF, SM), pp. 2014–2021.
SAC-2012-YaichBJP #adaptation #community #trust: An adaptive and Socially-Compliant Trust Management System for virtual communities (RY, OB, PJ, GP), pp. 2022–2028.
SAC-2012-CostantinoMP: Subjective review-based reputation (GC, CM, MP), pp. 2029–2034.
SAC-2012-SaidJA #collaboration: Analyzing weighting schemes in collaborative filtering: cold start, post cold start and power users (AS, BJJ, SA), pp. 2035–2040.
SAC-2012-DivakarmurthyM: Area diversity in computer science collaborations (PD, RM), pp. 2041–2042.
SAC-2012-MalaverriML #approach #quality: A provenance approach to assess the quality of geospatial data (JGM, CBM, RCL), pp. 2043–2044.

Sascha Ossowski, Paola LeccaProceedings of the 27th Symposium on Applied ComputingSAC, 2012.

Contents (346 items)

Sascha Ossowski, Paola Lecca
Proceedings of the 27th Symposium on Applied Computing
SAC, 2012.