BibSLEIGH — Proceedings of the 24th Symposium on Applied Computing

Sung Y. Shin, Sascha Ossowski
Proceedings of the 24th Symposium on Applied Computing
SAC, 2009.

@proceedings{SAC-2009,
	address       = "Honolulu, Hawaii, USA",
	editor        = "Sung Y. Shin and Sascha Ossowski",
	isbn          = "978-1-60558-166-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 24th Symposium on Applied Computing}",
	year          = 2009,
}

Contents (411 items)

SAC-2009-ZaidiBC #network #protocol #testing: Network protocol interoperability testing based on contextual signatures and passive testing (FZ, EB, ARC), pp. 2–7.
SAC-2009-GarciaBG #estimation: Cross-layer cooperation between membership estimation and routing (JCG, SB, PG), pp. 8–15.
SAC-2009-BiagioniDPS #distributed: Practical distributed voter-verifiable secret ballot system (EB, YD, WP, KS), pp. 16–21.
SAC-2009-HarshN #multi #using: Using geo-spatial session tagging for smart multicast session discovery (PH, REN), pp. 22–27.
SAC-2009-CaiCFTCH #network #peer-to-peer: A holistic mechanism against file pollution in peer-to-peer networks (ZC, RC, JF, CT, ZC, JbH), pp. 28–34.
SAC-2009-BatistaDF #grid #network #robust: Robust scheduler for grid networks (DMB, ACD, NLSdF), pp. 35–39.
SAC-2009-OliveiraA #named #protocol: NECTAR: a DTN routing protocol based on neighborhood contact history (ECRdO, CVNdA), pp. 40–46.
SAC-2009-TupakulaVP #named: DoSTRACK: a system for defending against DoS attacks (UKT, VV, SRP), pp. 47–53.
SAC-2009-NeedelsK #distributed #peer-to-peer: Secure routing in peer-to-peer distributed hash tables (KN, MK), pp. 54–58.
SAC-2009-HeYAL #named #network: BPR: a bit-level packet recovery in wireless sensor networks (JH, JY, CA, XL), pp. 59–65.
SAC-2009-FranqueiraLE #framework #mobile #modelling #multi #simulation: Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients (VNLF, RHCL, PvE), pp. 66–73.
SAC-2009-EstevesAS #grid #network #quality: Quality of service management in GMPLS-based grid OBS networks (RPE, AJGA, MAS), pp. 74–78.
SAC-2009-ChiangWLC #clustering #multi #policy #web: New content-aware request distribution policies in web clusters providing multiple services (MLC, CHW, YJL, YFC), pp. 79–83.
SAC-2009-TangCCXHTC #network #peer-to-peer: Securing key issuing in peer-to-peer networks (CT, RC, ZC, AX, JbH, LT, ZC), pp. 84–85.
SAC-2009-PassitoMM #analysis #network #protocol #using: Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS (AP, EdSM, EM), pp. 86–87.
SAC-2009-PereiraTLP #network: Preservation of ordering in a network of brokers (CMMP, CACT, DCL, MdGCP), pp. 88–89.
SAC-2009-DaiMSZ #concept analysis #towards #using: Towards “WYDIWYS” for MIMI using concept analysis (JD, RM, JS, GQZ), pp. 91–97.
SAC-2009-Bouarab-DahmaniSCC #approach #automation #evaluation: Learners automated evaluation with the ODALA approach (FBD, MSM, CC, PJC), pp. 98–103.
SAC-2009-JaquesLP: Evaluating the affective tactics of an emotional pedagogical agent (PAJ, ML, SP), pp. 104–109.
SAC-2009-MenezesNQF #interface: Expert system for supporting conformity inspections of software application interfaces to the ISO 9241 (LLdM, MRdN, JERdQ, JMF), pp. 110–115.
SAC-2009-NetoBFF #case study #interface #multimodal #usability #web: Developing and evaluating web multimodal interfaces — a case study with usability principles (ATN, TJB, RPdMF, KF), pp. 116–120.
SAC-2009-SilvaSC #library #reasoning #testing #user interface: A generic library for GUI reasoning and testing (JCS, JS, JCC), pp. 121–128.
SAC-2009-JeschkePV #development #using #web: Using web accessibility patterns for web application development (SJ, OP, HV), pp. 129–135.
SAC-2009-TokoroTT #smarttech #using: A pointing method using two accelerometers for wearable computing (YT, TT, MT), pp. 136–141.
SAC-2009-GonzalesLL #community #online #requirements #using: Requirements engineering using appreciative inquiry for an online community of caregivers of children with autism (CHG, GL, GDL), pp. 142–146.
SAC-2009-LopesVCTL #assessment #semantics #towards: Towards the universal semantic assessment of accessibility (RL, KV, LC, DT, SDL), pp. 147–151.
SAC-2009-DiasASP #formal method #web: Formalizing motivational patterns based on colors and their cultural meanings for developing web applications (ALD, JCAS, LMS, RDP), pp. 152–153.
SAC-2009-MiyamotoTT #design #implementation #interface: Design and implementation on a pie menu interface for analog joysticks (MM, TT, MT), pp. 154–155.
SAC-2009-OliveiraLG #analysis #development #framework #usability: Development of a biosignals framework for usability analysis (IO, RL, NG), pp. 156–157.
SAC-2009-NetoFP #named #people #using: MATRACA: a tool to provide support for people with impaired vision when using the computer for simple tasks (FGdON, JMF, RRGP), pp. 158–159.
SAC-2009-SilvaR #3d #lightweight #navigation #visualisation: A lightweight 3D visualization and navigation system on handheld devices (WBS, MAFR), pp. 162–166.
SAC-2009-MaiaSSPA #mobile: Seamless access of home theater personal computers for mobile devices (LFM, DFSS, RSS, AP, HOdA), pp. 167–171.
SAC-2009-CerutiDTPDTLMAFRLE #communication #gesture #recognition: Wireless communication glove apparatus for motion tracking, gesture recognition, data transmission, and reception in extreme environments (MGC, VVD, NXT, HVP, LD, TAT, GL, EWM, OA, SF, GJR, RL, JE), pp. 172–176.
SAC-2009-MikkonenT #case study #experience #framework #kernel #mobile #platform #web: Creating a mobile web application platform: the lively kernel experiences (TM, AT), pp. 177–184.
SAC-2009-AraujoS #embedded #integration #web #web service: The device service bus: a solution for embedded device integration through web services (GMA, FS), pp. 185–189.
SAC-2009-TanakaKTN #navigation #predict #using: A destination prediction method using driving contexts and trajectory for car navigation systems (KT, YK, TT, SN), pp. 190–195.
SAC-2009-ParkKLKK #network #realtime #using: A mobility management scheme using SCTP-SIP for real-time services across heterogeneous networks (HP, MK, SL, SK, YK), pp. 196–200.
SAC-2009-PhilipA #ad hoc #maintenance #network: Mobility aware path maintenance in ad hoc networks (SJP, VA), pp. 201–206.
SAC-2009-CavalliMO #approach #consistency #protocol #testing: A passive conformance testing approach for a MANET routing protocol (ARC, SM, EMdO), pp. 207–211.
SAC-2009-KokashCRI #flexibility #network #protocol: A flexible QoS-aware routing protocol for infrastructure-less B3G networks (NK, RSC, PGR, VI), pp. 212–216.
SAC-2009-Zheng #framework #mobile #platform: Scene map on wireless mobile platform (JYZ), pp. 217–218.
SAC-2009-MonjurA #framework #privacy #towards: Towards a landmark influence framework to protect location privacy (MM, SIA), pp. 219–220.
SAC-2009-BatistaR #ad hoc #framework #middleware #mobile #network #specification: High-level specification of a middleware framework for mobile ad hoc networks: spontaneousware case (VdFB, NSR), pp. 221–222.
SAC-2009-Rittgen #case study #collaboration #comparative #modelling #process: Collaborative modeling of business processes: a comparative case study (PR), pp. 225–230.
SAC-2009-HunerOO #maturity #quality #towards: Towards a maturity model for corporate data quality management (KMH, MO, BO), pp. 231–238.
SAC-2009-HecklM #composition #process: Operational control of service processes: modularization as precondition (DH, JM), pp. 239–244.
SAC-2009-LandZEL #enterprise #integration #ontology #performance #towards: Towards a fast enterprise ontology based method for post merger integration (MOL, HZ, PE, QL), pp. 245–252.
SAC-2009-CaetanoST #architecture #enterprise #framework: A role-based enterprise architecture framework (AC, ARS, JMT), pp. 253–258.
SAC-2009-RamanathanRG #delivery #framework #people #process #trade-off #using: The people, the process or the technology?: Using the ACE framework to make tradeoffs in service delivery improvement (JR, RR, RG), pp. 259–264.
SAC-2009-KurpjuweitW #architecture #re-engineering: Concern-oriented business architecture engineering (SK, RW), pp. 265–272.
SAC-2009-BolingerHRR #collaboration #effectiveness #workflow: Collaborative workflow assistant for organizational effectiveness (JB, GH, JR, RR), pp. 273–280.
SAC-2009-PaimNPSCB #process: Structuring a process management center of excellence (RP, VTN, BP, FMS, CC, FAB), pp. 281–282.
SAC-2009-PopovaS #analysis #constraints #modelling: Constraint-based modelling and analysis of organisations (VP, AS), pp. 283–284.
SAC-2009-EngelsmanIF #architecture #requirements: Architecture-driven requirements engineering (WE, MEI, HMF), pp. 285–286.
SAC-2009-KimYCH #embedded: Impact of function inlining on resource-constrained embedded systems (BK, SY, YC, JH), pp. 287–292.
SAC-2009-KatoriSNN #embedded #multi #self: Building a self-healing embedded system in a multi-OS environment (TK, LS, DKN, TN), pp. 293–298.
SAC-2009-RuanMBQZ #energy #named #parallel: DARAW: a new write buffer to improve parallel I/O energy-efficiency (XR, AM, KB, XQ, ZZ), pp. 299–304.
SAC-2009-LeePR #ad hoc #mobile #network #realtime: A real-time message scheduler support for dual-sink mobile ad-hoc sensor networks (JL, GLP, SuR), pp. 305–309.
SAC-2009-EirakuSPKK #network #performance #virtual machine: Fast networking with socket-outsourcing in hosted virtual machine environments (HE, YS, CP, YK, KK), pp. 310–317.
SAC-2009-LeeBPCLN #configuration management #named #precise: CPS-SIM: configurable and accurate clock precision solid state drive simulator (JL, EB, HP, JC, DL, SHN), pp. 318–325.
SAC-2009-YokoyamaHSK #internet #operating system #policy #security: Simplifying security policy descriptions for internet servers in secure operating systems (TY, MH, MS, KK), pp. 326–333.
SAC-2009-FahmyRJ #analysis #distributed #realtime #transaction: Response time analysis of software transactional memory-based distributed real-time systems (SFF, BR, EDJ), pp. 334–338.
SAC-2009-YiMCKJ #named #network: Arbiter-Recall: a new function update scheme by arbitration between a remote call and a dynamic update for wireless sensor networks (SY, HM, YC, YK, IJ), pp. 339–340.
SAC-2009-LeeDN #named: RPP: reference pattern based prefetching controller (HJL, IHD, SHN), pp. 341–342.
SAC-2009-JungHKY #evaluation #memory management #reliability: A practical evaluation of large-memory data processing on a reliable remote memory system (HJ, HH, SGK, HYY), pp. 343–344.
SAC-2009-XieLY #elicitation #optimisation #process #requirements: i*-prefer: optimizing requirements elicitation process based on actor preferences (HX, LL, JY), pp. 347–354.
SAC-2009-BreauxLOA #identification #requirements #using: Identifying vulnerabilities and critical requirements using criminal court proceedings (TDB, JDL, PNO, AIA), pp. 355–359.
SAC-2009-WinbladhZR #elicitation #requirements: Eliciting required characteristics for usable requirements engineering approaches (KW, HZ, DJR), pp. 360–364.
SAC-2009-SinnigCK #automaton #case study #lts #modelling #semantics: LTS semantics for use case models (DS, PC, FK), pp. 365–370.
SAC-2009-DecreusP #modelling #process #semantics: Mapping semantically enriched Formal Tropos to business process models (KD, GP), pp. 371–376.
SAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #realtime #sequence chart #uml #validation: Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.
SAC-2009-ChoppyR #state machine #uml: A method for developing UML state machines (CC, GR), pp. 382–388.
SAC-2009-AgentA #approach #problem: Extending Problem Frames to deal with stakeholder problems: An Agent- and Goal-Oriented Approach (SS, LC), pp. 389–394.
SAC-2009-WidyaBBJHSSV #assessment #requirements: Early phase requirements assessment of a teletreatment trial (IW, BJvB, RB, VMJ, HJH, LS, LS, MHAHiV), pp. 395–396.
SAC-2009-SmileyHKD #analysis #architecture #evaluation #requirements: Architectural requirements prioritization and analysis applied to software technology evaluation (KS, QH, EK, AD), pp. 397–398.
SAC-2009-SuzukiOSKTK #generative #quality #requirements: A systematic method for generating quality requirements spectrum (SS, AO, TS, HK, MT, KK), pp. 399–400.
SAC-2009-BeckerR #evaluation #modelling #off the shelf #requirements: Requirements modelling and evaluation for digital preservation: a COTS selection method based on controlled experimentation (CB, AR), pp. 401–402.
SAC-2009-CatanoW #case study #java #ml #specification: Executing JML specifications of Java card applications: a case study (NC, TW), pp. 404–408.
SAC-2009-AbreuMSG #fault #locality #ranking: Refining spectrum-based fault localization rankings (RA, WM, MS, AJCvG), pp. 409–414.
SAC-2009-LiuTN #assurance #component #integration #overview #quality #specification #testing: Integration of formal specification, review, and testing for software component quality assurance (SL, TT, SN), pp. 415–421.
SAC-2009-ChenHKMM #adaptation #random testing #testing: Enhanced lattice-based adaptive random testing (TYC, DH, FCK, RGM, JM), pp. 422–429.
SAC-2009-CuiWLX #aspect-oriented #diagrams #modelling #process #uml: Modeling and integrating aspects with UML activity diagrams (ZC, LW, XL, DX), pp. 430–437.
SAC-2009-BohnetVD #debugging #execution #locality: Projecting code changes onto execution traces to support localization of recently introduced bugs (JB, SV, JD), pp. 438–442.
SAC-2009-ChangLCHK #case study #development #framework #quality: A case study of pattern-based software framework to improve the quality of software development (CHC, CWL, WCC, NLH, CSK), pp. 443–447.
SAC-2009-CeccatoTPM #orthogonal: Remote software protection by orthogonal client replacement (MC, PT, MDP, AM), pp. 448–455.
SAC-2009-DelicatoSPOBP #adaptation #aspect-oriented #composition #mobile #using: Using aspects and dynamic composition to provide context-aware adaptation for mobile applications (FCD, ILAS, PFP, ALSO, TVB, LP), pp. 456–460.
SAC-2009-SmithK #empirical #reduction #testing: An empirical study of incorporating cost into test suite reduction and prioritization (AMS, GMK), pp. 461–467.
SAC-2009-HidakaHKN #approach #composition #development #model transformation #towards: Towards a compositional approach to model transformation for software development (SH, ZH, HK, KN), pp. 468–475.
SAC-2009-LemosBOML #code search #reuse #testing #using: Applying test-driven code search to the reuse of auxiliary functionality (OALL, SKB, JO, PCM, CVL), pp. 476–482.
SAC-2009-GroverS #architecture #automation #java #named #quality #question: GenQA: automated addition of architectural quality attribute support for Java software? (SG, NS), pp. 483–487.
SAC-2009-RobertsSG #interface: Model interfaces for two-way obliviousness (NVR, ES, PCG), pp. 488–495.
SAC-2009-LindvallFKCJ #network #semantics #using: Searching for relevant software change artifacts using semantic networks (ML, RLF, GK, ZC, VPJ), pp. 496–500.
SAC-2009-BuresHM #component #product line #using: Using a product line for creating component systems (TB, PH, MM), pp. 501–508.
SAC-2009-PinoGP #process: Key processes to start software process improvement in small companies (FJP, FG, MP), pp. 509–516.
SAC-2009-KimmSHS #development #safety: Failure management development for integrated automotive safety-critical software systems (HK, SYS, HsH, COS), pp. 517–521.
SAC-2009-AktemurK #case study #comparative #library: A comparative study of techniques to write customizable libraries (BA, SK), pp. 522–529.
SAC-2009-ChoiKHK #component #dependence #metric: Component-based metrics applying the strength of dependency between classes (MC, IJK, JH, JYK), pp. 530–536.
SAC-2009-SchneidewindH #approach #reliability #testing: A consumer/producer approach to risk-driven software reliability and testing (NFS, MH), pp. 537–538.
SAC-2009-MondejarLPUM #aspect-oriented #composition #design #distributed #runtime: Designing a distributed AOP runtime composition model (RM, PGL, CP, PU, PM), pp. 539–540.
SAC-2009-ChavezSL #approach #detection #uml: An approach to detection of UML-based ownership violation (HMC, WS, SL), pp. 541–542.
SAC-2009-Al-SharifJ #debugging: An extensible source-level debugger (ZAS, CJ), pp. 543–544.
SAC-2009-SongKS #approach #aspect-oriented #modelling #verification: A property-based verification approach in aspect-oriented modeling (ES, HK, WS), pp. 545–546.
SAC-2009-KoongLCCS #authoring #component #interactive #visual notation: The visual authoring tool of flash-based component for interactive item template (CSK, CML, DJC, CHC, CS), pp. 547–548.
SAC-2009-ZhaoZL #abstraction #multi #object-oriented #source code: Abstraction of multiple executions of object-oriented programs (CZ, KZ, YL), pp. 549–550.
SAC-2009-CheriniB #abstraction #reasoning: Local reasoning for abstraction and sharing (RC, JOB), pp. 552–557.
SAC-2009-HuangCZLT #java #testing: An optimized change-driven regression testing selection strategy for binary Java applications (SH, YC, JZ, ZJL, HT), pp. 558–565.
SAC-2009-SharyginaTT #abstraction #performance #precise #verification: The synergy of precise and fast abstractions for program verification (NS, ST, AT), pp. 566–573.
SAC-2009-SilvaAM #approach #component #empirical #testing #validation: An approach for component testing and its empirical validation (FRCS, ESdA, SRdLM), pp. 574–581.
SAC-2009-GiroD #automaton #on the #probability #verification: On the verification of probabilistic I/O automata with unspecified rates (SG, PRD), pp. 582–586.
SAC-2009-Hurlin #parallel #protocol #specification #thread: Specifying and checking protocols of multithreaded classes (CH), pp. 587–592.
SAC-2009-FalconeFM #classification #monitoring: Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.
SAC-2009-NarasamdyaP #certification: Certification of smart-card applications in common criteria (IN, MP), pp. 601–608.
SAC-2009-JamesC #ml #multi #static analysis: Extended static checking in JML4: benefits of multiple-prover support (PRJ, PC), pp. 609–614.
SAC-2009-LeinoM #first-order #reasoning #smt: Reasoning about comprehensions with first-order SMT solvers (KRML, RM), pp. 615–622.
SAC-2009-RodriguesMF #algebra #implementation #navigation #process #web #web service: Implementing rigorous web services with process algebra: navigation plan for web services (MCR, SM, JEF), pp. 625–631.
SAC-2009-NecaskyM #query #xml: Discovering XML keys and foreign keys in queries (MN, IM), pp. 632–638.
SAC-2009-MlynkovaN #towards: Towards inference of more realistic XSDs (IM, MN), pp. 639–646.
SAC-2009-KuuskeriM #clustering #web: Partitioning web applications between the server and the client (JK, TM), pp. 647–652.
SAC-2009-Pohja: Server push with instant messaging (MP), pp. 653–658.
SAC-2009-MartinsBPS #feedback #information retrieval: Implicit relevance feedback for context-aware information retrieval in UbiLearning environments (DSM, MB, AFdP, WLdS), pp. 659–663.
SAC-2009-MacielH #architecture #rest #transaction #using: An optimistic technique for transactions control using REST architectural style (LAHdSM, CMH), pp. 664–669.
SAC-2009-SchmidtSS #approach #personalisation #social #using #web: Socially filtered web search: an approach using social bookmarking tags to personalize web search (KUS, TS, LS), pp. 670–674.
SAC-2009-PrazeresTMP #mvc #semantics #uml #web #web service: Semantic web services: from OWL-S via UML to MVC applications (CVSP, CACT, EVM, MdGCP), pp. 675–680.
SAC-2009-IorioRVZ #community #web: Where are your manners?: Sharing best community practices in the web 2.0 (ADI, DR, FV, SZ), pp. 681–687.
SAC-2009-IzumiUY #3d #design #web: Designing of a system model for web 3D disabled access GIS on web 2.0 (SI, TU, TY), pp. 688–689.
SAC-2009-MacielPRG #identification #web: Identifying discourse mistakes in web debates: moderation in the DCC (CM, VCP, LR, ACBG), pp. 690–691.
SAC-2009-MendesPDB #ad hoc #execution #named #process #specification #web #web service: WebFlowAH: an environment for ad-hoc specification and execution of web services-based processes (RM, PFP, FCD, TVB), pp. 692–693.
SAC-2009-CaladoBB #approach #automation #composition #metric #semantics #similarity #web #web service: An approach for semantic web services automatic discovery and composition with similarity metrics (IC, HB, IIB), pp. 694–695.
SAC-2009-MolesiniDNO #process: Situated process engineering for integrating processes from methodologies to infrastructures (AM, ED, EN, AO), pp. 699–706.
SAC-2009-Garcia-OjedaDR #design #editing #process: agentTool process editor: supporting the design of tailored agent-based processes (JCGO, SAD, R), pp. 707–714.
SAC-2009-CossentinoSS #collaboration #design #process: A collaborative tool for designing and enacting design processes (MC, LS, VS), pp. 715–721.
SAC-2009-DragoneLCO #component #framework #named: SoSAA: a framework for integrating components & agents (MD, DL, RWC, GMPO), pp. 722–728.
SAC-2009-NunesKNCL #multi #product line: Extending PASSI to model multi-agent systems product lines (IN, UK, CN, EC, CJPdL), pp. 729–730.
SAC-2009-CiriloNKNL #automation #multi #product line: Automatic product derivation of multi-agent systems product lines (EC, IN, UK, CN, CJPdL), pp. 731–732.
SAC-2009-MirallesLE #adaptation #multi #peer-to-peer: Multi-agent system adaptation in a peer-to-peer scenario (JCM, MLS, ME), pp. 735–739.
SAC-2009-CentenoBHO #formal method #modelling: Organising MAS: a formal model based on organisational mechanisms (RC, HB, RH, SO), pp. 740–746.
SAC-2009-VasiraniO #coordination: Market-based coordination for intersection control (MV, SO), pp. 747–751.
SAC-2009-CamaraBG #operating system #towards: Towards organizational agent-oriented operating systems (JPC, VJB, AGF), pp. 752–756.
SAC-2009-LeccaPPS #generative #network #parametricity #probability: A new probabilistic generative model of parameter inference in biochemical networks (PL, AP, CP, GS), pp. 758–765.
SAC-2009-RekapalliHZ #identification #named #scalability: HSP-HMMER: a tool for protein domain identification on a large scale (BR, CH, IBZ), pp. 766–770.
SAC-2009-LiCC #correlation #network: Construct anticancer drug-drug correlation network (JL, PC, JYC), pp. 771–775.
SAC-2009-CorderoVB #clustering #framework: A new protein motif extraction framework based on constrained co-clustering (FC, AV, MB), pp. 776–781.
SAC-2009-PostarnakevichS #modelling #representation #using #visualisation: Global-to-local representation and visualization of molecular surfaces using deformable models (NP, RS), pp. 782–787.
SAC-2009-ParkYAMP #algorithm #approach #detection #novel #search-based #segmentation #using: A novel approach to detect copy number variation using segmentation and genetic algorithm (CP, YY, JA, MM, SP), pp. 788–792.
SAC-2009-KontosB #modelling #network #visual notation: An improved shrinkage estimator to infer regulatory networks with Gaussian graphical models (KK, GB), pp. 793–798.
SAC-2009-SherminO #network #using: Using dynamic bayesian networks to infer gene regulatory networks from expression profiles (AS, MAO), pp. 799–803.
SAC-2009-LavorLMM #distance #geometry #on the #problem #subclass: On a discretizable subclass of instances of the molecular distance geometry problem (CL, LL, AM, NM), pp. 804–805.
SAC-2009-PesquitaFC #biology #database: Measuring coherence between electronic and manual annotations in biological databases (CP, DF, FMC), pp. 806–807.
SAC-2009-ManuchSS #bound #self: Two lower bounds for self-assemblies at temperature 1 (JM, LS, CS), pp. 808–809.
SAC-2009-AraujoSSF #classification #named #sequence #type system: HIVSetSubtype: software for subtype classification of HIV-1 sequences (LVdA, SSS, ECS, JEF), pp. 811–815.
SAC-2009-GoncalvesZGF #ontology #reasoning #representation #visualisation #web: An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web (BG, VZ, GG, JGPF), pp. 816–820.
SAC-2009-CorreaNBC #evaluation #health: Evaluation of VR medical training applications under the focus of professionals of the health area (CGC, FLSN, AB, PMCJ), pp. 821–825.
SAC-2009-OlowoyeyeTF #segmentation #using: Medical volume segmentation using bank of Gabor filters (AO, MT, SF), pp. 826–829.
SAC-2009-ZhangPB #visualisation: Task based visualization of 5D brain EIT data (YZ, PJP, RHB), pp. 831–835.
SAC-2009-PrettoMLSP #artificial reality: Augmented reality environment for life support training (FP, IHM, MHIL, ERdS, MSP), pp. 836–841.
SAC-2009-SchmitzbergerRNRP #architecture #learning: Thin client architecture in support of remote radiology learning (FFS, JER, SN, GDR, DSP), pp. 842–846.
SAC-2009-AthenikosHB #framework: A framework of a logic-based question-answering system for the medical domain (LOQAS-Med) (SJA, HH, ADB), pp. 847–851.
SAC-2009-FangLHVAZ #classification #image: Facial image classification of mouse embryos for the animal model study of fetal alcohol syndrome (SF, YL, JH, SVB, BA, FZ), pp. 852–856.
SAC-2009-NeubauerE #alias #evaluation: An evaluation of technologies for the pseudonymization of medical data (TN, AE), pp. 857–858.
SAC-2009-HabbalMMK #automation: Automated device for determination of skin lesion regions (MEH, MEM, OM, AIK), pp. 859–860.
SAC-2009-RyuKC #algorithm #detection #documentation #evolution #using: A detecting and tracing algorithm for unauthorized internet-news plagiarism using spatio-temporal document evolution model (CKR, HJK, HGC), pp. 863–868.
SAC-2009-PlattMG #classification #detection #topic: Improving classification based off-topic search detection via category relationships (AP, SSRM, NG), pp. 869–874.
SAC-2009-LiuAD #email #internet: Incorporating accountability into internet email (WL, SA, ZD), pp. 875–882.
SAC-2009-HoelzRG #forensics: Artificial intelligence applied to computer forensics (BWPH, CGR, RG), pp. 883–888.
SAC-2009-WeiSW #algorithm #clustering #email #fuzzy #novel #string: Clustering malware-generated spam emails with a novel fuzzy string matching algorithm (CW, AS, GW), pp. 889–890.
SAC-2009-ZhangCCW #clustering #image #visual notation: Revealing common sources of image spam by unsupervised clustering with visual features (CZ, WbC, XC, GW), pp. 891–892.
SAC-2009-MarquesF #documentation #using: Reconstructing strip-shredded documents using color as feature matching (MAOM, COAF), pp. 893–894.
SAC-2009-KahvedzicK #data type #on the #persistent: On the persistence of deleted windows registry data structures (DK, MTK), pp. 895–896.
SAC-2009-Djelloul #exponential #finite #infinity #linear: From exponential to almost linear decomposability of finite or infinite trees (KD), pp. 897–902.
SAC-2009-FloraTB #forensics #identification #image #using: Forensic bite mark identification using image processing methods (GF, MT, HB), pp. 903–907.
SAC-2009-Stanclova #complexity #on the: On the complexity of hierarchical associative memories (JS), pp. 908–913.
SAC-2009-LiuDSYH #algorithm #classification #image #invariant #using: A new K-View algorithm for texture image classification using rotation-invariant feature (HL, SD, ES, CY, CCH), pp. 914–921.
SAC-2009-SilvaML #approach #automation #heuristic: Heuristic approach for automated shelf space allocation (DLS, FM, KL), pp. 922–928.
SAC-2009-XuMX #game studies: A method to construct knowledge table-base in k-in-a-row games (CX, ZMM, XX), pp. 929–933.
SAC-2009-MartinsHM #image #multi #re-engineering #using: Super-resolution image reconstruction using the generalized isotropic multi-level logistic model (ALDM, MRPH, NDAM), pp. 934–938.
SAC-2009-JazayeriCZTB #locality #video: An intelligent video system for vehicle localization and tracking in police cars (AJ, HC, JYZ, MT, HB), pp. 939–940.
SAC-2009-HuangSMZH #approach #using: A new cross-training approach by using labeled data (DH, ES, GM, HZ, CCH), pp. 941–942.
SAC-2009-ShaLW #classification #using #visual notation: Foreground classification using active template in the scene context for visual surveillance (XS, XL, JW), pp. 943–944.
SAC-2009-LeeJKKKC #effectiveness #process: Shader space navigator: a turbo for an intuitive and effective shading process (JHL, MHJ, DYK, SWK, MHK, JSC), pp. 945–946.
SAC-2009-AragonR #workflow: Workflow management for high volume supernova search (CRA, KJR), pp. 949–955.
SAC-2009-ChengS #modelling #nondeterminism #quality: Uncertainty apportionment for air quality forecast models (HC, AS), pp. 956–960.
SAC-2009-VomelTM #quantum: Bulk based preconditioning for quantum dot computations (CV, ST, OM), pp. 961–965.
SAC-2009-WangDLL #performance #process: An efficient and accurate lattice for pricing derivatives under a jump-diffusion process (CJW, TSD, YDL, YCL), pp. 966–970.
SAC-2009-BuckerRRW #automation #parallel #problem #simulation: Semi-automatic parallelization of direct and inverse problems for geothermal simulation (HMB, AR, VR, AW), pp. 971–975.
SAC-2009-LinfordS #effectiveness #parallel: Vector stream processing for effective application of heterogeneous parallelism (JCL, AS), pp. 976–980.
SAC-2009-MathuriyaBHH #manycore #named #predict #scalability: GTfold: a scalable multicore code for RNA secondary structure prediction (AM, DAB, CEH, SCH), pp. 981–988.
SAC-2009-CipciganR #difference #equation #probability: Interlaced Euler scheme for stiff systems of stochastic differential equations (IC, MR), pp. 989–994.
SAC-2009-KangCRRV #adaptation #composition #implementation #probability #simulation: Modular implementation of adaptive decisions in stochastic simulations (PK, YC, NR, CJR, SV), pp. 995–1001.
SAC-2009-BangerthJ #adaptation #finite #problem: Adaptive finite element methods for nonlinear inverse problems (WB, AJ), pp. 1002–1006.
SAC-2009-WangT #algorithm #morphism: An algorithm for optimal comma free codes with isomorphism rejection (HW, VDT), pp. 1007–1008.
SAC-2009-WakataniK #algorithm #grid #parallel: Reduced parallel PNN algorithm for PC grid systems (AW, TK), pp. 1009–1010.
SAC-2009-NamakiBM #performance: Exhaustion dominated performance: a first attempt (NN, AdB, SMC), pp. 1011–1012.
SAC-2009-ChenR #adaptation #quality #realtime: Adaptive optimal checkpoint interval and its impact on system’s overall quality in soft real-time applications (NC, SR), pp. 1015–1020.
SAC-2009-RouvoyEB #adaptation #dependence #self #ubiquitous #weaving: Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services (RR, FE, MB), pp. 1021–1028.
SAC-2009-BroyLSSW #adaptation #behaviour #formal method: Formalizing the notion of adaptive system behavior (MB, CL, WS, BS, SW), pp. 1029–1033.
SAC-2009-PetrucciLM #adaptation #clustering #framework #power management: A framework for dynamic adaptation of power-aware server clusters (VP, OL, DM), pp. 1034–1039.
SAC-2009-UddinZ #algorithm #automation #monitoring #named #trust: ATM: an automatic trust monitoring algorithm for service software (MGU, MZ), pp. 1040–1044.
SAC-2009-ChenJZY #adaptation #performance: Boosting the performance of computing systems through adaptive configuration tuning (HC, GJ, HZ, KY), pp. 1045–1049.
SAC-2009-LiangZSZ #adaptation #architecture #distributed #embedded #realtime #resource management: Adaptive resource management architecture for distributed real-time embedded systems (KL, XZ, RS, KZ), pp. 1050–1055.
SAC-2009-SantosHS: Latency-aware leader election (NS, MH, AS), pp. 1056–1061.
SAC-2009-HoqueRA #authentication #privacy #protocol #robust #security #using: Supporting recovery, privacy and security in RFID systems using a robust authentication protocol (MEH, FR, SIA), pp. 1062–1066.
SAC-2009-CamargoFK #distributed #maintenance #performance: Efficient maintenance of distributed data in highly dynamic opportunistic grids (RYdC, FCF, FK), pp. 1067–1071.
SAC-2009-LiuMZ #approach #dependence #evolution #identification: An approach to identifying conversation dependency in service oriented system during dynamic evolution (ML, DM, YZ), pp. 1072–1073.
SAC-2009-GaoZL #algorithm #constraints #fuzzy #optimisation: A particle swarm optimization based algorithm for fuzzy bilevel decision making with constraints-shared followers (YG, GZ, JL), pp. 1075–1079.
SAC-2009-ChenJ #evolution: A gradient oriented recombination scheme for evolution strategies (HC, GJ), pp. 1080–1084.
SAC-2009-BasgaluppBCFR #algorithm #induction #multi #named #search-based: LEGAL-tree: a lexicographic multi-objective genetic algorithm for decision tree induction (MPB, RCB, ACPLFdC, AAF, DDR), pp. 1085–1090.
SAC-2009-MoallemL #distributed #grid #scheduling #using: Using artificial life techniques for distributed grid job scheduling (AM, SAL), pp. 1091–1097.
SAC-2009-ParkPR #algorithm #automation #using: Planning for remarshaling in an automated container terminal using cooperative coevolutionary algorithms (KP, TP, KRR), pp. 1098–1105.
SAC-2009-MasaruS #algorithm #modelling #search-based: Daily demand forecasting of new products utilizing diffusion models and genetic algorithms (TM, MS), pp. 1106–1107.
SAC-2009-MagaudNS #coq #formal method #theorem #using: Formalizing Desargues’ theorem in Coq using ranks (NM, JN, PS), pp. 1110–1115.
SAC-2009-OwenP #framework #infinity: Infinite bar-joint frameworks (JCO, SCP), pp. 1116–1121.
SAC-2009-GaoS #graph #performance: Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces (HG, MS), pp. 1122–1126.
SAC-2009-HallerJSSW #constraints #geometry: Body-and-cad geometric constraint systems (KH, ALSJ, MS, IS, NW), pp. 1127–1131.
SAC-2009-IdaT #algebra #graph grammar: Origami fold as algebraic graph rewriting (TI, HT), pp. 1132–1137.
SAC-2009-TangL #problem: The unique solution for P3P problem (JT, NL), pp. 1138–1139.
SAC-2009-ChengGL: Topology determination and isolation for implicit plane curves (JSC, XSG, JL), pp. 1140–1141.
SAC-2009-FarberB #composition #multi: Multivariate root finding with search space decomposition and randomisation (MF, BB), pp. 1142–1143.
SAC-2009-BrooksI #classification #detection #novel #visual notation: Visual detection of novel terrain via two-class classification (CAB, KI), pp. 1145–1150.
SAC-2009-MullerK #interactive #visual notation: Attention driven visual processing for an interactive dialog robot (TM, AK), pp. 1151–1155.
SAC-2009-HeinenE #2d #evaluation #modelling #similarity #visual notation: Evaluation of visual attention models under 2D similarity transformations (MRH, PME), pp. 1156–1160.
SAC-2009-HeinenO #evolution: Evolving morphologies and gaits of physically realistic simulated robots (MRH, FSO), pp. 1161–1165.
SAC-2009-HoerstingBD #image #visual notation: Visual loop-closing with image profiles (HH, LB, ZD), pp. 1166–1170.
SAC-2009-TimotheouL #communication #nondeterminism: Autonomous networked robots for the establishment of wireless communication in uncertain emergency response scenarios (ST, GL), pp. 1171–1175.
SAC-2009-DrumwrightS #robust #simulation: A robust and tractable contact model for dynamic robotic simulation (ED, DAS), pp. 1176–1180.
SAC-2009-BerardNT #fault #simulation: Sources of error in a rigid body simulation of rigid parts on a vibrating rigid plate (SB, BN, JCT), pp. 1181–1185.
SAC-2009-ConceicaoMC #mobile #modelling #predict: A nonlinear mobile robot modeling applied to a model predictive controller (ASC, APM, JPC), pp. 1186–1187.
SAC-2009-SmithD #image #navigation #visual notation: Visual navigation: image profiles for odometry and control (DS, ZD), pp. 1188–1189.
SAC-2009-Fernandez-MarquezA: Keeping diversity when exploring dynamic environments (JLFM, JLA), pp. 1192–1196.
SAC-2009-Beal #flexibility #self: Flexible self-healing gradients (JB), pp. 1197–1201.
SAC-2009-CastelliMZ #generative #pervasive #self: Self-organized control of knowledge generation in pervasive computing systems (GC, RM, FZ), pp. 1202–1208.
SAC-2009-JesiMNS #approach: Prestige-based peer sampling service: interdisciplinary approach to secure gossip (GPJ, EM, SKN, MvS), pp. 1209–1213.
SAC-2009-RajgurePBH #clustering #network #self #transaction: Geographical data collection in sensor networks with self-organizing transaction cluster-heads (NR, EP, CB, SH), pp. 1214–1218.
SAC-2009-AymerichFS #grid #in the cloud #realtime: A real time financial system based on grid and cloud computing (FA, GF, SS), pp. 1219–1220.
SAC-2009-ViroliCMZ #adaptation #ecosystem: A biochemical metaphor for developing eternally adaptive service ecosystems (MV, MC, SM, FZ), pp. 1221–1222.
SAC-2009-KasingerDB #coordination #distributed: Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals (HK, JD, BB), pp. 1223–1224.
SAC-2009-EcharteACV #folksonomy #quality: Improving folksonomies quality by syntactic tag variations grouping (FE, JJA, AC, JEV), pp. 1226–1230.
SAC-2009-GroppeGEL #in memory #memory management #performance #strict: Efficient processing of SPARQL joins in memory by dynamically restricting triple patterns (JG, SG, SE, VL), pp. 1231–1238.
SAC-2009-GroppeNL #java #named #query #rdf #satisfiability #semantics #type safety #web: SWOBE — embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types (SG, JN, VL), pp. 1239–1246.
SAC-2009-StellerK #mobile #performance #pervasive #reasoning: Efficient mobile reasoning for pervasive discovery (LS, SK), pp. 1247–1251.
SAC-2009-ZaidKT #feature model #modelling #semantics #web: Applying semantic web technology to feature modeling (LAZ, FK, ODT), pp. 1252–1256.
SAC-2009-NarayananCKS #parallel #scalability: Parallel materialization of large ABoxes (SN, ÜVÇ, TMK, JHS), pp. 1257–1261.
SAC-2009-YounM #email #ontology #personalisation #using: Spam decisions on gray e-mail using personalized ontologies (SY, DM), pp. 1262–1266.
SAC-2009-BoucherZ #owl: Leveraging OWL for GIS interoperability: rewards and pitfalls (SB, EZ), pp. 1267–1272.
SAC-2009-ThirunarayanP #network #semantics: Semantic information and sensor networks (KT, JP), pp. 1273–1274.
SAC-2009-TartirMA #named #semantics: SemanticQA: web-based ontology-driven question answering (ST, BM, IBA), pp. 1275–1276.
SAC-2009-PengC #collaboration #multi #named #recommendation #trust: iTrustU: a blog recommender system based on multi-faceted trust and collaborative filtering (TCP, ScTC), pp. 1278–1285.
SAC-2009-KingLS #network #taxonomy: A taxonomy and adversarial model for attacks against network log anonymization (JK, KL, AJS), pp. 1286–1293.
SAC-2009-Ries #modelling #representation #trust: Extending Bayesian trust models regarding context-dependence and user friendly representation (SR), pp. 1294–1301.
SAC-2009-Huynh #assessment #framework #personalisation #trust: A personalized framework for trust assessment (TDH), pp. 1302–1307.
SAC-2009-YangSKY #collaboration #modelling #online #trust: Defending online reputation systems against collaborative unfair raters through signal modeling and trust (YY, YLS, SK, QY), pp. 1308–1315.
SAC-2009-KobayashiOOT #modelling #overview #web: Modeling and analyzing review information on the web focusing on credibility (TK, HO, SO, KT), pp. 1316–1317.
SAC-2009-FortS #distance #network: GPU-based computation of distance functions on road networks with applications (MF, JAS), pp. 1320–1324.
SAC-2009-KangKL #metric #similarity: Similarity measures for trajectory of moving objects in cellular space (HYK, JSK, KJL), pp. 1325–1330.
SAC-2009-BaechlerBH #image #modelling #using #verification: Labeled images verification using Gaussian mixture models (MB, JLB, JH), pp. 1331–1335.
SAC-2009-SiqueiraCTC: A spatial bitmap-based index for geographical data warehouses (TLLS, RRC, VCT, CDdAC), pp. 1336–1342.
SAC-2009-LeoniGLM #adaptation #mobile #online #process: On-line adaptation of sequential mobile processes running concurrently (MdL, GDG, YL, MM), pp. 1345–1352.
SAC-2009-ViroliCO #coordination #framework #implementation #modelling #self: A framework for modelling and implementing self-organising coordination (MV, MC, AO), pp. 1353–1360.
SAC-2009-CasadeiO #tuple: Situated tuple centres in ReSpecT (MC, AO), pp. 1361–1368.
SAC-2009-KoehlerC #automaton: Decomposing port automata (CK, DC), pp. 1369–1373.
SAC-2009-MurthK #coordination #knowledge-based #reliability #semantics: Knowledge-based coordination with a reliable semantic subscription mechanism (MM, EK), pp. 1374–1380.
SAC-2009-KokashA #coordination #transaction: Applying Reo to service coordination in long-running business transactions (NK, FA), pp. 1381–1382.
SAC-2009-ArbelaezH #dependence: Exploiting weak dependencies in tree-based search (AA, YH), pp. 1385–1391.
SAC-2009-MetivierBL: Softening Gcc and Regular with preferences (JPM, PB, SL), pp. 1392–1396.
SAC-2009-YipH #bound #consistency #constraints: Length-lex bound consistency for knapsack constraints (JY, PVH), pp. 1397–1401.
SAC-2009-DungDH #constraints #framework #graph #optimisation: LS(graph & tree): a local search framework for constraint optimization on graphs and trees (PQD, YD, PVH), pp. 1402–1407.
SAC-2009-KrocSS #heuristic #message passing #satisfiability: Message-passing and local heuristics as decimation strategies for satisfiability (LK, AS, BS), pp. 1408–1414.
SAC-2009-YangLLW #approach #approximate #constraints #theorem proving: An approximate approach to constraint solving in soft sensing (TY, ZL, XL, HW), pp. 1415–1416.
SAC-2009-Brand #composition #constraints #matrix #problem: The sum-of-increments constraint in the consecutive-ones matrix decomposition problem (SB), pp. 1417–1418.
SAC-2009-Castro-HerreraDCM #elicitation #recommendation #requirements #scalability: A recommender system for requirements elicitation in large-scale software projects (CCH, CD, JCH, BM), pp. 1419–1426.
SAC-2009-BacharM #classification #novel #ranking: A novel distance-based classifier built on pattern ranking (DB, RM), pp. 1427–1432.
SAC-2009-LeonardiORRS: Frequent spatio-temporal patterns in trajectory data warehouses (LL, SO, AR, AR, CS), pp. 1433–1440.
SAC-2009-LinL #generative #mining: Optimal candidate generation in spatial co-location mining (ZL, SL), pp. 1441–1445.
SAC-2009-FodehPT #clustering #documentation #semantics #statistics: Combining statistics and semantics via ensemble model for document clustering (SJF, WFP, PNT), pp. 1446–1450.
SAC-2009-CaldersGPR #mining #process #using: Using minimum description length for process mining (TC, CWG, MP, AR), pp. 1451–1455.
SAC-2009-HendersonE #graph #scalability: Applying latent dirichlet allocation to group discovery in large graphs (KH, TER), pp. 1456–1461.
SAC-2009-Xie #predict: Improved AdaBoost.M1 of decision trees with confidence-rated predictions (ZX), pp. 1462–1466.
SAC-2009-OwensMR #dataset #mining: Capturing truthiness: mining truth tables in binary datasets (CCOI, TMM, NR), pp. 1467–1474.
SAC-2009-LopesZ #database #named #relational #scalability: HTILDE: scaling up relational decision trees for very large databases (CL, GZ), pp. 1475–1479.
SAC-2009-KimTJJM #automation #roadmap: Automatic discovery of technology trends from patent text (YK, YT, YJ, JR, SHM), pp. 1480–1487.
SAC-2009-ShangLL #biology #functional #mining #network: Mining functional associated patterns from biological network data (XS, ZL, WL), pp. 1488–1489.
SAC-2009-MarascuM #data type #detection: Parameterless outlier detection in data streams (AM, FM), pp. 1491–1495.
SAC-2009-GamaRS #algorithm #data type: Evaluating algorithms that learn from data streams (JG, PPR, RS), pp. 1496–1500.
SAC-2009-RossTA #data type #online #predict: Online annotation and prediction for regime switching data streams (GJR, DKT, NMA), pp. 1501–1505.
SAC-2009-WanMKJ #communication #detection #email #network: Link-based event detection in email communication networks (XW, EEM, NK, JJ), pp. 1506–1510.
SAC-2009-KarnstedtKPSF #adaptation #detection: Adaptive burst detection in a stream engine (MK, DK, CP, KUS, CF), pp. 1511–1515.
SAC-2009-MaLWW #query #realtime #scheduling: Real-time scheduling for continuous queries with deadlines (LM, XL, YW, HW), pp. 1516–1517.
SAC-2009-ChaovalitG #clustering #data type: A method for clustering transient data streams (PC, AG), pp. 1518–1519.
SAC-2009-LuYLELW #correlation #data type #detection #incremental #using: Incremental outlier detection in data streams using local correlation integral (XL, TY, ZL, ME, WL, HW), pp. 1520–1521.
SAC-2009-Abbadeni #database #information retrieval #multi #query #using #visual notation: Information retrieval from visual databases using multiple representations and multiple queries (NA), pp. 1523–1527.
SAC-2009-FungCDX #privacy: Privacy protection for RFID data (BCMF, MC, BCD, HX), pp. 1528–1535.
SAC-2009-KongGL #keyword #xml: Retrieving valid matches for XML keyword search (LK, RG, AL), pp. 1536–1540.
SAC-2009-LimaH #approach #using: Computing data cubes using exact sub-graph matching: the sequential MCG approach (JdCL, CMH), pp. 1541–1548.
SAC-2009-HendersonCL #performance: Exploiting join cardinality for faster hash joins (MH, BC, RL), pp. 1549–1554.
SAC-2009-MahboubiD #performance #query #xml: Enhancing XML data warehouse query performance by fragmentation (HM, JD), pp. 1555–1562.
SAC-2009-YanML #fuzzy #modelling #xml: Fuzzy data modeling based on XML schema (LY, ZMM, JL), pp. 1563–1567.
SAC-2009-LeeKLY #approximate #database #network: Approximate indexing in road network databases (SCL, SWK, JL, JSY), pp. 1568–1572.
SAC-2009-AmoR #named #query: CPref-SQL: a query language supporting conditional preferences (SdA, MRR), pp. 1573–1577.
SAC-2009-Manine #information management #learning #multi #ontology: Learning the ontological theory of an information extraction system in the multi-predicate ILP setting (APM), pp. 1578–1582.
SAC-2009-Yu #consistency #distributed #process: Consistent and decentralized orchestration of BPEL processes (WY), pp. 1583–1584.
SAC-2009-ChoB #performance #query #xml: Building an efficient preference XML query processor (SC, WTB), pp. 1585–1586.
SAC-2009-Hohn #modelling #reasoning: Model-based reasoning on the achievement of business goals (SH), pp. 1589–1593.
SAC-2009-MarconSLS #architecture #policy: Policy management architecture based on provisioning model and authorization certificates (ALMJ, AOS, LAdPLJ, MS), pp. 1594–1598.
SAC-2009-EckartzDWH #enterprise #how #question: Cross-organizational ERP management: how to create a successful business case? (SE, MD, RW, JvH), pp. 1599–1604.
SAC-2009-JohanssonC #comparison #development #enterprise #open source #requirements: Management of requirements in ERP development: a comparison between proprietary and open source ERP (BJ, RAdC), pp. 1605–1609.
SAC-2009-XuLQ #predict #privacy: Privacy preserving churn prediction (SX, SL, MQ), pp. 1610–1614.
SAC-2009-EshuisN #outsourcing #process: Constructing process views for service outsourcing (RE, AN), pp. 1615–1616.
SAC-2009-BakkerI: Web-services in the dutch healthcare insurance sector: expected versus achieved benefits (HB, MEI), pp. 1617–1618.
SAC-2009-LiuYWJX #adaptation #memory management #scalability: An adaptive block-set based management for large-scale flash memory (ZL, LY, PW, PJ, XX), pp. 1621–1625.
SAC-2009-VasudevanE #compilation #concurrent #manycore: Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore (NV, SAE), pp. 1626–1631.
SAC-2009-RodriguesSC #composition #embedded #functional #set #using #verification: Improving functional verification of embedded systems using hierarchical composition and set theory (CLR, KRGdS, HdNC), pp. 1632–1636.
SAC-2009-QiuLS #embedded #framework #hardware #optimisation #platform #realtime: Heterogeneous real-time embedded software optimization considering hardware platform (MQ, HL, EHMS), pp. 1637–1641.
SAC-2009-TarratacaSC #gesture #recognition #smarttech #using: The current feasibility of gesture recognition for a smartphone using J2ME (LT, ACS, JMPC), pp. 1642–1649.
SAC-2009-MoserCT #embedded: Optimal service level allocation in environmentally powered embedded systems (CM, JJC, LT), pp. 1650–1657.
SAC-2009-DohLMKCLN #embedded #file system #metadata #performance: Impact of NVRAM write cache for file system metadata on I/O performance in embedded systems (IHD, HJL, YJM, EK, JC, DL, SHN), pp. 1658–1663.
SAC-2009-ImS #architecture #memory management: Storage architecture and software support for SLC/MLC combined flash memory (SI, DS), pp. 1664–1669.
SAC-2009-MaengKSR #architecture #debugging #embedded #named #realtime: RT-replayer: a record-replay architecture for embedded real-time software debugging (JCM, JIK, MKS, MR), pp. 1670–1675.
SAC-2009-ChoudhuriG #embedded #named #nondeterminism: FlashBox: a system for logging non-deterministic events in deployed embedded systems (SC, TG), pp. 1676–1682.
SAC-2009-KiyoharaMMNK #embedded #performance: Method for fast compression of program codes for remote updates in embedded systems (RK, SM, MM, MN, SK), pp. 1683–1684.
SAC-2009-LaiRC #embedded #on the #realtime #scheduling: On scheduling soft real-time tasks with lock-free synchronization for embedded devices (SL, BR, HC), pp. 1685–1686.
SAC-2009-PaganoCRLSAST #implementation #network #realtime: ERIKA and open-ZB: an implementation for real-time wireless networking (PP, MC, AR, GL, RS, MA, PGS, ET), pp. 1687–1688.
SAC-2009-HijikataHON #algorithm #analysis #using: HITS algorithm improvement using anchor-related text extracted by DOM structure analysis (YH, BQH, MO, SN), pp. 1691–1698.
SAC-2009-MattheT #query #using: Bipolar query satisfaction using satisfaction and dissatisfaction degrees: bipolar satisfaction degrees (TM, GDT), pp. 1699–1703.
SAC-2009-TreDWMC #approach: Heterogeneous bipolar criteria satisfaction handling in geographical decision support systems: an LSP based approach (GDT, JJD, NVdW, TM, NC), pp. 1704–1708.
SAC-2009-WuM #collaboration #web: Diverse peer selection in collaborative web search (LSW, FM), pp. 1709–1713.
SAC-2009-ShenU #approximate #composition #concept #matrix #multi: A class of multistep sparse matrix strategies for concept decomposition matrix approximation (CS, MU), pp. 1714–1718.
SAC-2009-HohfeldGBBSS #collaboration #multi #self: Self-organizing collaborative filtering in global-scale massive multi-user virtual environments (AH, PG, AB, JB, HS, IS), pp. 1719–1723.
SAC-2009-CelikikB #performance #scalability: Fast error-tolerant search on very large texts (MC, HB), pp. 1724–1731.
SAC-2009-DaoudTBC #ontology #personalisation #using: A session based personalized search using an ontological user profile (MD, LTL, MB, BC), pp. 1732–1736.
SAC-2009-YeeNF #peer-to-peer #query: Alternatives to conjunctive query processing in peer-to-peer file-sharing systems (WGY, LTN, OF), pp. 1737–1741.
SAC-2009-LiuMYGF #corpus #mining #probability: A sentence level probabilistic model for evolutionary theme pattern mining from news corpora (SL, YM, WGY, NG, OF), pp. 1742–1747.
SAC-2009-BoscPS #query: Stratified division queries involving ordinal user preferences (PB, OP, OS), pp. 1748–1749.
SAC-2009-WangCH #learning #multi #music #retrieval: Music retrieval based on a multi-samples selection strategy for support vector machine active learning (TW, GC, PH), pp. 1750–1751.
SAC-2009-KumarPV: A light-weight summarizer based on language model with relative entropy (CK, PP, VV), pp. 1752–1753.
SAC-2009-YounM09a #email #embedded #image: Improved spam filtering by extraction of information from text embedded image e-mail (SY, DM), pp. 1754–1755.
SAC-2009-PinhoOL #incremental #set #visualisation: Incremental board: a grid-based space for visualizing dynamic data sets (RP, MCFdO, AdAL), pp. 1757–1764.
SAC-2009-RoeslerHC #case study #distance #learning #multi: A new multimedia synchronous distance learning system: the IVA study case (VR, RH, CHC), pp. 1765–1770.
SAC-2009-dAciernoMP #library #recommendation: A recommendation system for browsing digital libraries (Ad, VM, AP), pp. 1771–1778.
SAC-2009-KangGC #predict #scalability: A new inter-layer prediction scheme for spatial scalability with different frame rates (JK, GG, KC), pp. 1779–1783.
SAC-2009-JangYC #algorithm #clustering #multi #set: A smart clustering algorithm for photo set obtained from multiple digital cameras (CJJ, TY, HGC), pp. 1784–1791.
SAC-2009-SchwartzHL #visualisation: Term distribution visualizations with Focus+Context (MS, CH, LML), pp. 1792–1799.
SAC-2009-KumarZ #clustering #graph #visualisation: Visualization of clustered directed acyclic graphs with node interleaving (PK, KZ), pp. 1800–1805.
SAC-2009-SinghB #identification #multi #web: Information-theoretic identification of content pages for analyzing user information needs and actions on the multimedia web (RS, BDB), pp. 1806–1810.
SAC-2009-ChunLSC #multi #predict #using #video: An enhanced multi-view video compression using the constrained inter-view prediction (SC, SL, KS, KC), pp. 1811–1815.
SAC-2009-FlorezL #video: Discovery of time series in video data through distribution of spatiotemporal gradients (OUF, SL), pp. 1816–1820.
SAC-2009-SoaresRCB #declarative #xml: Variable handling in time-based XML declarative languages (LFGS, RFR, RC, SDJB), pp. 1821–1828.
SAC-2009-TeixeiraMCP #interactive: User-media interaction with interactive TV (CACT, ELM, RGC, MdGCP), pp. 1829–1833.
SAC-2009-FreitasT #network #ubiquitous: Ubiquitous services in home networks offered through digital TV (GBdF, CACT), pp. 1834–1838.
SAC-2009-LeS #concept #detection #performance #visual notation: Efficient concept detection by fusing simple visual features (DDL, SS), pp. 1839–1840.
SAC-2009-KimHJJY #data flow #network #scalability #social #visualisation: Visualization of information flows in a very large social network (SGK, HH, KJ, HJ, HYY), pp. 1841–1842.
SAC-2009-LiuLC #2d #mobile: Two-dimensional non-photorealistic drawings on mobile devices (DSML, CHL, CIC), pp. 1843–1844.
SAC-2009-GohKCC #analysis #performance #scalability #video: Fast mode decision for scalable video coding based on neighboring macroblock analysis (GG, JK, MC, KC), pp. 1845–1846.
SAC-2009-FilhoNLA #framework #memory management #mobile #using #visualisation: A framework for text visualization using memory traffic management for mobile devices (JBFF, JdSRN, CRFL, RMCA), pp. 1847–1848.
SAC-2009-SaitoI #type system: Matching ThisType to subtyping (CS, AI), pp. 1851–1858.
SAC-2009-FurrAFH #ruby #static typing #type inference: Static type inference for Ruby (MF, Jh(A, JSF, MWH), pp. 1859–1866.
SAC-2009-PivetaPAMGP #refactoring #representation: Representing refactoring opportunities (EKP, MSP, JA, AMDM, PG, RTP), pp. 1867–1872.
SAC-2009-LievensH #encapsulation #multi #symmetry: Symmetric encapsulated multi-methods to abstract over application structure (DL, WH), pp. 1873–1880.
SAC-2009-ZhangLZZZZ #first-order #linear #optimisation: Optimizing techniques for saturated arithmetic with first-order linear recurrence (WZ, LL, CZ, HZ, BZ, CZ), pp. 1883–1889.
SAC-2009-BriggsA #algebra #constraints #parametricity #specification: Algebraic specification techniques for parametric types with logic-based constraints (DB, SA), pp. 1890–1897.
SAC-2009-Tarau #data type #finite #haskell #morphism: Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell (PT), pp. 1898–1902.
SAC-2009-CervelleFLR #framework #implementation #java #named: Banzai: a Java framework for the implementation of high-performance servers (JC, RF, GL, GR), pp. 1903–1909.
SAC-2009-Mogensen #game studies #specification: Troll, a language for specifying dice-rolls (TÆM), pp. 1910–1915.
SAC-2009-BiggarVG #compilation #scripting language: A practical solution for scripting language compilers (PB, EdV, DG), pp. 1916–1923.
SAC-2009-DemailleLS #abstract syntax tree #effectiveness #named #parsing #using: TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing (AD, RL, BS), pp. 1924–1929.
SAC-2009-JangC #analysis #javascript #points-to: Points-to analysis for JavaScript (DJ, KMC), pp. 1930–1937.
SAC-2009-KrajcaV #formal method #implementation #parallel #performance: Data parallel dialect of scheme: outline of the formal model, implementation, performance (PK, VV), pp. 1938–1939.
SAC-2009-OyamaKI #haskell #monitoring #named #virtual machine: Kenro: a virtual machine monitor mostly described in Haskell (YO, YK, HI), pp. 1940–1941.
SAC-2009-SchippersHH #implementation: An implementation substrate for languages composing modularized crosscutting concerns (HS, MH, RH), pp. 1944–1951.
SAC-2009-ParkH #embedded #fine-grained #operating system #programming #using: Building a customizable embedded operating system with fine-grained joinpoints using the AOX programming environment (JP, SH), pp. 1952–1956.
SAC-2009-CazzolaCH #aspect-oriented #design #game studies: Aspect-oriented procedural content engineering for game design (WC, DC, DH), pp. 1957–1962.
SAC-2009-EbraertVV #flexibility #reuse: Flexible features: making feature modules more reusable (PE, JV, YV), pp. 1963–1970.
SAC-2009-OrdinezDSO #behaviour #resource management #scheduling: Resource sharing in behavioral based scheduling (LO, DD, RMS, JO), pp. 1972–1978.
SAC-2009-LiuZ #distance #performance #stack #worst-case: Exploiting stack distance to estimate worst-case data cache performance (YL, WZ), pp. 1979–1983.
SAC-2009-FaggioliTC #algorithm #implementation #linux: An implementation of the earliest deadline first algorithm in Linux (DF, MT, FC), pp. 1984–1989.
SAC-2009-MonacoNP #architecture #latency #orthogonal #realtime #requirements #scheduling: An orthogonal real-time scheduling architecture for responsiveness QoS requirements in SOA environments (FJM, MN, MLMP), pp. 1990–1995.
SAC-2009-CapozuccaG #concurrent #design #object-oriented #realtime #reliability: Designing reliable real-time concurrent object-oriented software systems (AC, NG), pp. 1996–1997.
SAC-2009-WeiCM #design #energy #manycore #metric #realtime: Designing a multi-core hard real-time test bed for energy measurement experiments (TW, XC, PM), pp. 1998–1999.
SAC-2009-Vaidya #linear #privacy #programming: Privacy-preserving linear programming (JV), pp. 2002–2007.
SAC-2009-KerschbaumDSB #communication #complexity #multi #on the #protocol: On the practical importance of communication complexity for secure multi-party computation protocols (FK, DD, AS, DB), pp. 2008–2015.
SAC-2009-SchryenK #open source #security #towards: Open source vs. closed source software: towards measuring security (GS, RK), pp. 2016–2023.
SAC-2009-OGormanB #correlation #network: Improving stream correlation attacks on anonymous networks (GO, SB), pp. 2024–2028.
SAC-2009-LombardiP #kernel #linux #named #security #virtual machine: KvmSec: a security extension for Linux kernel virtual machines (FL, RDP), pp. 2029–2034.
SAC-2009-Villamarin-SalomonB #detection #similarity: Bayesian bot detection based on DNS traffic similarity (RVS, JCB), pp. 2035–2041.
SAC-2009-MaoLPCH #approach #detection #learning #multi: Semi-supervised co-training and active learning based approach for multi-view intrusion detection (CHM, HML, DP, TC, SYH), pp. 2042–2048.
SAC-2009-DavtyanKKMNRSSS: Taking total control of voting systems: firmware manipulations on an optical scan voting terminal (SD, SK, AK, LDM, NCN, AR, AS, NS, AAS), pp. 2049–2053.
SAC-2009-LiuYWS #architecture #injection #named #sql #towards: SQLProb: a proxy-based architecture towards preventing SQL injection attacks (AL, YY, DW, AS), pp. 2054–2061.
SAC-2009-DjalalievB #documentation #retrieval: Secure web-based retrieval of documents with usage controls (PD, JCB), pp. 2062–2069.
SAC-2009-AhulloLAA #network #simulation: An extensible simulation tool for overlay networks and services (JPA, PGL, MSA, MAA), pp. 2072–2076.
SAC-2009-LeezerZ #simulation: Simulating human intuitive decisions by Q-learning (JL, YZ), pp. 2077–2081.
SAC-2009-BandiniBV #design #self #simulation: Simulation supporting the design of self-organizing ambient intelligent systems (SB, AB, GV), pp. 2082–2086.
SAC-2009-HassaineMF: Composing a high fidelity HLA federation for littoral operations (FH, RM, CF), pp. 2087–2092.
SAC-2009-FachadaLR #simulation: Simulating antigenic drift and shift in influenza A (NF, VVL, ACR), pp. 2093–2100.
SAC-2009-RossiTV #process #simulation: Simulating business processes with EPML.SIM (DR, ET, FV), pp. 2101–2102.
SAC-2009-CasadeiV #design #model checking #probability #self #simulation #using: Using probabilistic model checking and simulation for designing self-organizing systems (MC, MV), pp. 2103–2104.
SAC-2009-EstevesRFO #concept #framework #implementation #platform #simulation: Conceptualization and implementation of a microscopic pedestrian simulation platform (EFE, RJFR, PAFF, ECO), pp. 2105–2106.
SAC-2009-ShellD #precise #simulation: Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.
SAC-2009-BeekMG #framework #named #verification: CMC-UMC: a framework for the verification of abstract service-oriented properties (MHtB, FM, SG), pp. 2111–2117.
SAC-2009-HalleV #monitoring #runtime #streaming #using #web #web service #xml: Runtime monitoring of web service choreographies using streaming XML (SH, RV), pp. 2118–2125.
SAC-2009-CastilloGC #database #legacy #named #process #re-engineering #web #web service: PRECISO: a reengineering process and a tool for database modernisation through web services (RPC, IGRdG, IC), pp. 2126–2133.
SAC-2009-ZurowskaD #execution #web #web service: Load management in model-aware execution of composite web services (KZ, RD), pp. 2134–2139.
SAC-2009-EsfahaniMSU #mining #process #using: Using process mining to business process distribution (FSE, MAAM, MNS, NIU), pp. 2140–2145.
SAC-2009-BlakeNBK: Annotating UDDI registries to support the management of composite services (MBB, MFN, AB, SK), pp. 2146–2153.
SAC-2009-AneddaGM #approach #virtual machine: A general service oriented approach for managing virtual machines allocation (PA, MG, SM), pp. 2154–2161.
SAC-2009-ThanheiserLS #approach #assessment #named #simulation: SimSOA: an approach for agent-based simulation and design-time assessment of SOC-based IT systems (ST, LL, HS), pp. 2162–2169.
SAC-2009-LiuTS #classification #complexity #learning #using: Assessing complexity of service-oriented computing using learning classifier systems (LL, ST, HS), pp. 2170–2171.
SAC-2009-JeonPC #energy #grid #performance: Sink-oriented dynamic location service for shortest path relay with energy efficient global grid (HJ, KP, HC), pp. 2174–2179.
SAC-2009-HammadC #lightweight #monitoring: Lightweight monitoring of sensor software (MH, JC), pp. 2180–2185.
SAC-2009-SkordylisT #delivery #monitoring #optimisation: Jointly optimizing data acquisition and delivery in traffic monitoring VANETs (AS, NT), pp. 2186–2190.
SAC-2009-PaganoPL #multi #realtime #using: Real-time multi-view vision systems using WSNs (PP, FP, YL), pp. 2191–2196.
SAC-2009-KimR #multi #network #realtime: Opportunistic real-time routing in multi-hop wireless sensor networks (JK, BR), pp. 2197–2201.
SAC-2009-ReinkeHNGLL #network #protocol #standard #transaction: Integrating standardized transaction protocols in service-oriented wireless sensor networks (CR, NH, JN, SG, VL, ML), pp. 2202–2203.
SAC-2009-AhamedKHZ #security #towards #trust: Towards developing a trust-based security solution (SIA, DK, CSH, MZ), pp. 2204–2205.

Sung Y. Shin, Sascha OssowskiProceedings of the 24th Symposium on Applied ComputingSAC, 2009.

Contents (411 items)

Sung Y. Shin, Sascha Ossowski
Proceedings of the 24th Symposium on Applied Computing
SAC, 2009.