BibSLEIGH — Proceedings of the 25th Symposium on Applied Computing

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

@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, GÖ, 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.

Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, Chih-Cheng HungProceedings of the 25th Symposium on Applied ComputingSAC, 2010.

Contents (449 items)

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