Proceedings of the 25th 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

Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, Chih-Cheng Hung
Proceedings of the 25th Symposium on Applied Computing
SAC, 2010.

SE
DBLP
Scholar
Full names Links ISxN
@proceedings{SAC-2010,
	address       = "Sierre, Switzerland",
	editor        = "Sung Y. Shin and Sascha Ossowski and Michael Schumacher and Mathew J. Palakal and Chih-Cheng Hung",
	isbn          = "978-1-60558-639-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 25th Symposium on Applied Computing}",
	year          = 2010,
}

Contents (449 items)

SAC-2010-IndermuhleBSB #documentation #online
Text versus non-text distinction in online handwritten documents (EI, HB, FS, TMB), pp. 3–7.
SAC-2010-StoffelSKK #analysis #documentation #using #visual notation
Enhancing document structure analysis using visual analytics (AS, DS, HK, DAK), pp. 8–12.
SAC-2010-NetoGBPM #automation #documentation #fault #image #semantics
An automatic linking service of document images reducing the effects of OCR errors with latent semantics (RBN, JACG, AB, JP, AAM), pp. 13–17.
SAC-2010-ChandaFP #classification #documentation
Structural handwritten and machine print classification for sparse content and arbitrary oriented document fragments (SC, KF, UP), pp. 18–22.
SAC-2010-RoyPL #component #detection #documentation #image #using
Seal object detection in document images using GHT of local component shapes (PPR, UP, JL), pp. 23–27.
SAC-2010-LecerfC #documentation #layout #ranking #retrieval #scalability
Scalable indexing for layout based document retrieval and ranking (LL, BC), pp. 28–32.
SAC-2010-LinsBT #automation #detection #documentation #image
Automatically detecting and classifying noises in document images (RDL, SB, MT), pp. 33–39.
SAC-2010-CruzH #documentation #slicing #visualisation #xml
Exploring, visualizing and slicing the soul of XML documents (DCdC, PRH), pp. 40–46.
SAC-2010-SmithH #documentation #image #retrieval #using
Document retrieval using image features (DS, RH), pp. 47–51.
SAC-2010-RiosBKO #documentation #evaluation #set #word
Evaluation of different feature sets in an OCR free method for word spotting in printed documents (IR, AdSBJ, ALK, LSO), pp. 52–56.
SAC-2010-LesnerBBB #detection #exclamation #framework #novel #source code #student
A novel framework to detect source code plagiarism: now, students have to work for real! (BL, RB, CB, GB), pp. 57–58.
SAC-2010-Kavallieratou #detection #segmentation
Text line detection and segmentation: uneven skew angles and hill-and-dale writing (EK), pp. 59–60.
SAC-2010-LinsOTFT #algorithm #documentation
A dewarping algorithm to compensate volume binding distortion in scanned documents (RDL, DMdO, GT, JF, MT), pp. 61–62.
SAC-2010-Rittgen #modelling #process #quality
Quality and perceived usefulness of process models (PR), pp. 65–72.
SAC-2010-SrivastavaM #framework
An APQC-PCF based framework to compare service offerings in business transformation projects (BS, PM), pp. 73–78.
SAC-2010-CaetanoST #composition #principle #process
A method for business process decomposition based on the separation of concerns principle (AC, ARS, JMT), pp. 79–85.
SAC-2010-DirgahayuQS #design #interactive #refinement
Interaction refinement in the design of business collaborations (TD, DACQ, MvS), pp. 86–93.
SAC-2010-KimY #multi #personalisation #recommendation
New theoretical findings in multiple personalized recommendations (YHK, YY), pp. 94–98.
SAC-2010-IlayperumaZ #collaboration #modelling #perspective
Exploring business value models from the inter-organizational collaboration perspective (TI, JZ), pp. 99–105.
SAC-2010-OttoR #data transformation #overview
Organizing master data management: findings from an expert survey (BO, AR), pp. 106–110.
SAC-2010-Lee-KlenzSW #elicitation #framework #requirements
A requirements elicitation framework and tool for sourcing business-IT aligned e-services (SLK, PS, TWH), pp. 111–117.
SAC-2010-ScheithauerKKHHW #case study #modelling #outsourcing
Business modeling for service engineering: a case study in the IT outsourcing domain (GS, HK, JK, SH, HH, GW), pp. 118–123.
SAC-2010-SantosAG #ontology #semantics
An ontology-based semantic foundation for ARIS EPCs (PSSJ, JPAA, GG), pp. 124–130.
SAC-2010-AddicksA #architecture #enterprise
A method for application evaluations in context of enterprise architecture (JSA, HJA), pp. 131–136.
SAC-2010-HummelMH #development #enterprise #evolution #information management #towards
Towards quality-aware development and evolution of enterprise information systems (OH, CM, SH), pp. 137–144.
SAC-2010-AraujoSCA #process #validation
A method for validating the compliance of business processes to business rules (BdMA, EAS, ALC, AJA), pp. 145–149.
SAC-2010-AveiroST #enterprise #generative #modelling #towards
Towards a GOD-theory for organizational engineering: continuously modeling the continuous (re)generation, operation and deletion of the enterprise (DA, ARS, JMT), pp. 150–157.
SAC-2010-MeertensIN #architecture #design #framework #modelling #platform
Goal and model driven design of an architecture for a care service platform (LOM, MEI, LJMN), pp. 158–164.
SAC-2010-Perez-CastilloGP #on the #process #using
On the use of patterns to recover business processes (RPC, IGRdG, MP), pp. 165–166.
SAC-2010-Bollen #declarative #enterprise #modelling #semantics
Fact-oriented declarative semantic enterprise modeling (PB), pp. 167–168.
SAC-2010-JohanssonC #enterprise #requirements #tool support
Software tools for requirements management in an ERP system context (BJ, RAdC), pp. 169–170.
SAC-2010-OkamuraO #virtual machine
Load-based covert channels between Xen virtual machines (KO, YO), pp. 173–180.
SAC-2010-BaiXL #virtual machine
Task-aware based co-scheduling for virtual machine system (YB, CX, ZL), pp. 181–188.
SAC-2010-LeePKKS #hybrid #network #policy #retrieval
A hybrid prefetch policy for the retrieval of link-associated information on vehicular networks (JL, GLP, SWK, HJK, SYS), pp. 189–193.
SAC-2010-HeoGEKJ #energy #memory management #performance
Energy efficient program updating for sensor nodes with flash memory (JH, BG, SIE, PK, GJ), pp. 194–200.
SAC-2010-LoTLC #named #performance
Swap-before-hibernate: a time efficient method to suspend an OS to a flash drive (SWL, WsT, JgL, GsC), pp. 201–205.
SAC-2010-RajgarhiaG #file system #performance
Performance and extension of user space file systems (AR, AG), pp. 206–213.
SAC-2010-ChubachiSK #persistent
Hypervisor-based prevention of persistent rootkits (YC, TS, KK), pp. 214–220.
SAC-2010-ParkKCKH #named #peer-to-peer #performance #replication
Chordet: an efficient and transparent replication for improving availability of peer-to-peer networked systems (GP, SK, YC, JK, JH), pp. 221–225.
SAC-2010-ChenSC #aspect-oriented #evolution #framework #operating system
An aspect-oriented framework for operating system evolution (JC, HMS, CFC), pp. 226–230.
SAC-2010-KimJJ
Dynamic register-renaming scheme for reducing power-density and temperature (JK, STJ, CSJ), pp. 231–237.
SAC-2010-YiKMKS #adaptation #fault tolerance #named #reliability
ART: adaptive, reliable, and fault-tolerant task management for computational grids (SY, JYK, HM, BK, COS), pp. 238–239.
SAC-2010-JungCKCGK #interface #multi #network #protocol #stack
Virtual protocol stack interface for multiple wireless sensor network simulators (JJ, YC, YK, YC, BG, JK), pp. 240–241.
SAC-2010-LeeKM #named #performance #random
ReSSD: a software layer for resuscitating SSDs from poor small random write performance (YL, JSK, SM), pp. 242–243.
SAC-2010-GuoQL #configuration management #energy #network #optimisation #using
A general energy optimization model for wireless networks using configurable antennas (SG, ZQ, SL), pp. 246–250.
SAC-2010-LiuCGT #energy #mobile #performance
Energy efficient management scheme for heterogeneous secondary storage system in mobile computers (SL, XC, XG, DT), pp. 251–257.
SAC-2010-WeiYKHC #energy #manycore #realtime #scheduling
Energy-efficient real-time scheduling of multimedia tasks on multi-core processors (YHW, CYY, TWK, SHH, YHC), pp. 258–262.
SAC-2010-PetrucciLM #clustering #optimisation #performance
Dynamic optimization of power and performance for virtualized server clusters (VP, OL, DM), pp. 263–264.
SAC-2010-Banach #semantics
A deidealisation semantics for KAOS (RB), pp. 267–274.
SAC-2010-AntonelliRL #domain model #identification
Early identification of crosscutting concerns in the domain model guided by states (LA, GR, JCSdPL), pp. 275–280.
SAC-2010-BucchiaroneGFT #experience #natural language #requirements #scalability #set #using
An experience in using a tool for evaluating a large set of natural language requirements (AB, SG, AF, GT), pp. 281–286.
SAC-2010-PenimA #identification #modelling
Identifying and modeling aspectual scenarios with theme and MATA (ASP, JA), pp. 287–291.
SAC-2010-AlencarCLSSAM #composition #modelling #towards
Towards modular i* models (FMRA, JC, ML, ES, CTLLS, JA, AMDM), pp. 292–297.
SAC-2010-CappelliCGL #analysis #requirements #security
Transparency versus security: early analysis of antagonistic requirements (CC, HdSC, BGB, JCSdPL), pp. 298–305.
SAC-2010-SpinolaPT #approach #named #requirements
UbiCheck: an approach to support requirements definition in the ubicomp domain (ROS, FCRP, GHT), pp. 306–310.
SAC-2010-MairizaZN #non-functional #requirements
An investigation into the notion of non-functional requirements (DM, DZ, NN), pp. 311–317.
SAC-2010-Roder #interactive #requirements #usability #using
Using interaction requirements to operationalize usability (HR), pp. 318–319.
SAC-2010-Niu #energy #realtime #scalability
Energy-aware dual-mode voltage scaling for weakly hard real-time systems (LN), pp. 321–325.
SAC-2010-SchoeberlBV #memory management #named #realtime #transaction
RTTM: real-time transactional memory (MS, FB, JV), pp. 326–333.
SAC-2010-YuRCW #execution #scheduling
Profit and penalty aware (PP-aware) scheduling for tasks with variable task execution time (YY, SR, NC, XW), pp. 334–339.
SAC-2010-FaggioliBC #revisited
Sporadic Server revisited (DF, MB, FC), pp. 340–345.
SAC-2010-SantanaLM #clustering #realtime #web
Load forecasting applied to soft real-time web clusters (CS, JCBL, DM), pp. 346–350.
SAC-2010-ChokshiB #analysis #calculus #performance #realtime #revisited #using
Performance analysis of FlexRay-based systems using real-time calculus, revisited (DBC, PB), pp. 351–356.
SAC-2010-LuNB #dependence #execution
Timing analyzing for systems with execution dependencies between tasks (YL, TN, IB), pp. 357–358.
SAC-2010-FacchinettiF #architecture #clustering #manycore #realtime
Resource partitioning for real-time processing on a multicore architecture (TF, MF), pp. 359–360.
SAC-2010-KimHJEY #framework #pipes and filters
Harnessing input redundancy in a MapReduce framework (SGK, HH, HJ, HE, HYY), pp. 362–366.
SAC-2010-NallurB #design #in the cloud #quality #trade-off
Design of a market-based mechanism for quality attribute tradeoff of services in the cloud (VN, RB), pp. 367–371.
SAC-2010-ZaplataL #as a service #mobile #process #towards
Towards mobile process as a service (SZ, WL), pp. 372–379.
SAC-2010-LitoiuWWNI #architecture #optimisation
A business driven cloud optimization architecture (ML, CMW, JW, JN, GI), pp. 380–385.
SAC-2010-MylavarapuSB #approach #capacity #framework #probability
An optimized capacity planning approach for virtual infrastructure exhibiting stochastic workload (SM, VS, PB), pp. 386–390.
SAC-2010-MalkowskiHJPN #empirical #named
CloudXplor: a tool for configuration planning in clouds based on empirical data (SM, MH, DJ, CP, DN), pp. 391–398.
SAC-2010-WeeL #using
Client-side load balancer using cloud (SW, HL), pp. 399–405.
SAC-2010-HassanB #distributed #file system #using
Semi-join computation on distributed file systems using map-reduce-merge model (MAHH, MB), pp. 406–413.
SAC-2010-LombardiP #security
Transparent security for cloud (FL, RDP), pp. 414–415.
SAC-2010-SchiperP #algorithm #flexibility #multi #performance
Fast, flexible, and highly resilient genuine fifo and causal multicast algorithms (NS, FP), pp. 418–422.
SAC-2010-SarrNG #adaptation #distributed #monitoring #named #transaction #web
TransPeer: adaptive distributed transaction monitoring for Web2.0 applications (IS, HN, SG), pp. 423–430.
SAC-2010-SykesHMK #adaptation #architecture #non-functional #self
Exploiting non-functional preferences in architectural adaptation for self-managed systems (DS, WH, JM, JK), pp. 431–438.
SAC-2010-HoqueRA #named #protocol #scalability #using
S-search: finding RFID tags using scalable and secure search protocol (MEH, FR, SIA), pp. 439–443.
SAC-2010-ArnaudB #adaptation #internet #performance
Adaptive internet services through performance and availability control (JA, SB), pp. 444–451.
SAC-2010-WangLRKL #distributed #information management
Improving complex distributed software system availability through information hiding (LW, YL, SR, KAK, XL), pp. 452–456.
SAC-2010-SerugendoFR #architecture #development #named #self
MetaSelf: an architecture and a development method for dependable self-* systems (GDMS, JSF, AR), pp. 457–461.
SAC-2010-GomaaHKMM #adaptation #architecture
Software adaptation patterns for service-oriented architectures (HG, KH, MK, SM, DAM), pp. 462–469.
SAC-2010-BernalFMD #approach #identification #process #rule-based
Dynamic context-aware business process: a rule-based approach supported by pattern identification (JFMB, PF, MM, JD), pp. 470–474.
SAC-2010-CorreiaVL #process
Asynchronous Byzantine consensus with 2f+1 processes (MC, GSV, LCL), pp. 475–480.
SAC-2010-TraulsenH #data flow #parallel
Reactive parallel processing for synchronous dataflow (CT, RvH), pp. 483–490.
SAC-2010-FacchinettiSG #design #development #embedded #metric #realtime
Design and development of a real-time embedded inertial measurement unit (TF, AS, EG), pp. 491–495.
SAC-2010-ChamberlainBFB #architecture #development
Application-guided tool development for architecturally diverse computation (RDC, JB, MAF, JHB), pp. 496–501.
SAC-2010-RyuLYS #clustering #file system
Flash-aware cluster allocation method based on filename extension for FAT file system (SR, CL, SY, SS), pp. 502–509.
SAC-2010-AnastasiadisSP #detection #multi #performance
A fast multiplier-less edge detection accelerator for FPGAs (NA, IS, KZP), pp. 510–515.
SAC-2010-OConnellV #energy
Digital energy metering for electrical system management (DPO, IDDV), pp. 516–520.
SAC-2010-BautistaSHPD #clustering #power management #requirements #set
Dynamic task set partitioning based on balancing resource requirements and utilization to reduce power consumption (DB, JS, HH, SP, JD), pp. 521–526.
SAC-2010-ForgetBLP #architecture #design #embedded #multi #realtime
A real-time architecture design language for multi-rate embedded control systems (JF, FB, DL, CP), pp. 527–534.
SAC-2010-GhoshS #constraints #design #energy #performance
Efficient mapping and voltage islanding technique for energy minimization in NoC under design constraints (PG, AS), pp. 535–541.
SAC-2010-ChenT #energy #multi #platform #scheduling
Energy-efficient scheduling on homogeneous multiprocessor platforms (JJC, LT), pp. 542–549.
SAC-2010-ZhangHJ #java #locality #transaction
Optimized Java Card transaction mechanism based on object locality (DZ, ZH, WJ), pp. 550–551.
SAC-2010-SiderisMP #hardware #java
A hardware peripheral for Java bytecodes translation acceleration (IS, NKM, KZP), pp. 552–553.
SAC-2010-BaeCK
Flash-aware record management method (DHB, JWC, SWK), pp. 554–555.
SAC-2010-WibisonoLZ #ad hoc #collaboration #framework #mobile #network
Collaborative context management framework for mobile ad hoc network environments (WW, SL, ABZ), pp. 558–562.
SAC-2010-WeiC #adaptation #mobile #semantics #towards
Towards semantic-based adaptation decisions for context-aware mobile computing (EJYW, ATSC), pp. 563–567.
SAC-2010-WangLZY #algorithm
An indoor tracking algorithm with the virtual reference based positioning (YW, JL, JZ, LY), pp. 568–574.
SAC-2010-MaiaCCA #mobile
Considerations on developing mobile applications based on the Capuchin project (MEFM, CC, RC, RMCA), pp. 575–579.
SAC-2010-LvLLC #multi #on-demand #realtime #scheduling
Profit-based on-demand broadcast scheduling of real-time multi-item requests (JL, VCSL, ML, EC), pp. 580–584.
SAC-2010-JungCCL #on the #query
On processing location based top-k queries in the wireless broadcasting system (HJ, BKC, YDC, LL), pp. 585–591.
SAC-2010-MatosBM #network #predict #towards
Towards in-network data prediction in wireless sensor networks (TBM, AB, JEBM), pp. 592–596.
SAC-2010-ChuaLGTA #game studies #mobile #resource management #usability
Evaluating the usability of a mobile content sharing game (AYKC, CSL, DHLG, KTT, NA), pp. 597–598.
SAC-2010-StammAMZ #mobile
Mobile intelligent interruptions management (MIIM): a context aware unavailability system (KS, SIA, PM, SZ), pp. 599–600.
SAC-2010-TeixeiraG #algorithm #network #scheduling
Uplink scheduling algorithm with dynamic polling management in IEEE 802.16 broadband wireless networks (MAT, PRG), pp. 601–602.
SAC-2010-DelisVT #approach #classification
A data perturbation approach to sensitive classification rule hiding (AD, VSV, AAT), pp. 605–609.
SAC-2010-ChakrabartiCGM #analysis #linear #privacy
Privacy preserving linear discriminant analysis from perturbed data (SC, ZC, AG, SM), pp. 610–615.
SAC-2010-MatteucciPS #named #natural language
CNL4DSA: a controlled natural language for data sharing agreements (IM, MP, MLS), pp. 616–620.
SAC-2010-SorniottiM #facebook #implementation #network #social
Secret interest groups (SIGs) in social networks with an implementation on Facebook (AS, RM), pp. 621–628.
SAC-2010-KharaMS
An improved WLAN-first access scheme for UMTS/WLAN integrated system (SK, ISM, DS), pp. 630–634.
SAC-2010-SchutzC #approach #fault tolerance #hybrid #multi #network #optimisation
A multi-objective optimization approach for fault-tolerance provisioning in multi-radio hybrid wireless-optical broadband access networks (GS, NSCC), pp. 635–640.
SAC-2010-CascaranoCR #classification
Improving cost and accuracy of DPI traffic classifiers (NC, LC, FR), pp. 641–646.
SAC-2010-HarshN #approach #architecture #independence #multi #network
Mode independent session directory service architecture: a unified approach for ASM and SSM multicast networks (PH, REN), pp. 647–654.
SAC-2010-HautakorpiM #algorithm #network #using
Load balancing for structured P2P networks using the advanced finger selection algorithm (AFSA) (JH, JM), pp. 655–662.
SAC-2010-AnelliLHL #detection #towards
Transport congestion events detection (TCED): towards decorrelating congestion detection from TCP (PA, EL, FH, DMLP), pp. 663–669.
SAC-2010-BrogleBB #multi #quality #using
Quality of service for multicasting using NICE (MB, SB, TB), pp. 670–677.
SAC-2010-Makela #array #concept
Concept for providing guaranteed service level over an array of unguaranteed commodity connections (AM), pp. 678–683.
SAC-2010-Pamies-JuarezL #maintenance #reliability
Maintaining data reliability without availability in P2P storage systems (LPJ, PGL), pp. 684–688.
SAC-2010-SenguptaMS #multi #named #network #protocol
MMSRP: multi-wavelength Markov-based split reservation protocol for DWDM optical networks (MS, SKM, DS), pp. 689–693.
SAC-2010-LenzLS #named #network #streaming #video
SeRViSO: a selective retransmission scheme for video streaming in overlay networks (CEL, LCL, FAS), pp. 694–698.
SAC-2010-ConceicaoPC #clustering #novel
A novel stable and low-maintenance clustering scheme (LC, DP, MC), pp. 699–705.
SAC-2010-MabuchiSHSK #data access #named
CapaCon: access control mechanism for inter-device communications through TCP connections (MM, YS, KH, AS, KK), pp. 706–712.
SAC-2010-FuPTW #using
Mitigating denial of capability attacks using sink tree based quota allocation (ZF, MP, PT, WW), pp. 713–718.
SAC-2010-NaceraHAM #ad hoc #clustering #network
A new two level hierarchy structuring for node partitioning in ad hoc networks (BN, HG, HA, MM), pp. 719–726.
SAC-2010-LiuHLW #consistency #migration #network #virtual machine
Network state consistency of virtual machine in live migration (XL, JH, QL, TW), pp. 727–728.
SAC-2010-MelchiorsSMSPGT #distributed #network
A network polling solution through a P2P-based distributed management environment (CM, AHdS, DM, CRPdS, AP, LZG, LMRT), pp. 729–730.
SAC-2010-JungCKK #adaptation #named #performance #reliability
ASTRAL: an adaptive, efficient, and reliable flooding mechanism for MANET (JJ, YC, YK, IK), pp. 731–732.
SAC-2010-SardanaJ #network
Dual-level defense for networks under DDoS attacks (AS, RCJ), pp. 733–734.
SAC-2010-KimKPT #framework #hybrid #platform #realtime #scheduling
Integrating real-time hybrid task scheduling into a sensor node platform (TK, BK, EKP, ST), pp. 737–741.
SAC-2010-OliverSF #abstraction #network #operating system
An operating system abstraction layer for portable applications in wireless sensor networks (RSO, IS, GF), pp. 742–748.
SAC-2010-ZhouS #ad hoc #energy #network #performance #throughput #towards
Towards higher throughput and energy efficiency in dense wireless ad hoc and sensor networks (WZ, RS), pp. 749–755.
SAC-2010-MulasACFQF #adaptation #energy #network
Network-adaptive management of computation energy in wireless sensor networks (FM, AA, SC, GF, DQ, FF), pp. 756–763.
SAC-2010-DomanPD #fuzzy #network #query
Leveraging fuzzy query processing to support applications in wireless sensor networks (MD, JP, TD), pp. 764–771.
SAC-2010-DongD #analysis #probability
Analysis of collision probability in unsaturated situation (QD, WD), pp. 772–777.
SAC-2010-ClaycombLSK #network #policy #security
A group-based security policy for wireless sensor networks (WC, RL, DS, BK), pp. 778–785.
SAC-2010-BraynerCS #approach #detection #energy #network #quality #query #requirements
Dealing with application requirements and energy consumption in wireless sensor networks: a novelty detection approach for quality of query services (AB, ALVC, KMdS), pp. 786–790.
SAC-2010-SatzgerBKU #lightweight #network #self #towards
Towards lightweight self-configuration in wireless sensor networks (BS, FB, FK, TU), pp. 791–792.
SAC-2010-MatthysAHMJH #data access #fine-grained #network #towards
Towards fine-grained and application-centric access control for wireless sensor networks (NM, SRA, CH, SM, WJ, DH), pp. 793–794.
SAC-2010-HedgecockVLKAST #mobile #monitoring #network
Mobile air pollution monitoring network (WH, PV, ÁL, XDK, AA, ASS, AT), pp. 795–796.
SAC-2010-SkopikSD #interactive
Trustworthy interaction balancing in mixed service-oriented systems (FS, DS, SD), pp. 799–806.
SAC-2010-GohC #quality #social
Investigating the influence of social computing applications on website quality (DHLG, AYKC), pp. 807–811.
SAC-2010-KuuskeriLM #collaboration #kernel #peer-to-peer
Peer-to-peer collaboration in the lively kernel (JK, JL, TM), pp. 812–817.
SAC-2010-MaoH #robust #web
A robust link-translating proxy server mirroring the whole web (ZM, CH), pp. 818–825.
SAC-2010-DAngeloVZ #privacy #web
Content cloaking: preserving privacy with Google Docs and other web applications (GD, FV, SZ), pp. 826–830.
SAC-2010-OssaPSG #algorithm #graph #low cost #predict #web
Referrer graph: a low-cost web prediction algorithm (BdlO, AP, JS, JAG), pp. 831–838.
SAC-2010-BozzonBFP #framework #integration #platform
Integration of a human face annotation technology in an audio-visual search engine platform (AB, MB, PF, PP), pp. 839–843.
SAC-2010-MatteoPTV #algorithm #ambiguity #clustering #folksonomy
Of mice and terms: clustering algorithms on ambiguous terms in folksonomies (NRDM, SP, FT, FV), pp. 844–848.
SAC-2010-MateosCZC #design pattern #pervasive
Separation of concerns in service-oriented applications based on pervasive design patterns (CM, MC, AZ, MRC), pp. 849–853.
SAC-2010-SchoutenRBFLH #approach #personalisation #semantics
A semantic web-based approach for personalizing news (KS, PR, JB, FF, LL, FH), pp. 854–861.
SAC-2010-BattistelliMMSS #documentation
Avoiding to dispense with accuracy: a method to make different DTDs documents comparable (MB, SM, LAM, PS, SS), pp. 862–866.
SAC-2010-KaoLW #approach #hybrid #novel
Expert finding in question-answering websites: a novel hybrid approach (WCK, DRL, SWW), pp. 867–871.
SAC-2010-FrantiKTS #architecture #concept #prototype
MOPSI location-based search engine: concept, architecture and prototype (PF, JK, AT, LS), pp. 872–873.
SAC-2010-ShestakovS #clustering #web
Host-IP clustering technique for deep web characterization (DS, TS), pp. 874–875.
SAC-2010-MilettoPSB #music #social #web
Social music making on the web with CODES (EMM, MSP, JPS, FB), pp. 876–877.
SAC-2010-DollerSKTD #image #retrieval #standard
Standardized interoperable image retrieval (MD, FS, HK, RT, JD), pp. 880–886.
SAC-2010-BallatoreMKB #adaptation #interactive #named #recommendation
RecoMap: an interactive and adaptive map-based recommender (AB, GM, CK, MB), pp. 887–891.
SAC-2010-BaeAVNB #algorithm #performance #search-based
Convex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature (WDB, SA, PV, SN, KYB), pp. 892–899.
SAC-2010-RomaniAZCTT #algorithm #mining #named
CLEARMiner: a new algorithm for mining association patterns on heterogeneous time series from climate data (LASR, AMHdÁ, JZJ, RC, CTJ, AJMT), pp. 900–905.
SAC-2010-ChenS #3d #interactive #matrix #modelling
Modeling cardinal directions in the 3D space with the objects interaction cube matrix (TC, MS), pp. 906–910.
SAC-2010-Garcia-MagarinoCS #architecture #metric
A metrics suite for evaluating agent-oriented architectures (IGM, MC, VS), pp. 912–919.
SAC-2010-PuvianiCCM #experience
Building an agent methodology from fragments: the MEnSA experience (MP, MC, GC, AM), pp. 920–927.
SAC-2010-CostaNSFL #adaptation #framework #self
JAAF+T: a framework to implement self-adaptive agents that apply self-test (ADdC, CN, VTdS, BFdSN, CJPdL), pp. 928–935.
SAC-2010-GoncalvesCCGS #modelling #towards #using
Towards the modeling reactive and proactive agents by using MAS-ML (EJTG, MIC, GALdC, GFG, VTdS), pp. 936–937.
SAC-2010-HilaireGGK #approach #documentation
An approach based upon OWL-S for method fragments documentation and selection (VH, NG, SG, AK), pp. 938–939.
SAC-2010-HuangT #detection #semantics #specification
Semantic scene detection system for baseball videos based on the MPEG-7 specification (YFH, LHT), pp. 941–947.
SAC-2010-FariaMLPA #interactive #validation #visual notation
A new methodology for photometric validation in vehicles visual interactive systems (AWCF, DM, DSDL, GLP, AdAA), pp. 948–953.
SAC-2010-MadeoPBDB #implementation #pattern matching #pattern recognition #recognition
A committee machine implementing the pattern recognition module for fingerspelling applications (RCBM, SMP, HHB, DBD, CB), pp. 954–958.
SAC-2010-LanLSH #algorithm #classification #image #using
An improved K-view algorithm for image texture classification using new characteristic views selection methods (YL, HL, ES, CCH), pp. 959–963.
SAC-2010-WelferSM #approach #detection #image
A morphologic three-stage approach for detecting exudates in color eye fundus images (DW, JS, DRM), pp. 964–968.
SAC-2010-PizzolatoAP #architecture #automation #recognition
Automatic recognition of finger spelling for LIBRAS based on a two-layer architecture (EBP, MdSA, GCP), pp. 969–973.
SAC-2010-ZhouCS #consistency #linear #source code
Reparameterization based consistent graph-structured linear programs (HZ, QC, ZS), pp. 974–978.
SAC-2010-MigotinaRF #automation #detection #fuzzy #parametricity #using
Automatic K-complex detection using Hjorth parameters and fuzzy decision (DM, ACR, ALNF), pp. 979–980.
SAC-2010-ZhangW #classification #image #representation
Image representation and classification based on data compression (NZ, TW), pp. 981–982.
SAC-2010-ChengHR #detection #video
Advanced motion detection for intelligent video surveillance systems (FCC, SCH, SJR), pp. 983–984.
SAC-2010-AyyappanWN #algorithm #constraints #learning #named #network #scalability
MICHO: a scalable constraint-based algorithm for learning Bayesian networks (MA, YKW, WKN), pp. 985–989.
SAC-2010-Kaneiwa #approach #information management #mining #set
A rough set approach to mining connections from information systems (KK), pp. 990–996.
SAC-2010-GoethalsPM #database #mining #relational #set
Mining interesting sets and rules in relational databases (BG, WLP, MM), pp. 997–1001.
SAC-2010-FernandesLR #classification #random
The impact of random samples in ensemble classifiers (PF, LL, DDAR), pp. 1002–1009.
SAC-2010-QinXL #classification #nondeterminism
A Bayesian classifier for uncertain data (BQ, YX, FL), pp. 1010–1014.
SAC-2010-KimKMY #multi #network #predict #probability #using
Probabilistic context prediction using time-inferred multiple pattern networks (YHK, WK, KM, YY), pp. 1015–1019.
SAC-2010-SamiYPHH #api #detection #mining
Malware detection based on mining API calls (AS, BY, HR, NP, SH, AH), pp. 1020–1025.
SAC-2010-ColantonioPOV #adaptation #approach #clustering #matrix #named
ABBA: adaptive bicluster-based approach to impute missing values in binary matrices (AC, RDP, AO, NVV), pp. 1026–1033.
SAC-2010-LeungHB #constraints #mining #nondeterminism
Mining uncertain data for frequent itemsets that satisfy aggregate constraints (CKSL, BH, DAB), pp. 1034–1038.
SAC-2010-HeraviZ #case study #classification #metric
A study on interestingness measures for associative classifiers (MJH, ORZ), pp. 1039–1046.
SAC-2010-LiuJWZQ #mining
Mining preorder relation between knowledge units from text (JL, LJ, ZW, QZ, YnQ), pp. 1047–1053.
SAC-2010-FlouvatSGRG #mining
Constrained colocation mining: application to soil erosion characterization (FF, NSF, DG, IR, CG), pp. 1054–1059.
SAC-2010-BaralisCC #dataset #mining #persistent #scalability
A persistent HY-Tree to efficiently support itemset mining on large datasets (EB, TC, SC), pp. 1060–1064.
SAC-2010-AppiceCM #learning
Transductive learning for spatial regression with co-training (AA, MC, DM), pp. 1065–1070.
SAC-2010-CeciALM #approach #data mining #mining #ranking #relational
Complex objects ranking: a relational data mining approach (MC, AA, CL, DM), pp. 1071–1077.
SAC-2010-CostaFGMO #learning #mining #modelling
Mining models of exceptional objects through rule learning (GC, FF, MG, GM, RO), pp. 1078–1082.
SAC-2010-GabrielSN #clustering #matrix #similarity #using
Eigenvector-based clustering using aggregated similarity matrices (HHG, MS, AN), pp. 1083–1087.
SAC-2010-CaoWWH #approach #composition #named #network #social
OASNET: an optimal allocation approach to influence maximization in modular social networks (TC, XW, SW, XH), pp. 1088–1094.
SAC-2010-RosswogG #clustering #detection #mobile
Efficiently detecting clusters of mobile objects in the presence of dense noise (JR, KG), pp. 1095–1102.
SAC-2010-CampanTC #bound
User-controlled generalization boundaries for p-sensitive k-anonymity (AC, TMT, NC), pp. 1103–1104.
SAC-2010-ZengXCB #parametricity #scalability
Introducing global scaling parameters into Ncut (YZ, HX, XC, SB), pp. 1105–1106.
SAC-2010-MengleG #category theory #mining
Mining temporal relationships among categories (SSRM, NG), pp. 1107–1108.
SAC-2010-LuccheseOP #dataset #generative #mining
A generative pattern model for mining binary datasets (CL, SO, RP), pp. 1109–1110.
SAC-2010-ZhangZ #analysis #canonical #correlation #random
Canonical random correlation analysis (JZ, DZ), pp. 1111–1112.
SAC-2010-BelohlavekV #concept analysis #constraints
Background knowledge in formal concept analysis: constraints via closure operators (RB, VV), pp. 1113–1114.
SAC-2010-NinagawaE #modelling #network #predict #probability #using
Link prediction using probabilistic group models of network structure (AN, KE), pp. 1115–1116.
SAC-2010-BechikhSG #mobile #multi #optimisation #using
Searching for knee regions in multi-objective optimization using mobile reference points (SB, LBS, KG), pp. 1118–1125.
SAC-2010-SilvaS #object-oriented #testing
Evolutionary testing of object-oriented software (LSS, MvS), pp. 1126–1130.
SAC-2010-BarrosBRCF #induction
Evolutionary model tree induction (RCB, MPB, DDR, ACPLFdC, AAF), pp. 1131–1137.
SAC-2010-GhoulbeigiS #evolution #probability
Probabilistic developmental program evolution (EG, MVdS), pp. 1138–1142.
SAC-2010-NepomucenoLA #clustering #correlation #linear #metaheuristic
Evolutionary metaheuristic for biclustering based on linear correlations among genes (JAN, ATL, JSAR), pp. 1143–1147.
SAC-2010-ToledoOOP #algorithm #parallel #problem #scheduling #search-based
Parallel genetic algorithm approaches applied to solve a synchronized and integrated lot sizing and scheduling problem (CFMT, LdO, RRRdO, MRP), pp. 1148–1152.
SAC-2010-AraujoOS #hybrid #quantum
Hybrid evolutionary quantum inspired method to adjust time phase distortions in financial time series (RdAA, ALIdO, SCBS), pp. 1153–1154.
SAC-2010-RiponGHT #approach #layout #multi #problem #using
Multi-objective evolutionary approach for solving facility layout problem using local search (KSNR, KG, MH, JT), pp. 1155–1156.
SAC-2010-Kuzume #using
Input device for disabled persons using expiration and tooth-touch sound signals (KK), pp. 1159–1164.
SAC-2010-LuoTLTDW #design #enterprise #evaluation #process #visualisation
Visualizing time-series data in processlines: design and evaluation of a process enterprise application (XL, FT, WL, DT, GD, HW), pp. 1165–1172.
SAC-2010-MassinkHL #analysis #behaviour #scalability
Scalable analysis of collective behaviour in smart service systems (MM, MDH, DL), pp. 1173–1180.
SAC-2010-JiKYC #3d #how #interactive #using
How to manage interactive dialogues of avatar agents by using 3D spatial information of virtual world (SHJ, JWK, TY, HGC), pp. 1181–1187.
SAC-2010-YasarMPLCB #information management #interactive #network #people #scalability #social
Where people and cars meet: social interactions to improve information sharing in large scale vehicular networks (AUHY, NM, DP, KL, KC, YB), pp. 1188–1194.
SAC-2010-AquinoVP #flexibility #modelling #user interface
Transformation templates: adding flexibility to model-driven engineering of user interfaces (NA, JV, OP), pp. 1195–1202.
SAC-2010-GongWWLZY #using
Recognizing affect from non-stylized body motion using shape of Gaussian descriptors (LG, TW, CW, FL, FZ, XY), pp. 1203–1206.
SAC-2010-PeixotoPR #education #game studies #simulation
Semiotic inspection method in the context of educational simulation games (DCCP, ROP, RFR), pp. 1207–1212.
SAC-2010-HayashiB #comprehension
Understanding meta-communication in an inclusive scenario (ECSH, MCCB), pp. 1213–1218.
SAC-2010-SantanaB #web
Summarizing observational client-side data to reveal web usage patterns (VFdS, MCCB), pp. 1219–1223.
SAC-2010-MacielNJIS #interactive #using
Reality cues-based interaction using whole-body awareness (AM, LPN, VAMJ, JMTI, LFMSS), pp. 1224–1228.
SAC-2010-MacielNMMMF #collaboration #interactive
Collaborative interaction through spatially aware moving displays (AM, LPN, EMM, MHM, GMM, CMDSF), pp. 1229–1233.
SAC-2010-Stander #smarttech #towards
Towards interactionflows for smart products (MS), pp. 1234–1235.
SAC-2010-OliveiraGGD #case study #detection #experience
Experiences in reading detection with EEG signals (IO, OG, NG, CD), pp. 1236–1237.
SAC-2010-RubegniBPS #communication #design #multi
A format to design narrative multimedia applications for cultural heritage communication (ER, NDB, PP, AS), pp. 1238–1239.
SAC-2010-AhnH #constraints
Constraint-based LN-curves (YJA, CMH), pp. 1242–1246.
SAC-2010-FunfzigMF #polynomial
Polytope-based computation of polynomial ranges (CF, DM, SF), pp. 1247–1252.
SAC-2010-FunfzigTA #constraints #parametricity #using
Haptic manipulation of rational parametric planar cubics using shape constraints (CF, PT, GA), pp. 1253–1257.
SAC-2010-AthanasiadisFNS #3d #geometry #optimisation
Feature-based 3D morphing based on geometrically constrained sphere mapping optimization (TA, IF, CN, VS), pp. 1258–1265.
SAC-2010-ZhouSS #approximate #design #geometry
Blade geometry design with kinematic ruled surface approximation (YZ, JS, SS), pp. 1266–1267.
SAC-2010-Pham #geometry #proving
Similar triangles and orientation in plane elementary geometry for Coq-based proofs (TMP), pp. 1268–1269.
SAC-2010-PortugalR #algorithm #clustering #graph #multi #using
MSP algorithm: multi-robot patrolling based on territory allocation using balanced graph partitioning (DP, RPR), pp. 1271–1276.
SAC-2010-HoL #algorithm #constraints
Simulated annealing based algorithm for smooth robot path planning with different kinematic constraints (YJH, JSL), pp. 1277–1281.
SAC-2010-LeeKWAHP #3d #finite #random #using
Tracking random finite objects using 3D-LIDAR in marine environments (KWL, BK, WSW, MA, FSH, NMP), pp. 1282–1287.
SAC-2010-ChoePR #estimation
Dispatching AGVs with noisy estimation of crane operation time (RC, TP, KRR), pp. 1288–1293.
SAC-2010-Mohy-ud-DinM #detection #probability
Detecting narrow passages in configuration spaces via spectra of probabilistic roadmaps (HMuD, AM), pp. 1294–1298.
SAC-2010-MiaoOWS #distributed #network #using
Coverage-hole trap model in target tracking using distributed relay-robot network (HM, CCO, XW, CS), pp. 1299–1304.
SAC-2010-FotoohiG #approach #behaviour #case study
A supervisory control approach for safe behavior of service robot case study: FRIEND (LF, AG), pp. 1305–1306.
SAC-2010-DolevT #distributed #named
Spanders: distributed spanning expanders (SD, NT), pp. 1309–1314.
SAC-2010-EyiyurekliBLB #self #sorting
Chemotaxis-based sorting of self-organizing heterotypic agents (ME, LB, PIL, DEB), pp. 1315–1322.
SAC-2010-HarshCN #generative #network #towards
Gray networking: a step towards next generation computer networks (PH, RC, REN), pp. 1323–1328.
SAC-2010-JanssenPW #graph #similarity
Estimating node similarity from co-citation in a spatial graph model (JJ, PP, RW), pp. 1329–1333.
SAC-2010-Fernandez-MarquezAS
Infrastructureless storage in dynamic environments (JLFM, JLA, GDMS), pp. 1334–1338.
SAC-2010-HarasicAOT #distributed #named #rdf
RDFSwarms: selforganized distributed RDF triple store (MH, AA, PO, RT), pp. 1339–1340.
SAC-2010-GrozaHB #automation #towards
Towards automatic extraction of epistemic items from scientific publications (TG, SH, GB), pp. 1341–1348.
SAC-2010-NiemiN #ontology
Ontologies and summarizability in OLAP (TN, MN), pp. 1349–1353.
SAC-2010-DrumondG #concept #logic #markov #ontology #using
Extracting ontology concept hierarchies from text using Markov logic (LD, RG), pp. 1354–1358.
SAC-2010-IqbalOS #semantics
Semantic content distribution with aggregated profiles (AAI, MO, AS), pp. 1359–1365.
SAC-2010-BilascoABDLMMPRYZ #delivery #multi #semantics
Semantics for intelligent delivery of multimedia content (IMB, SA, PB, CD, JL, JM, EMG, DP, MR, MY, JZ), pp. 1366–1372.
SAC-2010-GroppeG #database #scalability #semantics #sorting #web
External sorting for index construction of large semantic web databases (SG, JG), pp. 1373–1380.
SAC-2010-BagheriE #reasoning
Evidential reasoning for the treatment of incoherent terminologies (EB, FE), pp. 1381–1387.
SAC-2010-CalvaneseKNRS #database #ontology #query #visual notation
Web-based graphical querying of databases through an ontology: the Wonder system (DC, CMK, WN, MRM, GS), pp. 1388–1395.
SAC-2010-IbanezVEB #process #semantics
Semantically enabled business process discovery (MJI, GV, JE, SB), pp. 1396–1403.
SAC-2010-SahHR #personalisation #web
Dynamic linking and personalization on web (MS, WH, DDR), pp. 1404–1410.
SAC-2010-TeikenBA #consistency #constraints #health
Interchangeable consistency constraints for public health care systems (YT, SB, HJA), pp. 1411–1416.
SAC-2010-EnsanB #distributed #framework #ontology
A framework for handling revisions in distributed ontologies (FE, EB), pp. 1417–1422.
SAC-2010-FanizzidE #induction #towards
Towards the induction of terminological decision trees (NF, Cd, FE), pp. 1423–1427.
SAC-2010-EspositoFd #nondeterminism #validation
Recovering uncertain mappings through structural validation and aggregation with the MoTo system (FE, NF, Cd), pp. 1428–1432.
SAC-2010-MarinhoCDFBBL #data mining #education #framework #mining #ontology
An ontology-based software framework to provide educational data mining (TM, EdBC, DD, RF, LMB, IIB, HPLL), pp. 1433–1437.
SAC-2010-MustaphaZAG #composition #ontology #semantics #using
Enhancing semantic search using case-based modular ontology (NBM, HBZ, MAA, HHBG), pp. 1438–1439.
SAC-2010-LopesVCTL #assessment #personalisation #semantics #web
The semantics of personalised web accessibility assessment (RL, KV, LC, DT, SDL), pp. 1440–1441.
SAC-2010-ShinKNNTO #named #ontology #recommendation #using
ONTOMO: web-based ontology building system: ---instance recommendation using bootstrapping--- (IS, TK, HN, KN, YT, AO), pp. 1442–1443.
SAC-2010-HogenboomFK #overview #owl #representation
A review of approaches for representing RCC8 in OWL (FH, FF, UK), pp. 1444–1445.
SAC-2010-dAmatoEFFGL #induction #reasoning #semantics #web
Inductive reasoning and semantic web search (Cd, FE, NF, BF, GG, TL), pp. 1446–1447.
SAC-2010-OCallaghanDC #grid #trust
Evaluating trust in grid certificates (DO, LD, BAC), pp. 1449–1450.
SAC-2010-MaranzatoPLN #detection #using
Fraud detection in reputation systems in e-markets using logistic regression (RM, AMP, APdL, MN), pp. 1454–1455.
SAC-2010-DolevGK #multi #scalability #trust
Computing multi-party trust privately: in O(n) time units sending one (possibly large) message at a time (SD, NG, MK), pp. 1460–1465.
SAC-2010-YadavS #framework #named #network #trust
iTrust: an integrated trust framework for wireless sensor networks (KY, AS), pp. 1466–1471.
SAC-2010-SaadiPB #2d #named #trust
T2D: a peer to peer trust management system based on disposition to trust (RS, JMP, LB), pp. 1472–1478.
SAC-2010-Hammerle-UhlRU #case study #recognition #robust
Experimental study on the impact of robust watermarking on iris recognition accuracy (JHU, KR, AU), pp. 1479–1484.
SAC-2010-HanFD #classification #correlation #recognition
A discriminated correlation classifier for face recognition (ZH, CF, XD), pp. 1485–1490.
SAC-2010-RoyM #verification #visual notation
Visual processing-inspired fern-audio features for noise-robust speaker verification (AR, SM), pp. 1491–1495.
SAC-2010-MillerRPW #identification #using
Personal identification using periocular skin texture (PEM, AWR, SJP, DLW), pp. 1496–1500.
SAC-2010-LarcherBM #embedded #recognition
Constrained Viterbi decoding for embedded user-customised password speaker recognition (AL, JFB, JSDM), pp. 1501–1502.
SAC-2010-ChartonLLB #framework #named #open source #platform
Mistral: open source biometric platform (EC, AL, CL, JFB), pp. 1503–1504.
SAC-2010-LeeST #algorithm #database #incremental #performance
An incremental algorithm for efficient unique signature discoveries on DNA databases (HPL, TFS, CYT), pp. 1506–1510.
SAC-2010-WebsterGDKP #framework #generative
A framework for cross-disciplinary hypothesis generation (YWW, RCG, ERD, JK, MJP), pp. 1511–1515.
SAC-2010-BicegoLOP #array #classification #modelling #topic #using
Expression microarray classification using topic models (MB, PL, BO, AP), pp. 1516–1520.
SAC-2010-BaudetD #algorithm #permutation
An improved algorithm to enumerate all traces that sort a signed permutation by reversals (CB, ZD), pp. 1521–1525.
SAC-2010-ElliottMCOO #database #interface #network #query
Advanced querying interface for biochemical network databases (BE, SM, AC, , ZMÖ), pp. 1526–1533.
SAC-2010-AminBFJ #approach #probability
A stochastic approach to candidate disease gene subnetwork extraction (MSA, AB, RLFJ, HMJ), pp. 1534–1538.
SAC-2010-MisraNLC #generative #named #sequence
FANGS: high speed sequence mapping for next generation sequencers (SM, RN, SL, ANC), pp. 1539–1546.
SAC-2010-ChengSMZ #data mining #database #integration #mining #named #online
PROM-OOGLE: data mining and integration of on-line databases to discover gene promoters (DC, JS, MMP, ORZ), pp. 1547–1551.
SAC-2010-MiyanishiSU #generative #ranking
Hypothesis generation and ranking based on event similarities (TM, KS, KU), pp. 1552–1558.
SAC-2010-RibeiroS #data type #named #network #performance
g-tries: an efficient data structure for discovering network motifs (PMPR, FMAS), pp. 1559–1566.
SAC-2010-MenorBBGP #classification #markov #taxonomy #using
Virus DNA-fragment classification using taxonomic hidden Markov model profiles (MM, KB, MB, YG, GP), pp. 1567–1571.
SAC-2010-AminBJ #framework #interactive #performance
A cytoscape based framework for efficient sub-graph isomorphic protein-protein interaction motif lookup (MSA, AB, HMJ), pp. 1572–1576.
SAC-2010-BillardH #memory dump
Making sense of unstructured flash-memory dumps (DB, RH), pp. 1579–1583.
SAC-2010-GloeB #benchmark #database #forensics #image #metric
The “Dresden Image Database” for benchmarking digital image forensics (TG, RB), pp. 1584–1590.
SAC-2010-IqbalKFD #email #forensics #verification
e-mail authorship verification for forensic investigation (FI, LAK, BCMF, MD), pp. 1591–1598.
SAC-2010-Mello
Filtering the shadows from poorly illuminated photos (CABM), pp. 1599–1600.
SAC-2010-AhmedLSH #identification #performance
Fast file-type identification (IA, KsL, HS, MH), pp. 1601–1602.
SAC-2010-AquinoOW #algorithm #network
A wavelet-based sampling algorithm for wireless sensor networks applications (ALLdA, RARO, EFW), pp. 1604–1608.
SAC-2010-TeixeiraM #data type #detection
Data stream anomaly detection through principal subspace tracking (PHdST, RLM), pp. 1609–1616.
SAC-2010-MarascuML #approximate #performance #set #streaming
A fast approximation strategy for summarizing a set of streaming time series (AM, FM, YL), pp. 1617–1621.
SAC-2010-ShieTY #data type #mining #online
Online mining of temporal maximal utility itemsets from data streams (BES, VST, PSY), pp. 1622–1626.
SAC-2010-MahrsiPHR
Spatiotemporal sampling for trajectory streams (MKEM, CP, GH, FR), pp. 1627–1628.
SAC-2010-GaberS #classification #data type #distributed #network
Distributed data stream classification for wireless sensor networks (MMG, AMS), pp. 1629–1630.
SAC-2010-TangL #database #framework #lightweight #testing
A lightweight framework for testing database applications (JT, EL), pp. 1632–1637.
SAC-2010-Chen #algorithm #query
A time optimal algorithm for evaluating tree pattern queries (YC), pp. 1638–1642.
SAC-2010-AhluwaliaGGYM #database
Target-based database synchronization (MA, RG, AG, YY, MM), pp. 1643–1647.
SAC-2010-BelohlavekV10a #database #logic #query #similarity
Query systems in similarity-based databases: logical foundations, expressive power, and completeness (RB, VV), pp. 1648–1655.
SAC-2010-AminBJ10a #wiki
Wikipedia driven autonomous label assignment in wrapper induced tables with missing column names (MSA, AB, HMJ), pp. 1656–1660.
SAC-2010-ShinLKLI #database #nearest neighbour #network #performance
Efficient shortest path finding of k-nearest neighbor objects in road network databases (SHS, SCL, SWK, JL, EGI), pp. 1661–1665.
SAC-2010-CuzzocreaB #distributed #framework #multi #privacy #xml
A secure multiparty computation privacy preserving OLAP framework over distributed XML data (AC, EB), pp. 1666–1673.
SAC-2010-Kulic #adaptation #relational #xml
Adaptability in XML-to-relational mapping strategies (LK), pp. 1674–1679.
SAC-2010-MalkowskiJHPKP #analysis #benchmark #database #empirical #metric #scalability #using
Empirical analysis of database server scalability using an N-tier benchmark with read-intensive workload (SM, DJ, MH, JP, YK, CP), pp. 1680–1687.
SAC-2010-CostaMB #consistency #database #distributed #mobile #protocol
A distributed protocol for ensuring replicated database consistency in mobile computing environments (AC, JMM, AB), pp. 1688–1693.
SAC-2010-HongSE #multi
WMS-extracting multiple sections data records from search engine results pages (JLH, EGS, SE), pp. 1696–1701.
SAC-2010-SillaKK #automation #classification #hybrid #music
Improving automatic music genre classification with hybrid content-based feature vectors (CNSJ, ALK, CAAK), pp. 1702–1707.
SAC-2010-FautschS #adaptation #information retrieval
Adapting the tf idf vector-space model to domain specific information retrieval (CF, JS), pp. 1708–1712.
SAC-2010-EcksteinHW #approach #multi #named #visual notation
LFRP-search: multi-layer ranked visual faceted search: an approach to cope with complex search situations (RE, AH, NW), pp. 1713–1717.
SAC-2010-BoscPML #algebra #relational
Extending relational algebra to handle bipolarity (PB, OP, AM, LL), pp. 1718–1722.
SAC-2010-DuraoD #hybrid #personalisation #recommendation
Extending a hybrid tag-based recommender system with personalization (FAD, PD), pp. 1723–1727.
SAC-2010-BenaouichaTB #flexibility #probability #query
Flexible document-query matching based on a probabilistic content and structure score combination (MB, MT, MB), pp. 1728–1734.
SAC-2010-PirkolaT #approach #crawling #problem #using
Addressing the limited scope problem of focused crawling using a result merging approach (AP, TT), pp. 1735–1740.
SAC-2010-FurukawaOMI #behaviour #predict #social
Prediction of social bookmarking based on a behavior transition model (TF, SO, YM, MI), pp. 1741–1747.
SAC-2010-BaccianellaES #feature model
Feature selection for ordinal regression (SB, AE, FS), pp. 1748–1754.
SAC-2010-Beigbeder #proximity #retrieval
Focused retrieval with proximity scoring (MB), pp. 1755–1759.
SAC-2010-OhCM #classification #information management
Combining global and local information for enhanced deep classification (HSO, YC, SHM), pp. 1760–1767.
SAC-2010-GuermaziHH #analysis #classification #image #using #web
Classification of violent web images using context based analysis (RG, MH, ABH), pp. 1768–1773.
SAC-2010-LamprierASL #clustering
Traveling among clusters: a way to reconsider the benefits of the cluster hypothesis (SL, TA, FS, BL), pp. 1774–1780.
SAC-2010-KangZKB #process #similarity
A knowledge-rich similarity measure for improving IT incident resolution process (YBK, ABZ, SK, CB), pp. 1781–1788.
SAC-2010-LamprierASL10a #approach #clustering #multi #query
Query-oriented clustering: a multi-objective approach (SL, TA, FS, BL), pp. 1789–1795.
SAC-2010-LeeKL #network #personalisation #taxonomy
Applying taxonomic knowledge to Bayesian belief network for personalized search (JwL, HjK, SgL), pp. 1796–1801.
SAC-2010-AlmeidaYA #anti #probability #reduction
Probabilistic anti-spam filtering with dimensionality reduction (TAA, AY, JA), pp. 1802–1806.
SAC-2010-ShinLH #community #online
Separating the reputation and the sociability of online community users (HS, JL, KH), pp. 1807–1814.
SAC-2010-LimaEF #adaptation #induction #information management
An adaptive information extraction system based on wrapper induction with POS tagging (RL, BE, FLGdF), pp. 1815–1820.
SAC-2010-MissenBC #detection #using
Using passage-based language model for opinion detection in blogs (MMSM, MB, GC), pp. 1821–1822.
SAC-2010-MontagnuoloMF #framework #multimodal #named
HMNews: a multimodal news data association framework (MM, AM, MF), pp. 1823–1824.
SAC-2010-NingYPM #mining #named #visualisation
OncoViz: a user-centric mining and visualization tool for cancer-related literature (ZN, JSY, MJP, AMM), pp. 1827–1828.
SAC-2010-PelosiP #mobile #named
SMaC: spatial map caching technique for mobile devices (GP, GP), pp. 1829–1830.
SAC-2010-Fenz #generative #metric #ontology
Ontology-based generation of IT-security metrics (SF), pp. 1833–1839.
SAC-2010-ZeffererK #database
An electronic-signature based circular resolution database system (TZ, TK), pp. 1840–1845.
SAC-2010-KruegerGRL #named #self #web
TokDoc: a self-healing web application firewall (TK, CG, KR, PL), pp. 1846–1853.
SAC-2010-AlmeidaYA10a #principle #using
Filtering spams using the minimum description length principle (TAA, AY, JA), pp. 1854–1858.
SAC-2010-DewaldHF #javascript #named
ADSandbox: sandboxing JavaScript to fight malicious websites (AD, TH, FCF), pp. 1859–1864.
SAC-2010-EgeleBKK #web
CAPTCHA smuggling: hijacking web browsing sessions to create CAPTCHA farms (ME, LB, EK, CK), pp. 1865–1870.
SAC-2010-BayerKK #analysis #performance
Improving the efficiency of dynamic malware analysis (UB, EK, CK), pp. 1871–1878.
SAC-2010-GrossklagsRCC #named #network #security
Nudge: intermediaries’ role in interdependent network security (JG, SR, AAC, JC), pp. 1879–1880.
SAC-2010-ClaycombS #analysis #framework #security
A framework for risk analysis in virtual directory security (WC, DS), pp. 1881–1882.
SAC-2010-RyuCC #image #layout #named #using
PHOTOLAND: a new image layout system using spatio-temporal information in digital photos (DSR, WKC, HGC), pp. 1884–1891.
SAC-2010-SantosM #composition #documentation #hypermedia #reuse #semantics
XTemplate 3.0: adding semantics to hypermedia compositions and providing document structure reuse (JAFdS, DCMS), pp. 1892–1897.
SAC-2010-DaroncoRL #assessment #quality #scalability #video
Subjective video quality assessment applied to scalable video coding and transmission instability (LCD, VR, JVdL), pp. 1898–1904.
SAC-2010-LinHW #image
Web-based image matting (YCL, YFH, HAW), pp. 1905–1910.
SAC-2010-DeigmoellerISJ #approach #video
An approach to intelligently crop and scale video for broadcast applications (JD, TI, GS, NJ), pp. 1911–1918.
SAC-2010-PaolinoSVT #empirical #evaluation #visualisation
An evaluation of the sinuosity effect on visualization of RDP simplified maps: an empirical study (LP, MS, GV, GT), pp. 1919–1923.
SAC-2010-SuYT #music #novel #recommendation
A novel music recommender by discovering preferable perceptual-patterns from music pieces (JHS, HHY, VST), pp. 1924–1928.
SAC-2010-TeixeiraFP #approach #distributed
Distributed discrimination of media moments and media intervals: a Watch-and-Comment approach (CACT, GBF, MdGCP), pp. 1929–1935.
SAC-2010-HusemannKRLS #estimation
Proposal of an improved motion estimation module for SVC (RH, RK, VR, JVdL, AAS), pp. 1936–1940.
SAC-2010-CanazzaD
Listening the photos (SC, AD), pp. 1941–1945.
SAC-2010-HonoratoB #named #towards
NCL-inspector: towards improving NCL code (GdSCH, SDJB), pp. 1946–1947.
SAC-2010-MohamedA #ad hoc #framework #network #novel
Novel immune-based framework for securing ad hoc networks (YAM, ABA), pp. 1950–1957.
SAC-2010-BlundoC #algorithm #mining
A simple role mining algorithm (CB, SC), pp. 1958–1962.
SAC-2010-ChowdhuryZ #complexity #metric #question
Can complexity, coupling, and cohesion metrics be used as early indicators of vulnerabilities? (IC, MZ), pp. 1963–1969.
SAC-2010-LeeJL #detection #graph #using
Detecting metamorphic malwares using code graphs (JL, KJ, HL), pp. 1970–1977.
SAC-2010-RieckSLHL #detection #named
Botzilla: detecting the “phoning home” of malicious software (KR, GS, TL, TH, PL), pp. 1978–1984.
SAC-2010-BlackshearV
R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks (SB, RMV), pp. 1985–1992.
SAC-2010-McDonaldTKG #component #reduction #using
Using logic-based reduction for adversarial component recovery (JTM, EDT, YCK, MRG), pp. 1993–2000.
SAC-2010-FlegelHM
Cooperation enablement for centralistic early warning systems (UF, JH, MM), pp. 2001–2008.
SAC-2010-JouaultVBDBB #coordination #megamodelling #weaving
Inter-DSL coordination support by combining megamodeling and model weaving (FJ, BV, HB, GD, YB, JB), pp. 2011–2018.
SAC-2010-MuldoonTOO #coordination #web
Agent-based coordination for the sensor web (CM, RT, GMPO, MJO), pp. 2019–2023.
SAC-2010-SiebertCC #coordination #distributed #modelling #multi
Agents & artefacts for multiple models coordination: objective and decentralized coordination of simulators (JS, LC, VC), pp. 2024–2028.
SAC-2010-ViroliC #composition #self
Chemical-inspired self-composition of competing services (MV, MC), pp. 2029–2036.
SAC-2010-NardiniVP #coordination #semantics #tuple
Coordination in open and dynamic environments with TuCSoN semantic tuple centres (EN, MV, EP), pp. 2037–2044.
SAC-2010-MengB #component #towards
Towards the introduction of QoS information in a component model (SM, LSB), pp. 2045–2046.
SAC-2010-GoldsztejnG #adaptation #consistency
Box consistency through adaptive shaving (AG, FG), pp. 2049–2054.
SAC-2010-CarvalhoCB #constraints #probability #problem #reliability
Probabilistic constraints for reliability problems (EC, JC, PB), pp. 2055–2060.
SAC-2010-RuggieriM #constraints #linear
Variable ranges in linear constraints (SR, FM), pp. 2061–2065.
SAC-2010-LuSPFZ #constraints #database #implementation #relational
Constraint processing in relational database systems: from theory to implementation (JJL, SS, OP, GHLF, HZ), pp. 2066–2070.
SAC-2010-JiaLLZ #satisfiability
Local lemma: a new strategy of pruning in SAT solvers (XJ, RL, SL, JZ), pp. 2071–2072.
SAC-2010-KarakashianWCB #consistency #constraints #relational
Relational consistency by constraint filtering (SK, RJW, BYC, CB), pp. 2073–2074.
SAC-2010-Rooney #scheduling
Scheduling intense applications most “surprising” first (SR), pp. 2077–2084.
SAC-2010-PawlitzkiS
Implicit invocation of traits (TP, FS), pp. 2085–2089.
SAC-2010-RytzO #design #object-oriented #polymorphism #scala
Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language (LR, MO), pp. 2090–2095.
SAC-2010-BettiniDS #implementation #product line #using
Implementing software product lines using traits (LB, FD, IS), pp. 2096–2102.
SAC-2010-FahndrichBL #contract #embedded
Embedded contract languages (MF, MB, FL), pp. 2103–2110.
SAC-2010-TangJ #c++ #concept #optimisation
Generic flow-sensitive optimizing transformations in C++ with concepts (XT, JJ), pp. 2111–2118.
SAC-2010-GomesM #design pattern #implementation
Design pattern implementation in object teams (JLG, MPM), pp. 2119–2120.
SAC-2010-KrajcaV #functional #memory management #parallel #transaction
Software transactional memory for implicitly parallel functional language (PK, VV), pp. 2123–2130.
SAC-2010-ReisS #constant #programming language
General constant expressions for system programming languages (GDR, BS), pp. 2131–2136.
SAC-2010-PopeeaC #analysis #debugging #proving #safety
Dual analysis for proving safety and finding bugs (CP, WNC), pp. 2137–2143.
SAC-2010-LlorensOST #algorithm #control flow #graph
An algorithm to generate the context-sensitive synchronized control flow graph (ML, JO, JS, ST), pp. 2144–2148.
SAC-2010-RodriguesNPM #parallel #thread
A new technique for data privatization in user-level threads and its use in parallel applications (ERR, POAN, JP, CLM), pp. 2149–2154.
SAC-2010-Brunthaler #performance
Efficient inline caching without dynamic translation (SB), pp. 2155–2156.
SAC-2010-FlouriMJ #automaton #multi
Aho-Corasick like multiple subtree matching by pushdown automata (TF, BM, JJ), pp. 2157–2158.
SAC-2010-ZambranoFJS #case study #experience #interactive #requirements
Expressing aspectual interactions in requirements engineering: experiences in the slot machine domain (AZ, JF, GJ, SEG), pp. 2161–2168.
SAC-2010-HirschfeldPSA #contract
Dynamic contract layers (RH, MP, CS, MA), pp. 2169–2175.
SAC-2010-EbraertDMJ #feature model
Intensional changes: modularizing crosscutting features (PE, TD, TM, DJ), pp. 2176–2182.
SAC-2010-GiuntaPT #aspect-oriented #design pattern #using
Using aspects and annotations to separate application code from design patterns (RG, GP, ET), pp. 2183–2189.
SAC-2010-Nakajima #automation #diagrams #feature model
Semi-automated diagnosis of FODA feature diagram (SN), pp. 2191–2197.
SAC-2010-ScannielloDDD #approach #architecture
An approach for architectural layer recovery (GS, AD, CD, TD), pp. 2198–2202.
SAC-2010-ParizekY #component #interactive #traversal #using
Extraction of component-environment interaction model using state space traversal (PP, NY), pp. 2203–2210.
SAC-2010-KrishnanS #generative #modelling #testing
Data generation in model-based testing (PK, PAPS), pp. 2211–2215.
SAC-2010-Coen-PorisiniCS #network
Dealing with anonymity in wireless sensor networks (ACP, PC, SS), pp. 2216–2223.
SAC-2010-ChangLHCSYHK #embedded #manycore #modelling
SysML-based requirement modeling environment for multicore embedded system (CHC, CWL, NLH, WCC, CS, CTY, PAH, CSK), pp. 2224–2228.
SAC-2010-ZhangGCQC #case study #effectiveness #reduction #testing
A study of relative redundancy in test-suite reduction while retaining or improving fault-localization effectiveness (XZ, QG, XC, JQ, DC), pp. 2229–2236.
SAC-2010-EtienMLB #independence #model transformation
Combining independent model transformations (AE, AM, TL, XB), pp. 2237–2243.
SAC-2010-Herold #architecture #component
Checking architectural compliance in component-based systems (SH), pp. 2244–2251.
SAC-2010-ParkKYMY #approach #reuse
An approach to developing reusable domain services for service oriented applications (JP, JK, SY, MM, KY), pp. 2252–2256.
SAC-2010-HansenI #alloy #architecture #modelling
Modeling and analyzing architectural change with alloy (KMH, MI), pp. 2257–2264.
SAC-2010-CiraciBA #constraints #graph #verification
Graph-based verification of static program constraints (SC, PvdB, MA), pp. 2265–2272.
SAC-2010-KatevaLRSTR #architecture #data mining #mining
SE-155 DBSA: a device-based software architecture for data mining (JK, PL, TR, JS, LT, JR), pp. 2273–2280.
SAC-2010-VoigtIR #automation #generative #metamodelling #named
MatchBox: combined meta-model matching for semi-automatic mapping generation (KV, PI, AR), pp. 2281–2288.
SAC-2010-JuniorPC #aspect-oriented #empirical #evaluation #framework #overview #uml
An overview and an empirical evaluation of UML-AOF: an UML profile for aspect-oriented frameworks (JUJ, RDP, VVdC), pp. 2289–2296.
SAC-2010-LajmiZZC #approach #component #delivery #modelling #multi
A multi-view model-driven approach for packaging software components (AL, MZ, TZ, SC), pp. 2297–2304.
SAC-2010-BallanceC #monitoring #performance #source code
Monitoring MPI programs for performance characterization and management control (RAB, JC), pp. 2305–2310.
SAC-2010-WangWZ #component #modelling #refinement
Refinement of models of software components (ZW, HW, NZ), pp. 2311–2318.
SAC-2010-SulaymanM #process #web
Quantitative assessments of key success factors in software process improvement for small and medium web companies (MS, EM), pp. 2319–2323.
SAC-2010-HadarKPRRS #case study #comprehension #empirical #modelling #requirements
An empirical study of requirements model understanding: Use Case vs. Tropos models (IH, TK, AP, IRB, FR, AS), pp. 2324–2329.
SAC-2010-AversanoGT #case study #process
Measuring the alignment between business processes and software systems: a case study (LA, CG, MT), pp. 2330–2336.
SAC-2010-WeinreichB #architecture #development
Paving the road for formally defined architecture description in software development (RW, GB), pp. 2337–2343.
SAC-2010-KamalA #design pattern #modelling #variability
Modeling the variability of architectural patterns (AWK, PA), pp. 2344–2351.
SAC-2010-EspinozaBG #approach #formal method #reuse #traceability
A formal approach to reuse successful traceability practices in SPL projects (AE, GB, JG), pp. 2352–2359.
SAC-2010-Sobernig #feature model #interactive #network
Feature interaction networks (SS), pp. 2360–2364.
SAC-2010-GravinoTS #analysis #comprehension #empirical #modelling #source code
An empirical investigation on the relation between analysis models and source code comprehension (CG, GT, GS), pp. 2365–2366.
SAC-2010-ShahinLK #architecture #design #using #visualisation
Rationale visualization of software architectural design decision using compendium (MS, PL, MRK), pp. 2367–2368.
SAC-2010-ThapaS #impact analysis #process #refactoring
Assessing the impact of refactoring activities on the JHotDraw project (IT, HPS), pp. 2369–2370.
SAC-2010-Volz #metamodelling #representation
A meta model for representing arbitrary meta model hierarchies (BV), pp. 2371–2372.
SAC-2010-TairasG #open source #refactoring
Sub-clone refactoring in open source software artifacts (RT, JGG), pp. 2373–2374.
SAC-2010-DaniVAS #manycore
Accelerating multi-core simulators (AMD, KV, BA, YNS), pp. 2377–2382.
SAC-2010-GuoH #algorithm #clustering
A two stage yard crane workload partitioning and job sequencing algorithm for container terminals (XG, SYH), pp. 2383–2388.
SAC-2010-LevyLMS #bias #identification #multi
Identification and control of intrinsic bias in a multiscale computational model of drug addiction (YZL, DL, JSM, HTS), pp. 2389–2393.
SAC-2010-BaffaC #generative #modelling #policy #simulation
Modeling POMDPs for generating and simulating stock investment policies (ACEB, AEMC), pp. 2394–2399.
SAC-2010-Youssef #metric #parallel #performance #using
Using surface effect measures to model parallel performance (BBY), pp. 2400–2401.
SAC-2010-JiCW #scalability #simulation
A simulation of large-scale groundwater flow on CUDA-enabled GPUs (XJ, TC, QW), pp. 2402–2403.
SAC-2010-KokashKV #composition #design #verification
Data-aware design and verification of service compositions with Reo and mCRL2 (NK, CK, EPdV), pp. 2406–2413.
SAC-2010-ComuzziS #monitoring
Dynamic set-up of monitoring infrastructures for service based systems (MC, GS), pp. 2414–2421.
SAC-2010-HeinzlS #using #validation #xml
Using XML schema to improve writing, validation, and structure of WS-policies (SH, BS), pp. 2422–2429.
SAC-2010-GehlertBKMPP #adaptation #verification
Exploiting assumption-based verification for the adaptation of service-based applications (AG, AB, RK, AM, MP, KP), pp. 2430–2437.
SAC-2010-CesariLPT #agile #development
A tool for rapid development of WS-BPEL applications (LC, AL, RP, FT), pp. 2438–2442.
SAC-2010-TurkmenCM #collaboration #framework
A service-based context management framework for cross-enterprise collaboration (FT, BC, PM), pp. 2443–2450.
SAC-2010-ChoppyR #approach #modelling
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation) (CC, GR), pp. 2451–2458.
SAC-2010-BaudeFHCMMRKSHL #scalability
ESB federation for large-scale SOA (FB, IF, FH, VLC, ENM, PM, CR, RK, EPBS, CH, JPL), pp. 2459–2466.
SAC-2010-BacciuBM #adaptation
Adaptive fuzzy-valued service selection (DB, MGB, LM), pp. 2467–2471.
SAC-2010-HallwylHH #standard
A standard-driven implementaion of WS-BPEL 2.0 (TH, FH, TTH), pp. 2472–2476.
SAC-2010-KnappMWZ #approach #specification
A heterogeneous approach to service-oriented systems specification (AK, GM, MW, AZ), pp. 2477–2484.
SAC-2010-WetzsteinKKLZ #monitoring #process
Cross-organizational process monitoring based on service choreographies (BW, DK, OK, FL, DZ), pp. 2485–2490.
SAC-2010-LiuCXMBG #architecture #domain-specific language #question
Can domain-specific languages be implemented by service-oriented architecture? (SHL, AC, XX, MM, BRB, JG), pp. 2491–2492.
SAC-2010-ChabebT #web #web service
Publication and discovery of YASA web services (YC, ST), pp. 2493–2494.
SAC-2010-AstrovaKK #comparison #enterprise
Comparison of enterprise service buses based on their support of high availability (IA, AK, TK), pp. 2495–2496.
SAC-2010-Fellah #automaton #framework #model checking
Time and alternation: an automata based framework to software model checking (AF), pp. 2498–2502.
SAC-2010-VermolenHL #consistency #modelling #proving #using
Proving consistency of VDM models using HOL (SV, JH, PGL), pp. 2503–2510.
SAC-2010-HansenS #analysis #implementation #optimisation #reachability
Reachability analysis of GSPDIs: theory, optimization, and implementation (HAH, GS), pp. 2511–2516.
SAC-2010-VogelsJP #generative #performance #proving #verification
A machine-checked soundness proof for an efficient verification condition generator (FV, BJ, FP), pp. 2517–2522.
SAC-2010-KerfootM #aspect-oriented #concurrent #contract
Checking concurrent contracts with aspects (EK, SM), pp. 2523–2530.
SAC-2010-SamiF #estimation #metric
Design-level metrics estimation based on code metrics (AS, SMF), pp. 2531–2535.
SAC-2010-KhakpourKSJ #adaptation #analysis #formal method #self
Formal analysis of policy-based self-adaptive systems (NK, RK, MS, SJ), pp. 2536–2543.
SAC-2010-HurnausP #automation #composition #contract #programming #verification
Programming assistance based on contracts and modular verification in the automation domain (DH, HP), pp. 2544–2551.

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.