Proceedings of the 26th Symposium on Applied Computing
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

William C. Chu, W. Eric Wong, Mathew J. Palakal, Chih-Cheng Hung
Proceedings of the 26th Symposium on Applied Computing
SAC, 2011.

SE
DBLP
Scholar
Full names Links ISxN
@proceedings{SAC-2011,
	address       = "TaiChung, Taiwan",
	editor        = "William C. Chu and W. Eric Wong and Mathew J. Palakal and Chih-Cheng Hung",
	isbn          = "978-1-4503-0113-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 26th Symposium on Applied Computing}",
	year          = 2011,
}

Contents (294 items)

SAC-2011-RathgebUW #recognition
Shifting score fusion: on exploiting shifting variation in iris recognition (CR, AU, PW), pp. 3–7.
SAC-2011-YangCB #image #representation
Raster image representation of fingerprint minutiae (BY, ZC, CB), pp. 8–12.
SAC-2011-GafurovBBY #authentication
Fusion in fingerprint authentication: two finger types vs. two scanner types (DG, CB, PB, BY), pp. 13–18.
SAC-2011-MaioranaCGN #authentication #mobile
Keystroke dynamics authentication for mobile phones (EM, PC, NGC, AN), pp. 21–26.
SAC-2011-Muramatsu #algorithm #online #random #verification
Random forgery attacks against DTW-based online signature verification algorithm (DM), pp. 27–28.
SAC-2011-BhaskaranNFG #behaviour #detection #learning #online
Deceit detection via online behavioral learning (NB, IN, MGF, VG), pp. 29–30.
SAC-2011-KaoYYC #detection
A location-aware rogue AP detection system based on wireless packet sniffing of sensor APs (KFK, THY, WSY, HHC), pp. 32–36.
SAC-2011-ChangH #approach #model transformation #multi #using #verification
A model transformation approach for verifying multi-agent systems using SPIN (LC, XH), pp. 37–42.
SAC-2011-WangXYC #markov #web
Tagging web product titles based on hidden Markov model (PW, BX, YY, LC), pp. 43–48.
SAC-2011-ChuHLCHC #approach #development #manycore #verification
A pattern-based verification approach for a multi-core system development (PHC, NLH, CCL, MJC, PAH, WCC), pp. 49–53.
SAC-2011-ZhouZJY #approach #evolution #framework #in the cloud #platform
An approach of creative application evolution on cloud computing platform (JZ, SZ, DJ, HY), pp. 54–58.
SAC-2011-LiuCJ #aspect-oriented #impact analysis #object-oriented #source code
Change impact analysis for object-oriented programs evolved to aspect-oriented programs (CHL, SLC, WLJ), pp. 59–65.
SAC-2011-HuangWCL #algorithm #automation #image
An automatic selective color transfer algorithm for images (YHH, PCW, CCC, KPL), pp. 66–71.
SAC-2011-HuangK #ad hoc #analysis #performance
Performance analysis of IEEE 802.11 ad hoc based broadcast (YHH, CYK), pp. 72–73.
SAC-2011-ZhangZZZX #detection #learning #web
Harmonic functions based semi-supervised learning for web spam detection (WZ, DZ, YZ, GZ, BX), pp. 74–75.
SAC-2011-FiondaP #biology #named #workflow
BioTRON: a biological workflow management system (VF, GP), pp. 77–82.
SAC-2011-BelcaidBHP #clustering #performance #using
Efficient clustering of populations using a minimal SNP panel (MB, KB, DH, GP), pp. 83–88.
SAC-2011-SimonsenP #agile #distance
Rapid computation of distance estimators from nucleotide and amino acid alignments (MS, CNSP), pp. 89–93.
SAC-2011-AntonieB #array
Classifying microarray data with association rules (LA, KB), pp. 94–99.
SAC-2011-OsborneGCAZ #classification
Machine classification of melanoma and nevi from skin lesions (JDO, SG, WbC, AA, CZ), pp. 100–105.
SAC-2011-GalvaoD #distance #permutation #symmetry
Computing rearrangement distance of every permutation in the symmetric group (GRG, ZD), pp. 106–107.
SAC-2011-ChhelGLLSHB #problem
The bacterial strains characterization problem (FC, AG, AL, FL, FS, GH, TB), pp. 108–109.
SAC-2011-TranCS #permutation #predict
Prediction of permuted super-secondary structures in β-barrel proteins (VDT, PC, JMS), pp. 110–111.
SAC-2011-MaciasG #in the cloud #search-based
A genetic model for pricing in cloud computing markets (MM, JG), pp. 113–118.
SAC-2011-IakymchukNB #resource management
Improving high-performance computations on clouds through resource underutilization (RI, JN, PB), pp. 119–126.
SAC-2011-YouYH #framework #pipes and filters
A load-aware scheduler for MapReduce framework in heterogeneous cloud environments (HHY, CCY, JLH), pp. 127–132.
SAC-2011-CaoZGXLWX #incremental #named #on-demand
AoDI: an allocation-on-demand incremental volume based on LVM (RC, CZ, YG, GX, XL, GW, GX), pp. 133–138.
SAC-2011-GrootGK #data-driven #distributed #towards
Towards improved load balancing for data intensive distributed computing (SG, KG, MK), pp. 139–146.
SAC-2011-Liu #agile #configuration management #using
Rapid application configuration in Amazon cloud using configurable virtual appliances (HL), pp. 147–154.
SAC-2011-ShimHKLOW #as a service #requirements
Patterns for configuration requirements of Software-as-a-Service (JS, JH, JK, BL, JO, CW), pp. 155–161.
SAC-2011-RamanathanRSXX #architecture #evolution
Sense-respond cloud mediator architecture for services evolution (JR, RR, NS, ZX, YX), pp. 162–169.
SAC-2011-Al-ZaidyFY #community #towards
Towards discovering criminal communities from textual data (RAZ, BCMF, AMY), pp. 172–177.
SAC-2011-Marty #forensics
Cloud application logging for forensics (RM), pp. 178–184.
SAC-2011-DingZ #analysis #forensics
Time based data forensic and cross-reference analysis (XD, HZ), pp. 185–190.
SAC-2011-KontogiannisWM #clustering #comprehension #reduction #runtime
Event clustering for log reduction and run time system understanding (KK, AW, SM), pp. 191–192.
SAC-2011-SebastianC #approach #design #re-engineering #towards #using
Towards designing a tool for event reconstruction using Gladyshev Approach (MS, PC), pp. 193–194.
SAC-2011-GeihsER0K #adaptation #development #ubiquitous
Development support for QoS-aware service-adaptation in ubiquitous computing applications (KG, CE, RR, MW, MUK), pp. 197–202.
SAC-2011-LinTBBK #component #configuration management #distributed #evolution #programming
Transparent componentisation: high-level (re)configurable programming for evolving distributed systems (SL, FT, MB, GSB, AMK), pp. 203–208.
SAC-2011-MagalhaesS #analysis #performance
Root-cause analysis of performance anomalies in web-based applications (JPM, LMS), pp. 209–216.
SAC-2011-LiuM #adaptation #named #towards
AdaptStream: towards achieving fluidity in adaptive stream-based systems (YL, RM), pp. 217–223.
SAC-2011-TariqBGMTAZ #correlation #identification
Identifying the provenance of correlated anomalies (DT, BB, AG, SM, RT, AA, FZ), pp. 224–229.
SAC-2011-FabreKT #lessons learnt #robust #using
Robustness of automotive applications using reflective computing: lessons learnt (JCF, MOK, FT), pp. 230–235.
SAC-2011-ZellerWEK #adaptation #approach #distributed #embedded #self
An approach for providing dependable self-adaptation in distributed embedded systems (MZ, GW, DE, RK), pp. 236–237.
SAC-2011-CaiFU #database #recognition #scalability
Massive character recognition with a large ground-truthed database (WC, YF, SU), pp. 240–244.
SAC-2011-ChenB #documentation #image
Pixel accurate document image content extraction (SC, HSB), pp. 245–251.
SAC-2011-YelogluMZ #corpus #multi #summary
Multi-document summarization of scientific corpora (OY, EEM, ANZH), pp. 252–258.
SAC-2011-OliveiraLTFT #algorithm #documentation #image
A new algorithm for segmenting warped text-lines in document images (DMdO, RDL, GT, JF, MT), pp. 259–265.
SAC-2011-FormigaLSDT #assessment #matrix #recognition #scalability
An assessment of data matrix barcode recognition under scaling, rotation and cylindrical warping (AdAF, RDL, SJS, GD, MT), pp. 266–267.
SAC-2011-BarreraV #approach #automation #summary
Automated extractive single-document summarization: beating the baselines with a new approach (AB, RV), pp. 268–269.
SAC-2011-Perez-CastilloGPWP #comparison #empirical #mining #process
An empirical comparison of static and dynamic business process mining (RPC, IGRdG, MP, BW, ÁSP), pp. 272–279.
SAC-2011-ClevenWW #analysis #design #performance #problem #process
Process performance management: illuminating design issues through a systematic problem analysis (AC, RW, FW), pp. 280–286.
SAC-2011-MajchrzakJK #evaluation #open source #performance #tool support
Efficiency evaluation of open source ETL tools (TAM, TJ, HK), pp. 287–294.
SAC-2011-JanieschMMVB #architecture #named #process #realtime
Slipstream: architecture options for real-time process analytics (CJ, MM, OM, RV, JB), pp. 295–300.
SAC-2011-LiOZ #approach #collaboration #modelling #process
An integrated approach for modeling and facilitating RFID-based collaborative logistics processes (YL, AO, HZ), pp. 301–307.
SAC-2011-AccorsiW #modelling #workflow
Strong non-leak guarantees for workflow models (RA, CW), pp. 308–314.
SAC-2011-SpoelstraIS #agile #concept #development #reuse
Software reuse in agile development organizations: a conceptual management tool (WS, MEI, MvS), pp. 315–322.
SAC-2011-AlmeidaC #enterprise #on the #ontology #towards
On the elements of an enterprise: towards an ontology-based account (JPAA, ECSC), pp. 323–330.
SAC-2011-WajidMNG #comprehension #documentation #enterprise #tool support
Tool support for realising a common understanding of business documents in collaborating enterprises (UW, NM, AN, PG), pp. 331–333.
SAC-2011-EmrichCVW #architecture #enterprise
An architecture proposal for the prosumerized enterprise (AE, AC, CDV, DW), pp. 334–335.
SAC-2011-ShimadaKLCN #composition #design #embedded #functional #kernel
Design issues in composition kernels for highly functional embedded systems (HS, YK, THL, AC, TN), pp. 338–345.
SAC-2011-ParkPSP #named
CAVE: channel-aware buffer management scheme for solid state disk (SKP, YP, GS, KHP), pp. 346–353.
SAC-2011-YuMGTBGGTL #using
System-level co-simulation of integrated avionics using polychrony (HY, YM, YG, JPT, LB, TG, PLG, AT, OL), pp. 354–359.
SAC-2011-JinKKHM #fine-grained
Sector log: fine-grained storage management for solid state drives (SJ, JHK, JK, JH, SM), pp. 360–367.
SAC-2011-VenkateshGBC #fixpoint #implementation #markov #modelling #recognition #speech #using
Fixed-point implementation of isolated sub-word level speech recognition using hidden Markov models (NV, RG, RB, MGC), pp. 368–373.
SAC-2011-LeeLKB #reliability
A lifespan-aware reliability scheme for RAID-based flash storage (SL, BL, KK, HB), pp. 374–379.
SAC-2011-UlbrichKHSS #adaptation #composition #framework #named #platform
I4Copter: an adaptable and modular quadrotor platform (PU, RK, CH, RS, WSP), pp. 380–386.
SAC-2011-SimKM #adaptation #approach #embedded #fuzzing #linux #random
Fuzzing the out-of-memory killer on embedded Linux: an adaptive random approach (KYS, FCK, RGM), pp. 387–392.
SAC-2011-DingSW #algorithm #parallel #transitive
FPGA based parallel transitive closure algorithm (ZD, WS, MYW), pp. 393–394.
SAC-2011-LiuZ #memory management #predict #realtime
Exploiting time predictable two-level scratchpad memory for real-time systems (YL, WZ), pp. 395–396.
SAC-2011-KimuraEFYN #behaviour #detection #motivation #named #persuasion #smarttech #using
iDetective: a persuasive application to motivate healthier behavior using smart phone (HK, JE, YF, AY, TN), pp. 399–404.
SAC-2011-YatakaTTT #smarttech
A context-aware audio presentation method in wearable computing (SY, KT, TT, MT), pp. 405–412.
SAC-2011-FreitasHCFPWL
Analyzing different levels of geographic context awareness in agent ferrying over VANETs (EPdF, TH, LAGC, AMF, CEP, FRW, TL), pp. 413–418.
SAC-2011-MitraZA #approach #experience #metric #pervasive #probability #quality
A probabilistic context-aware approach for quality of experience measurement in pervasive systems (KM, ABZ, ), pp. 419–424.
SAC-2011-BoixCSCMD #interactive #mobile #named #network #social
Flocks: enabling dynamic group interactions in mobile social networking applications (EGB, ALC, CS, TVC, WDM, TD), pp. 425–432.
SAC-2011-LinC #query #towards
Towards communication-efficient private location dependent queries (KPL, MSC), pp. 433–438.
SAC-2011-RahmanHA #named #network #reliability
REBIVE: a reliable private data aggregation scheme for wireless sensor networks (FR, MEH, SIA), pp. 439–444.
SAC-2011-TsaiCHH #api #mobile #reduction #rest
Transmission reduction between mobile phone applications and RESTful APIs (CLT, HWC, JLH, CLH), pp. 445–450.
SAC-2011-ClaycombS #analysis #authentication #formal method #ubiquitous
Formal analysis of device authentication applications in ubiquitous computing (WC, DS), pp. 451–452.
SAC-2011-RahmanHA11a #named #privacy #quantifier #towards
ProQuPri: towards anonymity protection with privacy quantification for context-aware applications (FR, MEH, SIA), pp. 453–454.
SAC-2011-TillyR #realtime
Matching customer requests to service offerings in real-time (MT, SRM), pp. 456–461.
SAC-2011-LinCL #data-driven #navigation
Service-oriented dynamic data driven application systems to potential field method vehicle navigation (SYL, KMC, CCL), pp. 462–467.
SAC-2011-Norta #collaboration
A choreography language for eBusiness collaboration (AN), pp. 468–469.
SAC-2011-FontugneF #adaptation #detection
A Hough-transform-based anomaly detector with an adaptive time interval (RF, KF), pp. 471–477.
SAC-2011-SourlasPMFT #modelling
Modeling the dynamics of caching in content-based publish/subscribe systems (VS, GSP, PM, PF, LT), pp. 478–485.
SAC-2011-KalendarJTD #architecture #novel
Novel processor architecture for modified advanced routing in NGN (MK, DJ, AT, GD), pp. 486–491.
SAC-2011-FilhoSM #case study #network #simulation
Policy-driven network simulation: a resilience case study (AESF, PS, AM), pp. 492–497.
SAC-2011-SreekumariC #multi #network
A new TCP mechanism for reducing retransmission timeouts over multi-hop wireless networks (PS, SHC), pp. 498–505.
SAC-2011-TeranishiTH #named #network
HDOV: an overlay network for wide area spatial data collection (YT, ST, KH), pp. 506–513.
SAC-2011-LiuSGF #classification #performance
Improving matching performance of DPI traffic classifier (TL, YS, LG, BF), pp. 514–519.
SAC-2011-FuPT #clustering #distributed #framework #named
CluB: a cluster based framework for mitigating distributed denial of service attacks (ZF, MP, PT), pp. 520–527.
SAC-2011-MakanjuZM #retrieval #using
Storage and retrieval of system log events using a structured schema based on message type transformation (AM, ANZH, EEM), pp. 528–533.
SAC-2011-ParisAL #on-demand
Accelerated chaining: a better way to harness peer power in video-on-demand applications (JFP, AA, DDEL), pp. 534–539.
SAC-2011-WangZG #classification #identification #network
Traffic classification beyond application level: identifying content types from network traces (YW, ZZ, LG), pp. 540–541.
SAC-2011-LiuWYL #modelling #protocol #scalability
Scalable CP-nets modeling for BitTorrent protocol (JL, HW, XY, JL), pp. 542–543.
SAC-2011-ChenHT #clustering #power management #quality #requirements
Power management schemes for heterogeneous clusters under quality of service requirements (JJC, KH, LT), pp. 546–553.
SAC-2011-ZhuYXLYGQLCG #monitoring #named #platform #security
VASP: virtualization assisted security monitor for cross-platform protection (MZ, MY, MX, BL, PY, SG, ZQ, LL, YC, HG), pp. 554–559.
SAC-2011-TianXLC #optimisation #order
Loop fusion and reordering for register file optimization on stream processors (WT, CJX, ML, EC), pp. 560–565.
SAC-2011-AhnAHS #component #fault tolerance #framework
Fault tolerant framework and techniques for component-based autonomous robot systems (HA, SCA, JH, SYS), pp. 566–572.
SAC-2011-NakajimaLYZGXYDQCG #hybrid #optimisation #using #virtual machine
Optimizing virtual machines using hybrid virtualization (JN, QL, SY, MZ, SG, MX, PY, YD, ZQ, KC, HG), pp. 573–578.
SAC-2011-ShanCW #virtual machine
Virtualizing system and ordinary services in Windows-based OS-level virtual machines (ZS, TcC, XW), pp. 579–583.
SAC-2011-LeePKKS #grid #power management #reduction #scheduling #smarttech
Power consumption scheduling for peak load reduction in smart grid homes (JL, GLP, SWK, HJK, COS), pp. 584–588.
SAC-2011-ChungPK #memory management #performance #scalability
LSTAFF*: an efficient flash translation layer for large block flash memory (TSC, DJP, JK), pp. 589–594.
SAC-2011-SeokPP #algorithm #hybrid #in memory #memory management #migration
Migration based page caching algorithm for a hybrid main memory of DRAM and PRAM (HS, YP, KHP), pp. 595–599.
SAC-2011-WuW #framework
A data de-duplication access framework for solid state drives (CHW, HSW), pp. 600–604.
SAC-2011-HsiehC #framework
An open-system framework for flash-memory storage system (JWH, SYC), pp. 605–610.
SAC-2011-KimPHC #adaptation #network #peer-to-peer
Adaptive link recovery scheme for structured peer-to-peer networks under churn (SK, GP, JH, YC), pp. 611–615.
SAC-2011-ChiangH #embedded #operating system
Supporting dynamic update and resource protection in an embedded operating system (MLC, HYH), pp. 616–620.
SAC-2011-AhnLK #development #embedded #energy #network
Development of the wireless embedded sensor network for energy-efficient flooding (SA, YL, SK), pp. 621–622.
SAC-2011-LinXYYZGQCG #anti #hardware #named #using
SPAD: software protection through anti-debugging using hardware virtualization (QL, MX, MY, PY, MZ, SG, ZQ, KC, HG), pp. 623–624.
SAC-2011-KimKKK #energy #memory management #named #performance
FMCM: a efficient flash memory cache management scheme for energy-efficient disks (YK, TK, YK, ARK), pp. 625–626.
SAC-2011-ShinLSL #concurrent #monitoring #multi #predict #scheduling #thread
Predictable multithread scheduling with cycle-accurate thread progress monitor (YS, SL, MS, SL), pp. 627–628.
SAC-2011-MitakeKCN #embedded #manycore #realtime
Coexisting real-time OS and general purpose OS on an embedded virtualization layer for a multicore processor (HM, YK, AC, TN), pp. 629–630.
SAC-2011-LeeKY #kernel #linux
Experimenting with system and Libc call interception attacks on ARM-based Linux kernel (HcL, CHK, JHY), pp. 631–632.
SAC-2011-KookHLJK #embedded #linux #memory management #optimisation
Optimization of out of memory killer for embedded Linux environments (JK, SH, WL, EJ, JK), pp. 633–634.
SAC-2011-KongGDY #energy #parallel #realtime #scheduling
Energy-efficient scheduling for parallel real-time tasks based on level-packing (FK, NG, QD, WY), pp. 635–640.
SAC-2011-ZhaoGFC #approach #predict #smarttech
A system context-aware approach for battery lifetime prediction in smart phones (XZ, YG, QF, XC), pp. 641–646.
SAC-2011-RangasamyS #effectiveness #modelling #parallel #performance #petri net #source code #thread
Petri net based performance modeling for effective DVFS for multithreaded programs (AR, YNS), pp. 647–648.
SAC-2011-ElahiY #analysis #heuristic #metric #requirements #trade-off
Requirements trade-offs analysis in the absence of quantitative measures: a heuristic method (GE, ESKY), pp. 651–658.
SAC-2011-BagheriE #multi #specification
Consolidating multiple requirement specifications through argumentation (EB, FE), pp. 659–666.
SAC-2011-VarelaABM #analysis #aspect-oriented #product line #requirements
Aspect-oriented analysis for software product lines requirements engineering (PV, JA, ISB, AMDM), pp. 667–674.
SAC-2011-HorkoffY #how #modelling
Analyzing goal models: different approaches and how to choose among them (JH, ESKY), pp. 675–682.
SAC-2011-OgnjanovicGBA
Conditional preferences in software stakeholders’ judgments (IO, DG, EB, MA), pp. 683–690.
SAC-2011-AsadiBGHM #product line
Goal-driven software product line engineering (MA, EB, DG, MH, BM), pp. 691–698.
SAC-2011-LucenaCSAS #architecture #modelling #named #requirements
Stream: a strategy for transition between requirements models and architectural models (ML, JC, CTLLS, FMRA, ES), pp. 699–704.
SAC-2011-FragidisT
Analyzing value co-creation in service systems: contribution from GORE (GF, KAT), pp. 705–707.
SAC-2011-RamosCAA #case study #modelling #process #towards
Towards the improvement of use case models: the AIRDoc process (RAR, JBdC, JA, FMRA), pp. 708–709.
SAC-2011-LuKNB #analysis #approach #embedded #realtime #simulation #statistics #validation
A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems (YL, JK, TN, IB), pp. 711–716.
SAC-2011-Jaghoori #multi #question #scheduling
From nonpreemptive to preemptive scheduling: from single-processor to multi-processor? (MMJ), pp. 717–722.
SAC-2011-LiuZ11a #analysis #distance #performance #stack #worst-case
Stack distance based worst-case instruction cache performance analysis (YL, WZ), pp. 723–728.
SAC-2011-ManyD #analysis #evaluation #fault tolerance #scheduling
Fault tolerance evaluation and schedulability analysis (FM, DD), pp. 729–734.
SAC-2011-CordovillaBNP #multi #scheduling
Multiprocessor schedulability analyser (MC, FB, EN, CP), pp. 735–741.
SAC-2011-GuerraF #realtime #resource management
Handling overload of target sensitive real-time applications for increased system utility and improved resource usage (RG, GF), pp. 742–747.
SAC-2011-LeeLS #manycore #scheduling
Preemptibility-aware responsive multi-core scheduling (JL, GL, SbS), pp. 748–749.
SAC-2011-SingerNVKL
Search-logger analyzing exploratory search tasks (GS, UN, EV, HK, DL), pp. 751–756.
SAC-2011-MajchrzakH #game studies
Game vendors’ influence on the monetary value of virtual goods (TAM, KFH), pp. 757–764.
SAC-2011-MeerBHFK #automation #framework #using #web
A framework for automatic annotation of web pages using the Google rich snippets vocabulary (JvdM, FB, FH, FF, UK), pp. 765–772.
SAC-2011-HaBKBJ #analysis #network #perspective #social
Analyzing a Korean blogosphere: a social network analysis perspective (JH, DHB, SWK, SCB, BSJ), pp. 773–777.
SAC-2011-MacielH #commit #protocol #rest
Extending timestamp-based two phase commit protocol for RESTful services to meet business rules (LAHdSM, CMH), pp. 778–785.
SAC-2011-LeeKCW #sequence #visualisation
Visualizing dispute sections and relations from the sequence of replying comments (YJL, EKK, HGC, GW), pp. 786–791.
SAC-2011-SchallSPD #community
Bridging socially-enhanced virtual communities (DS, FS, HP, SD), pp. 792–799.
SAC-2011-AnttonenSMT #framework #platform #roadmap #web
Transforming the web into a real application platform: new technologies, emerging trends and missing pieces (MA, AS, TM, AT), pp. 800–807.
SAC-2011-SchneiderPB #comprehension #wiki
Understanding and improving Wikipedia article discussion spaces (JS, AP, JGB), pp. 808–813.
SAC-2011-DattoloEM #approach #semantics
An integrated approach to discover tag semantics (AD, DE, LM), pp. 814–820.
SAC-2011-MajchrzakJLU #integration #mobile #social #towards #web
Towards better social integration through mobile web 2.0 ambient assisted living devices (TAM, AJ, ML, ), pp. 821–822.
SAC-2011-SasakiOWKIH #web
Extracting preference terms from web browsing histories excluding pages unrelated to users’ interests (KS, MO, NW, MK, TI, MH), pp. 823–824.
SAC-2011-ZhangWAWLL #performance #using
Fast lists intersection with Bloom filter using graphics processing units (FZ, DW, NA, GW, XL, JL), pp. 825–826.
SAC-2011-KanjilalS #database #modelling #network
Spatial network modeling for databases (VK, MS), pp. 827–832.
SAC-2011-LiuS
Tracking continuous topological changes of complex moving regions (HL, MS), pp. 833–838.
SAC-2011-FrinkenFB #keyword #self
Improving handwritten keyword spotting with self-training (VF, AF, HB), pp. 840–845.
SAC-2011-HuangC #retrieval #video
An event-based video retrieval system by combining broadcasting baseball video and web-casting text (YFH, LWC), pp. 846–852.
SAC-2011-HuLCHXL #image #segmentation #using
Image segmentation of cervical vertebra in X-ray radiographs using the curve fitting strategy (HH, HL, LC, CCH, XX, ZL), pp. 853–858.
SAC-2011-LanLSH #algorithm #analysis #case study #classification #comparative #image
A comparative study and analysis on K-view based algorithms for image texture classification (YL, HL, ES, CCH), pp. 859–860.
SAC-2011-CherifIR #collaboration #data access #distributed #editing
Optimistic access control for distributed collaborative editors (AC, AI, MR), pp. 861–868.
SAC-2011-NardiniOV
Description spaces with fuzziness (EN, AO, MV), pp. 869–876.
SAC-2011-RodriguezSV #approach #composition #execution #multi
Executable model composition: a multilevel approach (CR, MES, JV), pp. 877–884.
SAC-2011-SbaragliaCV #coordination #programming
Programming coordination laws of artifacts in CArtAgO (MS, MC, MV), pp. 885–886.
SAC-2011-ParisiniM #branch #continuation #slicing
Improving CP-based local branching via sliced neighborhood search (FP, MM), pp. 887–892.
SAC-2011-SteigerHS #constraints #network #performance
An efficient generic network flow constraint (RS, WJvH, RS), pp. 893–900.
SAC-2011-RosaGO #problem #quality #satisfiability
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences (EDR, EG, BO), pp. 901–906.
SAC-2011-JeffersonMP #automation #constraints #generative #named
Combination: automated generation of puzzles with constraints (CJ, WM, KEP), pp. 907–912.
SAC-2011-BistarelliCS
Finding partitions of arguments with Dung’s properties via SCSPs (SB, PC, FS), pp. 913–919.
SAC-2011-CaniouCDA #constraints #parallel
Parallel constraint-based local search on the HA8000 supercomputer (YC, PC, DD, SA), pp. 920–921.
SAC-2011-MonfroyCCF #adaptation
Adaptive hybridization strategies (EM, CC, BC, CF), pp. 922–923.
SAC-2011-LargeronMG #categorisation #feature model
Entropy based feature selection for text categorization (CL, CM, MG), pp. 924–928.
SAC-2011-HuangH #detection #markov #multi #semantics
Semantic event detection in baseball videos based on a multi-output hidden Markov model (YFH, JJH), pp. 929–936.
SAC-2011-LimKKP #information management #network
Construction of a blog network based on information diffusion (SHL, SWK, SK, SP), pp. 937–941.
SAC-2011-BanZATK #mining
Mining interlacing manifolds in high dimensional spaces (TB, CZ, SA, TT, YK), pp. 942–949.
SAC-2011-LeungJ #data type #mining #nondeterminism #using
Frequent itemset mining of uncertain data streams using the damped window model (CKSL, FJ), pp. 950–955.
SAC-2011-Fournier-VigerNT #mining #named #sequence
RuleGrowth: mining sequential rules common to several sequences by pattern-growth (PFV, RN, VSMT), pp. 956–961.
SAC-2011-AhluwaliaGCY #mining #privacy
Target-based privacy preserving association rule mining (MA, AG, ZC, YY), pp. 962–967.
SAC-2011-XuMC #online #summary
Aspect-based extractive summarization of online reviews (XX, TM, XC), pp. 968–975.
SAC-2011-CuzzocreaS #clustering #database #framework #mining #named
ClustCube: an OLAP-based framework for clustering and mining complex database objects (AC, PS), pp. 976–982.
SAC-2011-LeungS #equivalence #mining #nondeterminism
Equivalence class transformation based mining of frequent itemsets from uncertain data (CKSL, LS), pp. 983–984.
SAC-2011-WangJZO #database #graph #keyword
Exact top-k keyword search on graph databases (MW, LJ, LZ, TO), pp. 985–986.
SAC-2011-IkonomovskaGD #data type #incremental #multi
Incremental multi-target model trees for data streams (EI, JG, SD), pp. 988–993.
SAC-2011-GomesRS #concept #data type #learning
Learning recurring concepts from data streams with a context-aware ensemble (JBG, EMR, PACS), pp. 994–999.
SAC-2011-AdaikkalavanP #query
Secure shared continuous query processing (RA, TP), pp. 1000–1005.
SAC-2011-RodriguesGAL #clustering #named
L2GClust: local-to-global clustering of stream sources (PPR, JG, JA, LMBL), pp. 1006–1011.
SAC-2011-SinhaTKWG #analysis #mobile #resource management
Resource-aware ECG analysis on mobile devices (AS, HT, SK, ABW, MMG), pp. 1012–1013.
SAC-2011-RyengHN #distributed #semantics
Site-autonomous distributed semantic caching (NHR, JOH, KN), pp. 1015–1021.
SAC-2011-LiuCC #network #query
Voronoi-based range query for trajectory data in spatial networks (SL, LC, GC), pp. 1022–1026.
SAC-2011-BiancoGH #approach #manycore #parallel #performance
A fast approach for parallel deduplication on multicore processors (GDB, RdMG, CAH), pp. 1027–1032.
SAC-2011-BenouaretBH #approach #composition #fuzzy
Top-k service compositions: a fuzzy set-based approach (KB, DB, AH), pp. 1033–1038.
SAC-2011-ZhengC #database #query
Determinacy and rewriting of conjunctive queries over unary database schemas (LZ, HC), pp. 1039–1044.
SAC-2011-DabringerE #performance #query #retrieval
Efficient top-k retrieval for user preference queries (CD, JE), pp. 1045–1052.
SAC-2011-Jamil #graph #query #unification #using
Computing subgraph isomorphic queries using structural unification and minimum graph structures (HMJ), pp. 1053–1058.
SAC-2011-KadriE #mining #nondeterminism #sequence #web
Mining uncertain web log sequences with access history probabilities (OK, CIE), pp. 1059–1060.
SAC-2011-KatayamaKKM #algorithm #clique #problem
Memetic algorithm with strategic controller for the maximum clique problem (KK, AK, KK, HM), pp. 1062–1069.
SAC-2011-SantosaMK #approach #named #programming #search-based
HMXT-GP: an information-theoretic approach to genetic programming that maintains diversity (HS, JM, PJK), pp. 1070–1075.
SAC-2011-KienHB #algorithm #communication #hybrid #problem #search-based
New hybrid genetic algorithm for solving optimal communication spanning tree problem (PTK, NDH, HTTB), pp. 1076–1081.
SAC-2011-ChamorroDA #predict
Evolutionary computation for the prediction of secondary protein structures (AEMC, FD, JSAR), pp. 1082–1087.
SAC-2011-YukselBK #algorithm #estimation #framework #parametricity #platform #search-based
A software platform for genetic algorithms based parameter estimation on digital sound synthesizers (KAY, BB, HK), pp. 1088–1089.
SAC-2011-DaniAS #algorithm #architecture #manycore #search-based
Applying genetic algorithms to optimize the power in tiled SNUCA chip multicore architectures (AMD, BA, YNS), pp. 1090–1091.
SAC-2011-Zhang #analysis #constraints #geometry #graph #problem
Well-constrained completion for under-constrained geometric constraint problem based on connectivity analysis of graph (GFZ), pp. 1094–1099.
SAC-2011-Thierry #approach #constraints #geometry
A particle-spring approach to geometric constraints solving (SEBT), pp. 1100–1105.
SAC-2011-KasemGI #axiom
Origami axioms and circle extension (AK, FG, TI), pp. 1106–1111.
SAC-2011-BoscP #axiom #flexibility #fuzzy #on the #retrieval
On three fuzzy connectives for flexible data retrieval and their axiomatization (PB, OP), pp. 1114–1118.
SAC-2011-KeikhaGC #retrieval
Relevance stability in blog retrieval (MK, SG, FC), pp. 1119–1123.
SAC-2011-GohLC #game studies #image #performance
Performance and perceptions of human computation games for image tagging (DHLG, CSL, AYKC), pp. 1124–1129.
SAC-2011-HsuCK #clustering
Hierarchical comments-based clustering (CFH, JC, EK), pp. 1130–1137.
SAC-2011-YeHL #approach #network #query
A Bayesian network approach to context sensitive query expansion (ZY, XH, HL), pp. 1138–1142.
SAC-2011-HuMB #clustering #documentation #feature model #interactive
Interactive feature selection for document clustering (YH, EEM, JB), pp. 1143–1150.
SAC-2011-JatowtKT #estimation #quality
Calculating content recency based on timestamped and non-timestamped sources for supporting page quality estimation (AJ, YK, KT), pp. 1151–1158.
SAC-2011-DinhT #concept #order #word
Biomedical concept extraction based on combining the content-based and word order similarities (DD, LT), pp. 1159–1163.
SAC-2011-CostaLGR #representation
Representing a bilingual lexicon with suffix trees (JC, GPL, LG, LMSR), pp. 1164–1165.
SAC-2011-BouidghaghenTB #approach #mobile #reasoning
Inferring situation-based interests for mobile users: a case based reasoning approach (OB, LT, MB), pp. 1166–1167.
SAC-2011-NawahdahI #education #learning #physics
Positioning a virtual teacher in an MR physical task learning support system (MN, TI), pp. 1169–1174.
SAC-2011-FontesNPC #architecture #detection #learning #problem
An agent-based architecture for supporting the workgroups creation and the detection of out-of-context conversation on problem-based learning in virtual learning environments (LMdOF, FMMN, AÁAP, GALdC), pp. 1175–1180.
SAC-2011-LiuLTL #framework #game studies #interactive #learning #platform
A cognition-based interactive game platform for learning Chinese characters (CLL, CYL, JLT, CLL), pp. 1181–1186.
SAC-2011-VerasBBSC #education #framework #personalisation #platform #web
A solution for personalized t-learning applications integrated with a web educational platform (DV, IIB, HB, MS, EdBC), pp. 1187–1193.
SAC-2011-SimoesO #behaviour #game studies #learning #modelling
Leveraging the dynamics of learning by modeling and managing psychosocial relations and behavior by means of game theory and memetics (JCS, NO), pp. 1194–1201.
SAC-2011-BorgesMB #education #generative #modelling #towards
Towards the establishment of supporting mechanisms for modeling and generating educational content (VAB, JCM, EFB), pp. 1202–1207.
SAC-2011-SharminRARF #education #game studies #interactive #speech
Teaching intelligible speech to the autistic children by interactive computer games (MAS, MMR, SIA, MMR, SMF), pp. 1208–1209.
SAC-2011-LimJLW #c #education #visualisation
Style Avatar: a visualization system for teaching C coding style (JSL, JHJ, YJL, GW), pp. 1210–1211.
SAC-2011-QueirozGRGQ #diagrams #education #interactive #interface
Effects of scaffoldings on interactive diagram constructions in educational interface for elementary school teachers training (AEdMQ, ASG, CR, AG, SSdQ), pp. 1212–1213.
SAC-2011-TrindadeR #3d #multi #navigation #using
Improving 3D navigation in multiscale environments using cubemap-based techniques (DRT, ABR), pp. 1215–1221.
SAC-2011-KusamaI #music #named #user interface
MusCat: a music browser featuring abstract pictures and zooming user interface (KK, TI), pp. 1222–1228.
SAC-2011-RyuKPC #assessment #quality #scalability
A web-based photo management system for large photo collections with user-customizable quality assessment (DSR, KK, SYP, HGC), pp. 1229–1236.
SAC-2011-AlencarRB #composition #evaluation #human-computer #hybrid
Composition of HCI evaluation methods for hybrid virtual environments (MFCA, ABR, SDJB), pp. 1237–1244.
SAC-2011-GomiI #analysis
A personal photograph browser for life log analysis based on location, time, and person (AG, TI), pp. 1245–1251.
SAC-2011-PedrosaMMT #component #interactive #multimodal
A multimodal interaction component for digital television (DP, JACMJ, ELM, CACT), pp. 1253–1258.
SAC-2011-LimaSM #aspect-oriented #authoring #design #hypermedia #non-functional #tool support
Considering non-functional aspects in the design of hypermedia authoring tools (BSL, LFGS, MFM), pp. 1259–1266.
SAC-2011-Vega-OliverosMP #authoring #documentation #interactive #multi
Media-oriented operators for authoring interactive multimedia documents generated from capture sessions (DAVO, DSM, MdGCP), pp. 1267–1272.
SAC-2011-BoixNCMD #debugging #message passing #named
REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications (EGB, CN, TVC, WDM, TD), pp. 1275–1281.
SAC-2011-HauptPH #approach #programming language #type system
Type harvesting: a practical approach to obtaining typing information in dynamic programming languages (MH, MP, RH), pp. 1282–1289.
SAC-2011-KangR #automation #named #testing
FortressCheck: automatic testing for generic properties (SK, SR), pp. 1290–1296.
SAC-2011-CoupeyF #adaptation #component #framework #functional
A formal framework for a functional language with adaptable components (PC, CF), pp. 1297–1298.
SAC-2011-Sanchez-GilHO
Relating function spaces to resourced function spaces (LSG, MHH, YOM), pp. 1301–1308.
SAC-2011-DinkelakerEM #embedded #incremental #syntax
Incremental concrete syntax for embedded languages (TD, ME, MM), pp. 1309–1316.
SAC-2011-LammelPS #analysis #java #open source #scalability
Large-scale, AST-based API-usage analysis of open-source Java projects (RL, EP, JS), pp. 1317–1324.
SAC-2011-ViroliBC #semantics
Core operational semantics of Proto (MV, JB, MC), pp. 1325–1332.
SAC-2011-AcherCLF #domain-specific language #feature model #modelling
A domain-specific language for managing feature models (MA, PC, PL, RBF), pp. 1333–1340.
SAC-2011-GutzmannLL #analysis #points-to
Feedback-driven points-to analysis (TG, JL, WL), pp. 1341–1342.
SAC-2011-Mammar #approach #c #detection #overview
An overview of a proof-based approach to detecting C vulnerabilities (AM), pp. 1343–1344.
SAC-2011-EbraertSJ #design #diagrams #feature model #implementation
Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation (PE, QDS, DJ), pp. 1345–1352.
SAC-2011-HorieMC #distributed #weaving
Distributed dynamic weaving is a crosscutting concern (MH, SM, SC), pp. 1353–1360.
SAC-2011-CoutoVFGM #adaptation #aspect-oriented #design pattern
Structuring adaptive replicated systems with design patterns and aspects (RRC, RPV, UFJ, LAFG, DMM), pp. 1361–1362.
SAC-2011-YueFCY #algorithm
ID* Lite: improved D* Lite algorithm (WY, JF, WC, HY), pp. 1364–1369.
SAC-2011-HeinenE #incremental #modelling #using
Incremental feature-based mapping from sonar data using Gaussian mixture models (MRH, PME), pp. 1370–1375.
SAC-2011-SouzaSSOW #navigation
Template-based autonomous navigation in urban environments (JRS, DOS, PYS, FSO, DFW), pp. 1376–1381.
SAC-2011-MohammadiG #approach #representation
Integrated PSO and line based representation approach for SLAM (MRM, SSG), pp. 1382–1388.
SAC-2011-ChenZGZWSC #approach #interactive #reduction #requirements #testing
A test suite reduction approach based on pairwise interaction of requirements (XC, LZ, QG, HZ, ZW, XS, DC), pp. 1390–1397.
SAC-2011-Gonzalez-SanchezAGG #empirical #fault #locality #testing
An empirical study on the usage of testability information to fault localization in software (AGS, RA, HGG, AJCvG), pp. 1398–1403.
SAC-2011-YuLGZZ #fault #modelling #multi #using
Locating faults using multiple spectra-specific models (KY, ML, QG, HZ, XZ), pp. 1404–1410.
SAC-2011-NakagawaYOH #design #framework #model transformation #multi #named
IMPULSE: a design framework for multi-agent systems based on model transformation (HN, NY, AO, SH), pp. 1411–1418.
SAC-2011-BabichCPK #abstraction #case study #eclipse #fault #object-oriented #predict #using
Using a class abstraction technique to predict faults in OO classes: a case study through six releases of the Eclipse JDT (DB, PJC, JFP, BMGK), pp. 1419–1424.
SAC-2011-WoodraskaSX #mutation testing #security #testing
Security mutation testing of the FileZilla FTP server (DW, MS, DX), pp. 1425–1430.
SAC-2011-TranCTV #automation #modelling #process #reuse #using
Automatic reuse of process patterns in process modeling (HNT, BC, TDT, MHV), pp. 1431–1438.
SAC-2011-SunLZTCW #dependence #impact analysis #object-oriented #source code #using
Using lattice of class and method dependence for change impact analysis of object oriented programs (XS, BL, SZ, CT, XC, WW), pp. 1439–1444.
SAC-2011-Sanchez-GonzalezRGC #complexity #control flow #metric #modelling #towards
Towards thresholds of control flow complexity measures for BPMN models (LSG, FR, FG, JC), pp. 1445–1450.
SAC-2011-YouCXLZ #effectiveness #empirical #testing
An empirical study on the effectiveness of time-aware test case prioritization techniques (DY, ZC, BX, BL, CZ), pp. 1451–1456.
SAC-2011-DebroyW #equivalence #fault #locality #on the
On the equivalence of certain fault localization techniques (VD, WEW), pp. 1457–1463.
SAC-2011-KimDB #dependence #diagrams #identification #state machine #uml
Identifying properties of UML state machine diagrams that affect data and control dependence (HK, VD, DHB), pp. 1464–1469.
SAC-2011-MichauxBSS #approach #collaboration #semantics
A semantically rich approach for collaborative model edition (JM, XB, MS, PS), pp. 1470–1475.
SAC-2011-LiuQR #online #realtime #scheduling
On-line scheduling of real-time services with profit and penalty (SL, GQ, SR), pp. 1476–1481.
SAC-2011-KuoLC #algorithm #clustering #testing
Testing a binary space partitioning algorithm with metamorphic testing (FCK, SL, TYC), pp. 1482–1489.
SAC-2011-HuN #android #debugging #framework #user interface
A GUI bug finding framework for Android applications (CH, IN), pp. 1490–1491.
SAC-2011-SohrMN #aspect-oriented #mobile #security
Software security aspects of Java-based mobile phones (KS, TM, AN), pp. 1494–1501.
SAC-2011-CederquistD #complexity #constraints
Complexity of fairness constraints for the Dolev-Yao attacker model (JC, MTD), pp. 1502–1509.
SAC-2011-MunizL #encryption #on the #protocol #recognition
On the (im)possibility of perennial message recognition protocols without public-key cryptography (MGM, PL), pp. 1510–1515.
SAC-2011-KostakisKMM #comparison #graph #using
Improved call graph comparison using simulated annealing (OK, JK, HM, KM), pp. 1516–1523.
SAC-2011-ShiC #authoring #data access #interface #natural language #policy
A controlled natural language interface for authoring access control policies (LLS, DWC), pp. 1524–1530.
SAC-2011-JohnsBSP #reliability
Reliable protection against session fixation attacks (MJ, BB, MS, JP), pp. 1531–1537.
SAC-2011-WangZ #detection #performance #web
High-speed web attack detection through extracting exemplars from HTTP traffic (WW, XZ), pp. 1538–1543.
SAC-2011-JinL #performance
Efficient traitor tracing for clone attack in content protection (HJ, JBL), pp. 1544–1549.
SAC-2011-ZhuWHAHY #outsourcing #verification
Dynamic audit services for integrity verification of outsourced storages in clouds (YZ, HW, ZH, GJA, HH, SSY), pp. 1550–1557.
SAC-2011-OuederniSP #interactive #protocol
Measuring the compatibility of service interaction protocols (MO, GS, EP), pp. 1560–1567.
SAC-2011-SkopikSPD #adaptation
Adaptive provisioning of human expertise in service-oriented systems (FS, DS, HP, SD), pp. 1568–1575.
SAC-2011-TeixeiraLOM #modelling #probability
Planning service agreements in soa-based systems through stochastic models (MT, RMFL, CALO, PRMM), pp. 1576–1581.
SAC-2011-FosterS #composition #monitoring
Advanced service monitoring configurations with SLA decomposition and selection (HF, GS), pp. 1582–1589.
SAC-2011-HummerLD #distributed #named #web #web service
WS-Aggregation: distributed aggregation of web services data (WH, PL, SD), pp. 1590–1597.
SAC-2011-PorresR #behaviour #interface #modelling #rest #uml #web #web service
Modeling behavioral RESTful web service interfaces in UML (IP, IR), pp. 1598–1605.
SAC-2011-MohabbatiHGAB #development #product line
Development and configuration of service-oriented systems families (BM, MH, DG, MA, MB), pp. 1606–1613.
SAC-2011-KungasD #configuration management #web #web service
Configurable SOAP proxy cache for data provisioning web services (PK, MD), pp. 1614–1621.
SAC-2011-VerlaineJF #framework #ontology #requirements
Requirements engineering for services: an ontological framework (BV, IJ, SF), pp. 1622–1623.
SAC-2011-Blech #encryption #logic #proving #security
Proving the security of ElGamal encryption via indistinguishability logic (JOB), pp. 1625–1632.
SAC-2011-CollavizzaVRDG #constraints #generative
A dynamic constraint-based BMC strategy for generating counterexamples (HC, NLV, MR, SD, TG), pp. 1633–1638.
SAC-2011-KaliszykU #higher-order
Quotients revisited for Isabelle/HOL (CK, CU), pp. 1639–1644.
SAC-2011-PicalausaSZ #evolution #framework #named #xml
XEvolve: an XML schema evolution framework (FP, FS, EZ), pp. 1645–1650.
SAC-2011-MammarFD #approach #reachability #verification
A proof-based approach to verifying reachability properties (AM, MF, FD), pp. 1651–1657.
SAC-2011-BackP #invariant #proving #semantics #source code
Semantics and proof rules of invariant based programs (RJB, VP), pp. 1658–1665.
SAC-2011-DumasDBB #partial order #verification
Application of partial-order methods for the verification of closed-loop SDL systems (XD, PD, FB, EB), pp. 1666–1673.
SAC-2011-EcharteACVL #classification #folksonomy
A method for the classification of folksonomy resources (FE, JJA, AC, JEV, AL), pp. 1675–1680.
SAC-2011-GroppeG #database #query #scalability #semantics #web
Parallelizing join computations of SPARQL queries for large semantic web databases (JG, SG), pp. 1681–1686.
SAC-2011-ZouaqGH #concept #graph #using
Ontologizing concept maps using graph theory (AZ, DG, MH), pp. 1687–1692.
SAC-2011-VandicDHF #approach #clustering #semantics
A semantic clustering-based approach for searching and browsing tag spaces (DV, JWvD, FH, FF), pp. 1693–1699.
SAC-2011-BruggemannA
Context-aware replacement operations for data cleaning (SB, HJA), pp. 1700–1704.
SAC-2011-ZhangYMC #information management #ontology #reasoning #representation #xml
Knowledge representation and reasoning of XML with ontology (FZ, LY, ZMM, JC), pp. 1705–1710.
SAC-2011-ThalerSS #named #ontology
SpotTheLink: playful alignment of ontologies (ST, EPBS, KS), pp. 1711–1712.
SAC-2011-SadaouiJ #evaluation
An offer evaluation system based on buyers’ interests (SS, WJ), pp. 1713–1714.
SAC-2011-RayNDF #interactive #privacy #verification
Verification of data pattern for interactive privacy preservation model (SR, MFN, SD, BCMF), pp. 1716–1723.
SAC-2011-YamamotoT #analysis #named #web
ImageAlert: credibility analysis of text-image pairs on the web (YY, KT), pp. 1724–1731.
SAC-2011-BaoCCC #network #trust
Hierarchical trust management for wireless sensor networks and its application to trust-based routing (FB, IRC, MC, JHC), pp. 1732–1738.
SAC-2011-SchryenVRH #approach #distributed #formal method #towards #trust
A formal approach towards measuring trust in distributed systems (GS, MV, SR, SMH), pp. 1739–1745.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.