Proceedings of the 23rd 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

Roger L. Wainwright, Hisham Haddad
Proceedings of the 23rd Symposium on Applied Computing
SAC, 2008.

SE
DBLP
Scholar
Full names Links ISxN
@proceedings{SAC-2008,
	address       = "Ceara, Brazil",
	editor        = "Roger L. Wainwright and Hisham Haddad",
	isbn          = "978-1-59593-753-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 23rd Symposium on Applied Computing}",
	year          = 2008,
}

Contents (462 items)

SAC-2008-PracaVVR #simulation
Agent-based simulation of electronic marketplaces with decision support (IP, MJV, ZAV, CR), pp. 3–7.
SAC-2008-BazzanSDB #contest #game studies
Emerging cooperation in a public goods game with competition (ALCB, RdS, SRD, ATB), pp. 8–12.
SAC-2008-OliveiraRSCBM #heuristic #problem
A vehicular waiting time heuristic for dynamic vehicle routing problem (HCBdO, GMR, MMdS, LAC, VRB, GRM), pp. 13–17.
SAC-2008-VizzariPS #3d #execution #framework #simulation #visualisation
A framework for execution and 3D visualization of situated cellular agent based crowd simulations (GV, GP, FSCdS), pp. 18–22.
SAC-2008-SouzaOVO #approach #predict #simulation #statistics
A statistical approach for prediction of projects based on simulation (MMdS, HCBdO, AMLdV, SRBO), pp. 23–27.
SAC-2008-ConceicaoDFB #scalability #simulation
Large-scale simulation of V2V environments (HC, LD, MF, JB), pp. 28–33.
SAC-2008-WalterG #approach #multi #simulation
Electricity market simulation: multiagent system approach (IW, FACG), pp. 34–38.
SAC-2008-Klugl #simulation #validation
A validation methodology for agent-based simulations (FK), pp. 39–43.
SAC-2008-LiJS #coordination #distributed #simulation
Coordination schemes in distributed simulation of relativistic particle transport (RL, HJ, HCS), pp. 44–45.
SAC-2008-AveglianoS #named #simulation
RePart: a reputation-based simulation tool for partnership formation (PA, JSS), pp. 46–47.
SAC-2008-MartinottoJCGDP #generative #network #random
Generation of continuous random networks by simulated annealing (ALM, FJ, LAC, VG, RVD, CAP), pp. 48–49.
SAC-2008-FelicissimoCBFL #multi
Contextualizing normative open multi-agent systems (CHF, CC, JPB, AEFS, CJPdL), pp. 52–59.
SAC-2008-CernuzziZ #analysis #comparative #evaluation
Profile based comparative analysis for AOSE methodologies evaluation (LC, FZ), pp. 60–65.
SAC-2008-LunaAAB #fault tolerance #heuristic #multi #resource management
Dynamic resource allocation heuristics for providing fault tolerance in multi-agent systems (AdLA, SA, JPB), pp. 66–70.
SAC-2008-FilhoZ #traceability
Traceability and completeness checking for agent-oriented systems (GACF, AZ), pp. 71–77.
SAC-2008-PracaAMCRV #multi
A multi-agent system for the support of producer coalition formation in electricity markets (IP, AA, HM, MC, CR, ZAV), pp. 78–79.
SAC-2008-MutschlerWR #empirical #workflow
Workflow management versus case handling: results from a controlled software experiment (BM, BW, MR), pp. 82–89.
SAC-2008-WutkeML #distributed #framework #workflow
Model and infrastructure for decentralized workflow enactment (DW, DM, FL), pp. 90–94.
SAC-2008-LuZS #semantics #towards
Towards trace semantics for WS-CDL with alignments (YL, LZ, JS), pp. 95–99.
SAC-2008-CeriottiMP #case study #message passing
Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study (MC, ALM, GPP), pp. 100–107.
SAC-2008-MendoncaBC #collaboration #coordination
Decision-making coordination in collaborative product configuration (MM, TTB, DDC), pp. 108–113.
SAC-2008-PereiraM #architecture #coordination #exception
A formal architectural model for exception handling coordination (DPP, ACVdM), pp. 114–118.
SAC-2008-RamosSM #composition #consistency #framework #refinement
Framework composition conformance via refinement checking (RR, AS, AM), pp. 119–125.
SAC-2008-GrovPMI #component #concurrent #coordination
Preserving coordination properties when transforming concurrent system components (GG, RFP, GM, AI), pp. 126–127.
SAC-2008-BraghettoFP #algebra #execution #process #using
Using process algebra to control the execution of business processes (KRB, JEF, CP), pp. 128–129.
SAC-2008-VasiraniO #coordination #distributed #problem
Decentralized coordination strategies for the vehicle routing problem (MV, SO), pp. 130–131.
SAC-2008-RossiT #execution #modelling #named #process
EPML: an executable process modeling language for process-aware applications (DR, ET), pp. 132–133.
SAC-2008-GoldsztejnMR #algorithm #approximate #performance #quantifier
An efficient algorithm for a sharp approximation of universally quantified inequalities (AG, CM, MR), pp. 134–139.
SAC-2008-DouillardJ #constraints #heuristic
Splitting heuristics for disjunctive numerical constraints (TD, CJ), pp. 140–144.
SAC-2008-OlarteV #concurrent #constraints #security #semantics
Universal concurrent constraint programing: symbolic semantics and applications to security (CO, FDV), pp. 145–150.
SAC-2008-BenedettiLV #modelling #scheduling
Modeling adversary scheduling with QCSP+ (MB, AL, JV), pp. 151–155.
SAC-2008-BartakC #network #recognition
Nested temporal networks with alternatives: recognition and tractability (RB, OC), pp. 156–157.
SAC-2008-NishizawaC #java #refinement
A small extension to Java for class refinement (MN, SC), pp. 160–165.
SAC-2008-HallettLRS #multi #type system
Integrating coercion with subtyping and multiple dispatch (JJH, VL, SR, GLSJ), pp. 166–170.
SAC-2008-PirkelbauerPMS #c++ #concept #library #runtime #standard
Runtime concepts for the C++ standard template library (PP, SP, MM, BS), pp. 171–177.
SAC-2008-JarviF #c++
λ functions for C++0x (JJ, JF), pp. 178–183.
SAC-2008-LogozzoF #abstract domain #array #named #performance #relational #validation
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 184–188.
SAC-2008-PiancastelliBOR #architecture #design #object-oriented #prolog
The architecture and design of a malleable object-oriented prolog engine (GP, AB, AO, AR), pp. 191–197.
SAC-2008-CimadamoreV #java #prolog #type inference
Integrating Java and Prolog through generic methods and type inference (MC, MV), pp. 198–205.
SAC-2008-KhanCB #optimisation
Optimizing code through iterative specialization (MAK, HPC, DB), pp. 206–210.
SAC-2008-RoyS #data flow #problem
Improving flow-insensitive solutions for non-separable dataflow problems (SR, YNS), pp. 211–216.
SAC-2008-MascarenhasI #compilation #lua #performance
Efficient compilation of Lua for the CLR (FM, RI), pp. 217–221.
SAC-2008-TeleckenML #specification #visual notation
Applying markup language resources in the specification of visual alphabets and visual sentences (TLT, EVM, JVdL), pp. 222–227.
SAC-2008-RebeloSLFC #aspectj #contract #implementation #java #modelling
Implementing Java modeling language contracts with AspectJ (HR, SS, RMFL, LF, MC), pp. 228–233.
SAC-2008-BussBSE #analysis #flexibility #graph #pointer #using
Flexible pointer analysis using assign-fetch graphs (MB, DB, VCS, SAE), pp. 234–239.
SAC-2008-DennyM #lr #parsing
IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 240–245.
SAC-2008-NogueiraNRA #adaptation #framework
An adaptation of the collections framework, reflection and object cloning from J2SE to J2ME (TPN, LCLN, LSR, RMCA), pp. 246–250.
SAC-2008-GybelsHD
Symbiosis in logic-based pointcuts over a history of join points (KG, CH, TD), pp. 253–260.
SAC-2008-Juarez-MartinezO #named
Énfasis: a model for local variable crosscutting (UJM, JOOA), pp. 261–265.
SAC-2008-PothierT #aspect-oriented #debugging #programming
Extending omniscient debugging to support aspect-oriented programming (GP, ÉT), pp. 266–270.
SAC-2008-Al-MansariHU #on the #semantics
On to formal semantics for path expression pointcuts (MAM, SH, RU), pp. 271–275.
SAC-2008-RibeiroMB #implementation #product line
A decision model for implementing product lines variabilities (MdMR, PMJ, PB), pp. 276–277.
SAC-2008-CamilleriBC #composition
Securing aspect composition (AC, LB, GC), pp. 278–279.
SAC-2008-Andersson #bound #scheduling
The utilization bound of uniprocessor preemptive slack-monotonic scheduling is 50% (BA), pp. 281–283.
SAC-2008-SobralB #hybrid #mobile #realtime
A wireless hybrid contention/TDMA-based MAC for real-time mobile application (MMS, LBB), pp. 284–288.
SAC-2008-ChenCK #multi #realtime
Multiprocessor frequency locking for real-time task synchronization (YSC, LPC, TWK), pp. 289–293.
SAC-2008-FahmyRJ #realtime #scheduling #thread
Scheduling distributable real-time threads in the presence of crash failures and message losses (SFF, BR, EDJ), pp. 294–301.
SAC-2008-RaveendranBG #algorithm #evaluation #realtime #scheduling #trade-off
Evaluation of priority based real time scheduling algorithms: choices and tradeoffs (BKR, SB, SG), pp. 302–307.
SAC-2008-CruzBC #approach #embedded #modelling #realtime #towards
Towards a model-driven engineering approach for developing embedded hard real-time software (FC, RSB, LC), pp. 308–314.
SAC-2008-OrdinezDS #approach #behaviour #scheduling
A behavior priority driven approach for resource reservation scheduling (LO, DD, RMS), pp. 315–319.
SAC-2008-RochaO #scheduling
Strategies for QoS improvement on the time-interval scheduling (FRdlR, RSdO), pp. 320–321.
SAC-2008-MassonM #evaluation
Slack time evaluation with RTSJ (DM, SM), pp. 322–323.
SAC-2008-MartinsB #on the #realtime
On the meaning of modes in uniprocessor real-time systems (PM, AB), pp. 324–325.
SAC-2008-Schneider #analysis #hybrid #reachability
Reachability analysis of generalized polygonal hybrid systems (GS), pp. 327–332.
SAC-2008-AbedMS #analysis #graph #multi #proving #reachability #theorem proving #using
Reachability analysis using multiway decision graphs in the HOL theorem prover (SA, OAM, GAS), pp. 333–338.
SAC-2008-HojjatMS #algebra #evaluation #framework #functional #performance #probability #process #verification
A framework for performance evaluation and functional verification in stochastic process algebras (HH, MRM, MS), pp. 339–346.
SAC-2008-BaveraB #analysis #bytecode #data flow #policy #type system
Type-based information flow analysis for bytecode languages with variable object field policies (FB, EB), pp. 347–351.
SAC-2008-AndronickN #embedded #protocol
Certifying an embedded remote method invocation protocol (JA, QHN), pp. 352–359.
SAC-2008-BallabrigaCS #analysis #approach
An improved approach for set-associative instruction cache partial analysis (CB, HC, PS), pp. 360–367.
SAC-2008-AlbertAGPZ #bytecode #cost analysis #java
Removing useless variables in cost analysis of Java bytecode (EA, PA, SG, GP, DZ), pp. 368–375.
SAC-2008-VargunM
Code-carrying theory (AV, DRM), pp. 376–383.
SAC-2008-LiQWLW #consistency #diagrams #interactive #java #runtime #source code #state machine #uml #verification
UML state machine diagram driven runtime verification of Java programs for message interaction consistency (XL, XQ, LW, BL, WEW), pp. 384–389.
SAC-2008-ChenXZN #approach #novel #reduction #testing
A novel approach for test suite reduction based on requirement relation contraction (ZC, BX, XZ, CN), pp. 390–394.
SAC-2008-Kavallieratou #algorithm
An objective way to evaluate and compare binarization algorithms (EK), pp. 397–401.
SAC-2008-BeckerRHST #xml
A generic XML language for characterising objects to support digital preservation (CB, AR, VH, JS, MT), pp. 402–406.
SAC-2008-TanWC #categorisation #performance #ranking
An efficient feature ranking measure for text categorization (ST, YW, XC), pp. 407–413.
SAC-2008-PavelecJBO #identification #independence #using
Author identification using writer-dependent and writer-independent strategies (DP, EJRJ, LVB, LSO), pp. 414–418.
SAC-2008-HanaFOB #classification
Crime scene classification (ROAH, COdAF, LSO, FB), pp. 419–423.
SAC-2008-ChidlovskiiL #dependence #documentation #layout #network
Stacked dependency networks for layout document structuring (BC, LL), pp. 424–428.
SAC-2008-EinseleIH #independence #recognition #word
A language-independent, open-vocabulary system based on HMMs for recognition of ultra low resolution words (FE, RI, JH), pp. 429–433.
SAC-2008-MattosLFM #clustering #documentation #framework #named #platform
BigBatch: a document processing platform for clusters and grids (GdOM, RDL, AdAF, FMJM), pp. 434–441.
SAC-2008-FazzingaFTGM #documentation #generative
A wrapper generation system for PDF documents (BF, SF, AT, SG, EM), pp. 442–446.
SAC-2008-TakasuA #analysis #documentation #information management #layout #probability
Information extraction from scanned documents by stochastic page layout analysis (AT, KA), pp. 447–448.
SAC-2008-FilhoPRA #memory management #mobile #visualisation
A strategy for memory traffic management of bitmap fonts for text visualization in mobile devices (JBFF, HSP, RR, RMCA), pp. 449–450.
SAC-2008-ZhuDXW #documentation #image #linear #using
Perspective rectification of camera-based document images using local linear structure (YZ, RD, BX, CW), pp. 451–452.
SAC-2008-MowatSSC #approximate #network #peer-to-peer
Extending peer-to-peer networks for approximate search (AM, RS, MS, IC), pp. 455–459.
SAC-2008-KeeneyJRLO #clustering #knowledge-based #semantics
Knowledge-based semantic clustering (JK, DJ, DR, DL, DO), pp. 460–467.
SAC-2008-KageyamaMS #architecture #email
A pull-based e-mail architecture (EK, CM, AOS), pp. 468–472.
SAC-2008-GennaroMOR #network #peer-to-peer #query #similarity
Processing complex similarity queries in peer-to-peer networks (CG, MM, SO, FR), pp. 473–478.
SAC-2008-PawarWBMHH #architecture #middleware #mobile #multi
Context-aware middleware architecture for vertical handover support to multi-homed nomadic mobile services (PP, KW, BJvB, PM, AvH, HJH), pp. 481–488.
SAC-2008-ShihCCWCHHY #middleware
Middleware of Taiwan UniGrid (PCS, HMC, YCC, CMW, RSC, CHH, KCH, CTY), pp. 489–493.
SAC-2008-Jimenez-PerisPM #approach #distributed #web #web service
Decentralized web service orchestration: a reflective approach (RJP, MPM, EMJ), pp. 494–498.
SAC-2008-ReverbelN #multi #transaction
Dynamic support to transactional remote invocations over multiple transports (FR, ISN), pp. 499–506.
SAC-2008-Al-GahmiC #middleware #runtime #towards
Towards a service-based middleware layer for runtime environments (AAG, JEC), pp. 507–511.
SAC-2008-KimKL #framework #middleware #named #network #platform
COSMOS: a middleware platform for sensor networks and a u-healthcare service (YBK, MK, YJL), pp. 512–513.
SAC-2008-LobatoBNTP #middleware #semantics
Exploiting semantic information on a message exchanging middleware (DCL, MQB, RBN, CACT, MdGCP), pp. 514–515.
SAC-2008-RosenkranzHL #design
Designing IC structures by variety engineering (CR, RH, ML), pp. 518–523.
SAC-2008-LandD #enterprise #ontology
Enterprise ontology based splitting and contracting of organizations (MOL, JLGD), pp. 524–531.
SAC-2008-RamnathR #adaptation #enterprise #execution #modelling
Integrating goal modeling and execution in adaptive complex enterprises (RR, JR), pp. 532–539.
SAC-2008-ReitbauerKEMA #network #process
Redesigning business networks: reference process, network and service map (SR, FK, CE, KM, RA), pp. 540–547.
SAC-2008-WinterS #approach #architecture #enterprise
Enterprise architecture governance: the need for a business-to-IT approach (RW, JS), pp. 548–552.
SAC-2008-SousaFVRV #approach #modelling #process #user interface
User interface derivation from business processes: a model-driven approach for organizational engineering (KSS, HMF, JV, ER, JV), pp. 553–560.
SAC-2008-Rohloff #architecture
An integrated view on business- and IT-architecture (MR), pp. 561–565.
SAC-2008-GordijnWRW #self #towards
Towards self-configuration and management of e-service provisioning in dynamic value constellations (JG, HW, MR, RW), pp. 566–571.
SAC-2008-DietzH #enterprise #ontology
Enterprise ontology in enterprise engineering (JLGD, JAPH), pp. 572–579.
SAC-2008-PeristerasLT #domain model #modelling #state of the art
Organizational engineering in public administration: the state of the art on eGovernment domain modeling (VP, NL, KAT), pp. 580–587.
SAC-2008-TapiaZ
Partnering structure definition for networked businesses (RST, NZ), pp. 588–589.
SAC-2008-Mevius #modelling #novel #process
A novel modeling language for tool-based business process engineering (MvM), pp. 590–591.
SAC-2008-AveiroMT #modelling #semantics #wiki
Organizational modeling with a semantic wiki (DA, JM, JMT), pp. 592–593.
SAC-2008-KaiyaSOKK #analysis #quality #requirements #towards
Toward quality requirements analysis based on domain specific quality spectrum (HK, TS, AO, NK, KK), pp. 596–601.
SAC-2008-ChalinST #case study #modelling #requirements #transaction
Capturing business transaction requirements in use case models (PC, DS, KT), pp. 602–606.
SAC-2008-ZarvicWE #modelling
Checking the alignment of value-based business models and IT functionality (NZ, RW, PvE), pp. 607–613.
SAC-2008-DiasSCCA #approach #case study #specification
Elaboration of use case specifications: an approach based on use case fragments (FGD, EAS, MLMC, ALC, AJA), pp. 614–618.
SAC-2008-AlvesVSM #experience #information management #process #requirements
Requirements engineering process improvement: a knowledge transfer experience (CFA, GV, TS, JM), pp. 619–623.
SAC-2008-OsadaOKKK #diagrams #metric #using
Proposing metrics of difficulty of domain knowledge using usecase diagrams (AO, DO, NK, HK, KK), pp. 624–629.
SAC-2008-BroiniziFG #framework #requirements #using
Using annotations in the naked objects framework to explore data requirements (MEBB, JEF, AG), pp. 630–637.
SAC-2008-CarvalloFQ #requirements
Requirements engineering for COTS-based software systems (JPC, XF, CQ), pp. 638–644.
SAC-2008-YuLLM #configuration management
Configuring features with stakeholder goals (YY, JCSdPL, AL, JM), pp. 645–649.
SAC-2008-BabarZCT #integration #requirements
Three integration approaches for map and B-SCP requirements engineering techniques (AB, DZ, KC, VT), pp. 650–655.
SAC-2008-FerreiraS #case study #requirements #specification
A requirements specification case study with ProjectIT-studio/requirements (DdAF, ARdS), pp. 656–657.
SAC-2008-Liu #framework #refinement #requirements
A requirements refinement framework (WL), pp. 658–659.
SAC-2008-WongSS #re-engineering
Message from the software engineering track chairs: editorial (WEW, COS, SYS), p. 660.
SAC-2008-BayanC #automation #feedback #testing
Automatic feedback, control-based, stress and load testing (MSB, JWC), pp. 661–666.
SAC-2008-RamanathanKGJ #framework #graph #named #testing
PHALANX: a graph-theoretic framework for test case prioritization (MKR, MK, AG, SJ), pp. 667–673.
SAC-2008-SriplakichBG #collaboration #experience #modelling #re-engineering #requirements #scalability
Collaborative software engineering on large-scale models: requirements and experience in ModelBus (PS, XB, MPG), pp. 674–681.
SAC-2008-HieronsJUY #adaptation #sequence #using
Using adaptive distinguishing sequences in checking sequence constructions (RMH, GVJ, HU, HY), pp. 682–687.
SAC-2008-KaegiD #composition #java #web
Modular Java web applications (SRK, DD), pp. 688–693.
SAC-2008-RochaO08a #agile #development #embedded #file system
An environment for the rapid development of embedded file systems (FRdlR, RSdO), pp. 694–699.
SAC-2008-NardiniMOD #case study
SPEM on test: the SODA case study (EN, AM, AO, ED), pp. 700–706.
SAC-2008-PetrilloPTD #development #game studies #overview #problem
Houston, we have a problem...: a survey of actual problems in computer games development (FP, MSP, FMT, CD), pp. 707–711.
SAC-2008-AbreuGZG #automation #fault #invariant #locality #using
Automatic software fault localization using generic program invariants (RA, AG, PZ, AJCvG), pp. 712–717.
SAC-2008-BelliH #generative #testing
Test generation and minimization with “basic” statecharts (FB, AH), pp. 718–723.
SAC-2008-SomeC #approach #case study #generative
An approach for supporting system-level test scenarios generation from textual use cases (SSS, XC), pp. 724–729.
SAC-2008-MeloNX #java #source code #testing #towards #verification
Towards verification and testing of Java programs (ACVdM, PRFN, KSX), pp. 730–734.
SAC-2008-PiresBR #design #generative #testing #uml
UML-based design test generation (WP, JB, FR), pp. 735–740.
SAC-2008-ChengC #monitoring #named #programmable #thread
SoftMon: programmable software monitoring with minimum overhead by helper-threading (YPC, HSC), pp. 741–747.
SAC-2008-QianX #slicing
Scenario oriented program slicing (JQ, BX), pp. 748–752.
SAC-2008-ArimotoCC #development #version control
Version control in crosscutting framework-based development (MMA, MIC, VVdC), pp. 753–758.
SAC-2008-CamargoM #design #framework
A pattern to design crosscutting frameworks (VVdC, PCM), pp. 759–764.
SAC-2008-DongSZ #design pattern #detection
Design pattern detection by template matching (JD, YS, YZ), pp. 765–769.
SAC-2008-Santos-NetoRP #evaluation #information management #modelling #testing
An evaluation of a model-based testing method for information systems (PdAdSN, RFR, CIPdSeP), pp. 770–776.
SAC-2008-CostaRNS #framework #information management #integration #web #web service
Software frameworks for information systems integration based on web services (MBC, RFR, EFN, MEVS), pp. 777–782.
SAC-2008-PaesHY #fault tolerance
Extending RUP to develop fault tolerant software (CEdBP, CMH, ETY), pp. 783–790.
SAC-2008-Deba #approach #model transformation #modelling #on the #transducer
On the conformity of models: a transducer-based approach for model transformation (EAD), pp. 791–796.
SAC-2008-DingMH #approach #refinement #specification #using
An approach for specification construction using property-preserving refinement patterns (JD, LM, XH), pp. 797–803.
SAC-2008-ShenK #fault #named #uml
ICER: a tool for finding errors in a UML model (WS, DKK), pp. 804–808.
SAC-2008-BuenoWJ #automation #generative #testing #using
Automatic test data generation using particle systems (PMSB, WEW, MJ), pp. 809–814.
SAC-2008-RodriguesAP #c++ #evolution
A C++ environment for dynamic unanticipated software evolution (AR, HOdA, AP), pp. 815–819.
SAC-2008-GarciaH #analysis #functional #metric #using
Integrating functional metrics, COCOMO II and earned value analysis for software projects using PMBoK (CALG, CMH), pp. 820–825.
SAC-2008-ChenXN #analysis #detection #fault #specification
A detectability analysis of fault classes for Boolean specifications (ZC, BX, CN), pp. 826–830.
SAC-2008-UddinZ #named #towards #trust
UMLtrust: towards developing trust-aware software (MGU, MZ), pp. 831–836.
SAC-2008-Hassan #automation #classification #open source
Automated classification of change messages in open source projects (AEH), pp. 837–841.
SAC-2008-VazquezCP #approach #architecture #design #object-oriented #reasoning
A case-based reasoning approach for materializing software architectures onto object-oriented designs (GLV, MRC, JADP), pp. 842–843.
SAC-2008-SchmitzAA #implementation #nondeterminism #order
A method for defining the implementation order of software projects under uncertainty (EAS, AJA, CMdA), pp. 844–845.
SAC-2008-ReynosoCGP #diagrams #metric #ocl #statechart #uml #using
Formal definition of measures for UML statechart diagrams using OCL (LR, JACL, MG, MP), pp. 846–847.
SAC-2008-AndresAN #experience #formal method #information management #using
Using formal methods to develop a complex information system: a practical/theoretical experience (CA, RGA, MN), pp. 848–849.
SAC-2008-ChbeirCLY #information management
Track on Advances in Spatial and Image-Based Information Systems (ASIIS): editorial message (RC, CC, KJL, KY), p. 851.
SAC-2008-TiakasPNM #estimation #network
Selectivity estimation in spatial networks (ET, ANP, AN, YM), pp. 852–856.
SAC-2008-GomezKV
Aggregation languages for moving object and places of interest (LIG, BK, AAV), pp. 857–862.
SAC-2008-PalmaBKA #approach #clustering
A clustering-based approach for discovering interesting places in trajectories (ATP, VB, BK, LOA), pp. 863–868.
SAC-2008-RazenteBTT #feedback #image #query #retrieval #similarity
Aggregate similarity queries in relevance feedback methods for content-based image retrieval (HLR, MCNB, AJMT, CTJ), pp. 869–874.
SAC-2008-PaulyS #database
Spatial vagueness and imprecision in databases (AP, MS), pp. 875–879.
SAC-2008-LaRosaXM #kernel #mining
Frequent pattern mining for kernel trace data (CL, LX, KM), pp. 880–885.
SAC-2008-CostaMO #approach #clustering #modelling
A hierarchical model-based approach to co-clustering high-dimensional data (GC, GM, RO), pp. 886–890.
SAC-2008-ChidlovskiiL08a #clustering #coordination #visual notation
Semi-supervised visual clustering for spherical coordinates systems (BC, LL), pp. 891–895.
SAC-2008-TanWWC #detection #problem #semantics #using
Using unlabeled data to handle domain-transfer problem of semantic detection (ST, YW, GW, XC), pp. 896–903.
SAC-2008-DiamantiniP #detection
Borderline detection by Bayes vector quantizers (CD, DP), pp. 904–908.
SAC-2008-HeSVA #privacy
Privacy-preserving link discovery (XH, BS, JV, NRA), pp. 909–915.
SAC-2008-MengleG #algorithm #ambiguity #classification #feature model #using
Using ambiguity measure feature selection algorithm for support vector machine classifier (SSRM, NG), pp. 916–920.
SAC-2008-KuangZ #algorithm #detection #using
An anomaly intrusion detection method using the CSI-KNN algorithm (LK, MZ), pp. 921–926.
SAC-2008-ZengLL #fault tolerance #mining
Mining fault-tolerant frequent patterns efficiently with powerful pruning (JJZ, GL, CCL), pp. 927–931.
SAC-2008-MengleGP #category theory #classification #using
Discovering relationships among categories using misclassification information (SSRM, NG, AP), pp. 932–937.
SAC-2008-BelohlavekV #concept analysis #dependence
Adding background knowledge to formal concept analysis via attribute dependency formulas (RB, VV), pp. 938–943.
SAC-2008-FonsecaCC #algorithm #named #nearest neighbour
k-RNN: k-relational nearest neighbour algorithm (NAF, VSC, RC), pp. 944–948.
SAC-2008-SuKZG #classification #collaboration #machine learning #using
Imputation-boosted collaborative filtering using machine learning classifiers (XS, TMK, XZ, RG), pp. 949–950.
SAC-2008-BezerraW #algorithm #detection #process
Anomaly detection algorithms in logs of process aware systems (FdLB, JW), pp. 951–952.
SAC-2008-RibeiroTT #algorithm #feature model
A new algorithm for data discretization and feature selection (MXR, AJMT, CTJ), pp. 953–954.
SAC-2008-KontakiPM #data type #multi
Continuous k-dominant skyline computation on multidimensional data streams (MK, ANP, YM), pp. 956–960.
SAC-2008-AnagnostopoulosAH #adaptation #data type #multi #what
Deciding what to observe next: adaptive variable selection for regression in multivariate data streams (CA, NMA, DJH), pp. 961–965.
SAC-2008-MontanaTT #algorithm #data type #mining
Data stream mining for market-neutral algorithmic trading (GM, KT, TT), pp. 966–970.
SAC-2008-ChongKLG #energy #network #using
Using association rules for energy conservation in wireless sensor networks (SKC, SK, SWL, MMG), pp. 971–975.
SAC-2008-SpinosaCG #clustering #concept #data type #detection #network #novel
Cluster-based novel concept detection in data streams applied to intrusion detection in computer networks (EJS, ACPLFdC, JG), pp. 976–980.
SAC-2008-CuttL #data transformation #quality
Managing data quality in a terabyte-scale sensor archive (BC, RL), pp. 982–986.
SAC-2008-IsikmanYOOGA #adaptation #fuzzy #multi #query #web
Adaptive weighted multi-criteria fuzzy query processing for web based real estate applications (ÖÖI, BGY, , , HG, RA), pp. 987–991.
SAC-2008-HolandaBF #adaptation #self #transaction
Introducing self-adaptability into transaction processing (MH, AB, SF), pp. 992–997.
SAC-2008-FilhoH #summary #xml
Accurate histogram-based XML summarization (JdAMF, TH), pp. 998–1002.
SAC-2008-YuiMUK #distributed #named #parallel #using #xquery
XBird/D: distributed and parallel XQuery processing using remote proxy (MY, JM, SU, HK), pp. 1003–1007.
SAC-2008-ConstantinA #distributed #ranking #xml
Usage-based ranking of distributed XML data (CC, BA), pp. 1008–1012.
SAC-2008-FonsecaVM #data access #detection #online #using
Online detection of malicious data access using DBMS auditing (JF, MV, HM), pp. 1013–1020.
SAC-2008-TsujiKH #implementation #multi #scalability #set
History offset implementation scheme for large scale multidimensional data sets (TT, MK, KH), pp. 1021–1028.
SAC-2008-CostaF
A QoS-oriented external scheduler (RLdCC, PF), pp. 1029–1033.
SAC-2008-BuenoTT #algorithm #data access #effectiveness #metric #optimisation
An algorithm for effective deletion and a new optimization technique for metric access methods (RB, AJMT, CTJ), pp. 1034–1035.
SAC-2008-SchroederM #logic #xml
Conversion of generalization hierarchies and union types from extended entity-relationship model to an XML logical model (RS, RdSM), pp. 1036–1037.
SAC-2008-AdaikkalavanC #exclamation
Events must be complete in event processing! (RA, SC), pp. 1038–1039.
SAC-2008-RoserLB #enterprise
MDSD light for ERP (SR, FL, BB), pp. 1042–1047.
SAC-2008-DirgahayuQS #behaviour #design #enterprise #integration #interactive
Designing interaction behaviour in service-oriented enterprise application integration (TD, DACQ, MvS), pp. 1048–1054.
SAC-2008-SchepersIE #approach #lifecycle
A lifecycle approach to SOA governance (TGJS, MEI, PvE), pp. 1055–1061.
SAC-2008-MonneratCC #development #enterprise #modelling #process
Enterprise systems modeling: the ERP5 development process (RMM, RAdC, RdC), pp. 1062–1068.
SAC-2008-ZhangNLH #approach #enterprise #modelling #network #security
A model-based semi-quantitative approach for evaluating security of enterprise networks (ZZ, FNA, XL, PHH), pp. 1069–1074.
SAC-2008-GantaA #adaptation #enterprise #privacy
Adaptive data anonymization against information fusion based privacy attacks on enterprise data (SRG, RA), pp. 1075–1076.
SAC-2008-GronauR #implementation #information management
Information systems implementation: the big picture (NG, MR), pp. 1077–1078.
SAC-2008-AntonellisMT #clustering #documentation #named #summary #using #xml
XEdge: clustering homogeneous and heterogeneous XML documents using edge summaries (PA, CM, NT), pp. 1081–1088.
SAC-2008-Papadopoulos #analysis #retrieval #semantics
Trajectory retrieval with latent semantic analysis (ANP), pp. 1089–1094.
SAC-2008-BordognaPPP #nondeterminism #query
Evaluating uncertain location-based spatial queries (GB, MP, GP, GP), pp. 1095–1100.
SAC-2008-VercoustreTP #ranking #wiki
Entity ranking in Wikipedia (AMV, JAT, JP), pp. 1101–1106.
SAC-2008-BloomaCG #framework #predict
A predictive framework for retrieving the best answer (MJB, AYKC, DHLG), pp. 1107–1111.
SAC-2008-CorreaL #documentation #hybrid #semantics
Semantic mapping and K-means applied to hybrid SOM-based document organization system construction (RFC, TBL), pp. 1112–1116.
SAC-2008-Pasca #towards #web
Towards temporal web search (MP), pp. 1117–1121.
SAC-2008-VerbystM #retrieval
Doxels in context for retrieval: from structure to neighbours (DV, PM), pp. 1122–1126.
SAC-2008-NaderiRP #collaboration #graph #information retrieval #similarity
A graph-based profile similarity calculation method for collaborative information retrieval (HN, BR, JMP), pp. 1127–1131.
SAC-2008-MandlWNF #how #information retrieval #multi #question #robust
How robust are multilingual information retrieval systems? (TM, CWH, GMDN, NF), pp. 1132–1136.
SAC-2008-AtallaMAGA #behaviour #peer-to-peer #quality #web
Analyzing the impact of churn and malicious behavior on the quality of peer-to-peer web search (FA, DM, JMA, MAG, VA), pp. 1137–1144.
SAC-2008-BechiniTV #classification #documentation #ontology
Enabling ontology-based document classification and management in ebXML registries (AB, AT, JV), pp. 1145–1150.
SAC-2008-DuraoVAM #code search #semantics #source code
Applying a semantic layer in a source code search tool (FAD, TAV, ESdA, SRdLM), pp. 1151–1157.
SAC-2008-AssisLSG #crawling
The impact of term selection in genre-aware focused crawling (GTdA, AHFL, ASdS, MAG), pp. 1158–1163.
SAC-2008-TaghipourK #hybrid #recommendation #web
A hybrid web recommender system based on Q-learning (NT, AAK), pp. 1164–1168.
SAC-2008-TakanoC #documentation #feature model #feedback
A light-weight feedback method for reconstructing a document vector space on a feature extraction model (KT, XC), pp. 1169–1170.
SAC-2008-MerhavF #on the #peer-to-peer
On filtering irrelevant results in peer-to-peer search (YM, OF), pp. 1171–1172.
SAC-2008-KeyvanpourA #approach #image #interactive #retrieval #semantics #using
A new approach for interactive semantic image retrieval using the high level semantics (MK, SA), pp. 1175–1179.
SAC-2008-AlmeidaRTG #word
Making colors worth more than a thousand words (JA, AR, RdST, SG), pp. 1180–1186.
SAC-2008-NhatL #classification #visualisation
k-means discriminant maps for data visualization and classification (VDMN, SL), pp. 1187–1191.
SAC-2008-LangD #evaluation
Digital audio watermarking evaluation within the application field of perceptual hashing (AL, JD), pp. 1192–1196.
SAC-2008-SchreckFK #automation #multi #optimisation #towards
Towards automatic feature vector optimization for multimedia applications (TS, DWF, DAK), pp. 1197–1201.
SAC-2008-LiuHC
Handle local optimum traps in CBIR systems (DL, KAH, HC), pp. 1202–1206.
SAC-2008-ChengHVL #image #reduction
Semi-supervised dimensionality reduction in image feature space (HC, KAH, KV, DL), pp. 1207–1211.
SAC-2008-YamamotoOR #information management #interactive
Including the user in the knowledge discovery loop: interactive itemset-driven rule extraction (CHY, MCFO, SOR), pp. 1212–1217.
SAC-2008-VieiraVN #generative
A biologically inspired generation of virtual characters (RCCV, CAV, JBCN), pp. 1218–1224.
SAC-2008-BugattiTT #integration #query #similarity
Assessing the best integration between distance-function and image-feature to answer similarity queries (PHB, AJMT, CTJ), pp. 1225–1230.
SAC-2008-CohenBP #visualisation
The volume in focus: hardware-assisted focus and context effects for volume visualization (MC, KWB, NP), pp. 1231–1235.
SAC-2008-MariSPZL #3d #algorithm #re-engineering
Improving the neural meshes algorithm for 3D surface reconstruction with edge swap operations (JFM, JHS, GP, MRZ, ALML), pp. 1236–1240.
SAC-2008-RochaR #animation #evaluation #using
An evaluation of a collision handling system using sphere-trees for plausible rigid body animation (RdSR, MAFR), pp. 1241–1245.
SAC-2008-CattelanTRMP #named
Inkteractors: interacting with digital ink (RGC, CACT, HR, EVM, MdGCP), pp. 1246–1251.
SAC-2008-SansL #algebra #interface #named #order #visualisation #xquery
IFOX: interface for ordered XQuery an algebraic oriented tool for ordered XQuery visualization (VS, DL), pp. 1252–1257.
SAC-2008-YuV #programming #rule-based #visualisation
Visualization of rule-based programming (WY, RMV), pp. 1258–1259.
SAC-2008-DornS #3d #approximate #named #predict
CReF: a central-residue-fragment-based method for predicting approximate 3-D polypeptides structures (MD, ONdS), pp. 1261–1267.
SAC-2008-AraujoPFLO #distributed #named #using
FlagelLink: a decision support system for distributed flagellar data using data warehouse (FFA, ÂMAP, KMF, BFL, DMO), pp. 1268–1272.
SAC-2008-AlthausCEKMMZ
Computing H/D-exchange speeds of single residues from data of peptic fragments (EA, SC, MRE, AK, AGM, AMB, HZ), pp. 1273–1277.
SAC-2008-BastosPFF #named #ontology
BOLOS: BLAST & Ontology Linked-hOmologue Stars (HPB, CP, DF, AOF), pp. 1278–1281.
SAC-2008-CruzBDSTVCCTM #approach #detection #named #workflow
OrthoSearch: a scientific workflow approach to detect distant homologies on protozoans (SMSdC, VB, AMRD, ES, FT, CV, MLMC, RRCC, DAT, MM), pp. 1282–1286.
SAC-2008-LiZC #case study #mining
Mining disease-specific molecular association profiles from biomedical literature: a case study (JL, XZ, JYC), pp. 1287–1291.
SAC-2008-ShaoYN #classification
Strangeness-based feature weighting and classification of gene expression profiles (HS, BY, JHN), pp. 1292–1296.
SAC-2008-KasamsettyWC #biology #database #towards
Towards an integrative human pathway database for systems biology applications (HNK, XW, JYC), pp. 1297–1301.
SAC-2008-AntonyBHP #approach #biology #interactive #mining #using #validation
Computational approach to biological validation of protein-protein interactions discovered using literature mining (AA, SB, SH, MJP), pp. 1302–1306.
SAC-2008-PlasMW #multi
Discrete wavelet transform-based multivariate exploration of tissue via imaging mass spectrometry (RVdP, BDM, EW), pp. 1307–1308.
SAC-2008-MitrofanovaM #evolution #modelling #simulation
Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes (AM, BM), pp. 1309–1310.
SAC-2008-NunesC08a #artificial reality #challenge #health #perspective
The virtual reality challenges in the health care area: a panoramic view (FLSN, RMEMdC), pp. 1312–1316.
SAC-2008-SlaymakerPRWS #data flow #delivery #legacy #research
Accessing and aggregating legacy data sources for healthcare research, delivery and training (MS, DJP, DR, GW, AS), pp. 1317–1324.
SAC-2008-WainerBD #automation #framework #guidelines #implementation #named
ST-guide: a framework for the implementation of automatic clinical guidelines (JW, CZB, MPD), pp. 1325–1332.
SAC-2008-SchiabelSA #detection #image #segmentation
Segmentation technique for detecting suspect masses in dense breast digitized images as a tool for mammography CAD schemes (HS, VTS, MFA), pp. 1333–1337.
SAC-2008-AvolaC #analysis #image
Encephalic NMR image analysis by textural interpretation (DA, LC), pp. 1338–1342.
SAC-2008-CorreiaKK #mobile #named
Borboleta: a mobile telehealth system for primary homecare (RC, FK, RK), pp. 1343–1347.
SAC-2008-AgulhariSB #using
Compressing electrocardiogram signals using parameterized wavelets (CMA, RMRS, ISB), pp. 1348–1352.
SAC-2008-DinizFM #adaptation #architecture #ubiquitous
An architecture of services for session management and contents adaptation in ubiquitous medical environments (JRBD, CAGF, HM), pp. 1353–1357.
SAC-2008-AraujoSF #algebra #analysis #process
HIV drug resistance analysis tool based on process algebra (LVdA, ECS, JEF), pp. 1358–1363.
SAC-2008-ItoMI #concept #modelling #named
CPRM: a chronic patient’s management model based on the concepts of customer’s relationship (MI, JSCM, LCI), pp. 1364–1368.
SAC-2008-MorimotoO #metric #using #video
Eyelid measurements using digital video processing (CHM, TFdO), pp. 1369–1373.
SAC-2008-GoncalvesFAG #monitoring
ECG data provisioning for telehomecare monitoring (BG, JGPF, RVA, GG), pp. 1374–1379.
SAC-2008-CorreaIZF #analysis #image #mobile #using
Medical image analysis using mobile devices (BC, EI, AZ, MF), pp. 1380–1384.
SAC-2008-CarvalhoAZ #health #learning #process
Learning activities on health care supported by common sense knowledge (AFPdC, JCAS, SZM), pp. 1385–1389.
SAC-2008-OliveiraMWS #analysis #locality
Brain registration and subtraction — improved localization for SPECT analysis (B.R.A.S.I.L.): a computer-aided diagnosis in epilepsy tool kit (LFdO, PMdAM, LWA, ACS), pp. 1390–1394.
SAC-2008-SantosSMSPB #education #ubiquitous
A ubiquitous computing environment for medical education (HdFS, LHZS, DSM, WLdS, AFdP, MB), pp. 1395–1399.
SAC-2008-PiresTR #collaboration #internet
A UMLS interoperable solution to support collaborative diagnosis decision making over the internet (DFP, CACT, EESR), pp. 1400–1404.
SAC-2008-AmatoCCMTVGLGM #analysis #detection
A web-based system for the collection and analysis of spectra signals for early detection of voice alterations (FA, MC, CC, FM, GT, PV, AG, NL, SG, CM), pp. 1405–1409.
SAC-2008-CostaNFC #analysis #assessment #parametricity
Parametric cepstral analysis for pathological voice assessment (SCC, BGAN, JMF, SC), pp. 1410–1414.
SAC-2008-TrevisanNM
Augmented vision for medical applications (DGT, LPN, BMM), pp. 1415–1419.
SAC-2008-GoldbargGM #algorithm
Selecting beam directions in radiotherapy with an evolutionary algorithm (MCG, EFGG, CRAM), pp. 1420–1421.
SAC-2008-SilvaDSSM #analysis #automation #component #segmentation
Automated segmentation and volumetric analysis of brain components on MR imaging (MPS, JRD, FLS, ASdS, DCMS), pp. 1422–1423.
SAC-2008-CostaCFANF #metric
Pathological voice discrimination based on entropy measurements (SCC, SC, HF, NA, BGAN, JMF), pp. 1424–1425.
SAC-2008-SeifertWK #algorithm #detection #divide and conquer #interactive #paradigm
Application of divide-and-conquer algorithm paradigm to improve the detection speed of high interaction client honeypots (CS, IW, PK), pp. 1426–1432.
SAC-2008-WeiSWS #email #forensics #identification #mining
Mining spam email to identify common origins for forensic application (CW, AS, GW, AS), pp. 1433–1437.
SAC-2008-Willassen #calculus #using
Using simplified event calculus in digital investigation (SYW), pp. 1438–1442.
SAC-2008-YuB #detection #effectiveness #multi #performance
A fast and effective method to detect multiple least significant bits steganography (XY, NB), pp. 1443–1447.
SAC-2008-SavoldiG #logic #physics
Logical and physical data collection of Windows CE based portable devices (AS, PG), pp. 1448–1449.
SAC-2008-BracherK #documentation #implementation #prototype
Implementing secure document circulation: a prototype (SB, PK), pp. 1452–1456.
SAC-2008-DoringPE #e-commerce #query
Advanced preference query processing for e-commerce (SD, TP, ME), pp. 1457–1462.
SAC-2008-Nassiri #3d #e-commerce #trust #using
Increasing trust through the use of 3d e-commerce environment (NN), pp. 1463–1466.
SAC-2008-HallerGK #ontology #towards
Towards a complete SCM ontology: the case of ontologising RosettaNet (AH, JG, PK), pp. 1467–1473.
SAC-2008-AkhterK
Building secure e-business systems: technology and culture in the UAE (FA, LK), pp. 1474–1475.
SAC-2008-WeiYLX #embedded #memory management #predict #realtime
Flash memory management based on predicted data expiry-time in embedded real-time systems (PW, LY, ZL, XX), pp. 1477–1481.
SAC-2008-AtoofianB #behaviour #embedded #latency #memory management
Exploiting program cyclic behavior to reduce memory latency in embedded processors (EA, AB), pp. 1482–1486.
SAC-2008-XiangYLW #implementation #memory management #reliability
A reliable B-tree implementation over flash memory (XX, LY, ZL, PW), pp. 1487–1491.
SAC-2008-GruianW #architecture #case study #embedded #java
VHDL vs. Bluespec system verilog: a case study on a Java embedded architecture (FG, MW), pp. 1492–1497.
SAC-2008-ParkLLP #architecture #file system #hybrid #memory management #named #ram #scalability
PFFS: a scalable flash memory file system for the hybrid architecture of phase-change RAM and NAND flash (YP, SHL, CL, KHP), pp. 1498–1503.
SAC-2008-GuoLPHCDW #design #manycore #memory management
Hierarchical memory system design for a heterogeneous multi-core processor (JG, McL, ZP, LH, FC, KD, ZW), pp. 1504–1508.
SAC-2008-SykoraAS #embedded #pipes and filters
Dynamic configuration of application-specific implicit instructions for embedded pipelined processors (MS, GA, CS), pp. 1509–1516.
SAC-2008-PerngCK #configuration management #embedded #hardware #platform
The minimization of hardware size in reconfigurable embedded platforms (NCP, JJC, TWK), pp. 1517–1522.
SAC-2008-TsaiHC #design #power management #queue #scalability
Power-efficient and scalable load/store queue design via address compression (YYT, CJH, CHC), pp. 1523–1527.
SAC-2008-LuCL #embedded #hybrid #self
A hybrid software-based self-testing methodology for embedded processor (THL, CHC, KJL), pp. 1528–1534.
SAC-2008-LoTP #detection #hardware #implementation #network #regular expression
Hardware implementation for network intrusion detection rules with regular expression support (CTDL, YGT, KP), pp. 1535–1539.
SAC-2008-CartaxoANM #embedded #functional #named #testing
LTS-BT: a tool to generate and select functional test cases for embedded systems (EGC, WdLA, FGON, PDLM), pp. 1540–1544.
SAC-2008-LuizVS #framework #platform #specification
Formal specification of DSP gateway for data transmission between processor cores of OMAP platform (SODL, GdMV, LDdS), pp. 1545–1549.
SAC-2008-RuiWFKZ #architecture #control flow
Control flow checking and recovering based on 8051 architecture (RG, WC, FL, KD, ZW), pp. 1550–1551.
SAC-2008-PereiraAGS #architecture #configuration management #hybrid #using
Using traditional loop unrolling to fit application on a new hybrid reconfigurable architecture (MMP, SRFdA, BCdO, ISS), pp. 1552–1553.
SAC-2008-GiorgiB #performance
Filtering drowsy instruction cache to achieve better efficiency (RG, PB), pp. 1554–1555.
SAC-2008-StrapparavaM #identification #learning
Learning to identify emotions in text (CS, RM), pp. 1556–1560.
SAC-2008-Ngomo #multi
Knowledge-free discovery of domain-specific multiword units (ACNN), pp. 1561–1565.
SAC-2008-ZhouTBAG #ambiguity #graph #named #query
Gcon: a graph-based technique for resolving ambiguity in query translation candidates (DZ, MT, TJB, HA, JG), pp. 1566–1573.
SAC-2008-FariaM #recognition #scalability #speech
When a mismatch can be good: large vocabulary speech recognition trained with idealized tandem features (AF, NM), pp. 1574–1577.
SAC-2008-Paraiso #interface #ontology
Ontology-based utterance interpretation for intelligent conversational interfaces (ECP), pp. 1578–1582.
SAC-2008-ZhouZCZ #concept #ontology #semantics
A method for semantics-based conceptual expansion of ontology (LZ, DZ, XC, CZ), pp. 1583–1587.
SAC-2008-MohseniMMS #markov
A Farsi part-of-speech tagger based on Markov model (MM, HM, BMB, MSf), pp. 1588–1589.
SAC-2008-GuiFSB #component #configuration management #embedded #hybrid #realtime
A hybrid real-time component model for reconfigurable embedded systems (NG, VDF, HS, CB), pp. 1590–1596.
SAC-2008-JuniorCC #3d #architecture #distributed #named
Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation (JMJ, LCJ, GAdPC), pp. 1597–1601.
SAC-2008-LuizPBR #approach #mobile #programming #search-based #using
A new approach to control a population of mobile robots using genetic programming (AL, FP, GB, MR), pp. 1602–1606.
SAC-2008-AiresSM #using
Optical flow using color information: preliminary results (KRTA, AMS, AADM), pp. 1607–1611.
SAC-2008-GrigorovRCK #automation #design #generative #industrial
Template design and automatic generation of controllers for industrial robots (LG, KR, JERC, SK), pp. 1612–1613.
SAC-2008-BesshoKKS #framework #identification #ubiquitous
A space-identifying ubiquitous infrastructure and its application for tour-guiding service (MB, SK, NK, KS), pp. 1616–1621.
SAC-2008-AhamedHT #pervasive #trust
Service sharing with trust in pervasive environment: now it’s time to break the jinx (SIA, MMH, NT), pp. 1622–1628.
SAC-2008-SaCDR #multi
Multi-purpose proactive m-Artifacts (MdS, LC, LD, TR), pp. 1629–1633.
SAC-2008-CollignonVC #editing #multi #user interface
An intelligent editor for multi-presentation user interfaces (BC, JV, GC), pp. 1634–1641.
SAC-2008-NetoSMAWG #experience #ubiquitous
Supporting ethnographic studies of ubiquitous computing in the medical grand round experience (RBN, AKS, AAM, PAM, LWA, JACG), pp. 1642–1646.
SAC-2008-NogueraPPF #composition #ubiquitous
Context distribution for supporting composition of applications in ubiquitous computing (CN, EVP, CAP, JF), pp. 1647–1648.
SAC-2008-CattelanP #framework #mobile #multi #peer-to-peer #platform
Supporting multimedia capture in mobile computing environments through a peer-to-peer platform (RGC, MdGCP), pp. 1649–1650.
SAC-2008-VassevHP #specification #towards
Towards an ASSL specification model for NASA swarm-based exploration missions (EV, MH, JP), pp. 1652–1657.
SAC-2008-BrotoHSPT #policy #specification
Autonomic management policy specification in Tune (LB, DH, PS, NDP, ST), pp. 1658–1663.
SAC-2008-KingRCQ #design #object-oriented #reuse #self
A reusable object-oriented design to support self-testable autonomic software (TMK, AER, PJC, BQM), pp. 1664–1669.
SAC-2008-SridharanBRA #architecture #fault tolerance #implementation #network
Implementing an autonomic architecture for fault-tolerance in a wireless sensor network testbed for at-scale experimentation (MS, SB, RR, AA), pp. 1670–1676.
SAC-2008-KucinskisF #information management #representation
An onboard knowledge representation tool for satellite autonomous applications (FdNK, MGVF), pp. 1678–1682.
SAC-2008-MotaCFEB #deforestation #evolution #reasoning
Applying case-based reasoning in the evolution of deforestation patterns in the Brazilian Amazonia (JSM, GC, LMGF, MISE, ORFdOB), pp. 1683–1687.
SAC-2008-ShiguemoriVS #approach #network #retrieval
Atmospheric temperature retrieval from satellite data: new non-extensive artificial neural network approach (EHS, HFdCV, JDSdS), pp. 1688–1692.
SAC-2008-CastroS #image #multi #network
Restoring images with a multiscale neural network based technique (APAdC, JDSdS), pp. 1693–1697.
SAC-2008-SchobelP #case study #clustering #cpu #kernel #research #scheduling #using
Kernel-mode scheduling server for CPU partitioning: a case study using the Windows research kernel (MS, AP), pp. 1700–1704.
SAC-2008-LeePSK #performance
A group management scheme for an efficient location-based service (JL, GLP, COS, SWK), pp. 1705–1709.
SAC-2008-LeeHCHS #file system
Secure deletion for NAND flash file system (JL, JH, YC, JH, SYS), pp. 1710–1714.
SAC-2008-ChangC #self
A self-balancing striping scheme for NAND-flash storage systems (YBC, LPC), pp. 1715–1719.
SAC-2008-Chen #energy
Expected energy consumption minimization in DVS systems with discrete frequencies (JJC), pp. 1720–1725.
SAC-2008-YiMCJK #named #operating system #realtime
PreeMe: preemptive real-time task management for event-driven sensor operating systems (SY, HM, YC, IJ, YK), pp. 1726–1727.
SAC-2008-Djelloul #constraints #first-order
Combination of decomposability and propagation for solving first-order constraints in decomposable theories (KD), pp. 1728–1732.
SAC-2008-LevadaMTS #estimation #higher-order #parametricity #pseudo
Spatially non-homogeneous potts model parameter estimation on higher-order neighborhood systems by maximum pseudo-likelihood (ALML, NDAM, AT, DHPS), pp. 1733–1737.
SAC-2008-CorreaLSM #composition #learning #network
Neural network based systems for computer-aided musical composition: supervised x unsupervised learning (DCC, ALML, JHS, JFM), pp. 1738–1742.
SAC-2008-LucasCD #classification #fuzzy
General type-2 fuzzy classifiers to land cover classification (LAL, TMC, MRD), pp. 1743–1747.
SAC-2008-RadtkeSW #algorithm #classification #using
Using the RRT algorithm to optimize classification systems for handwritten digits and letters (PVWR, RS, TW), pp. 1748–1752.
SAC-2008-MatosBP #recognition #using
Face recognition using DCT coefficients selection (FMdSM, LVB, JvdP), pp. 1753–1757.
SAC-2008-TarauL #synthesis
Revisiting exact combinational circuit synthesis (PT, BL), pp. 1758–1759.
SAC-2008-ZhangMD #feature model #fuzzy #image #retrieval #set #using
Texture feature extraction and description using fuzzy set of main dominant directions of variable scales in content-based medical image retrieval (GZ, ZMM, LD), pp. 1760–1761.
SAC-2008-PercianoMFS #image
Restoration of vibro-acoustography images (TP, NDAM, ACF, GTS), pp. 1762–1763.
SAC-2008-BarczakJM #empirical #evaluation
Empirical evaluation of a new structure for AdaBoost (ALCB, MJJ, CHM), pp. 1764–1765.
SAC-2008-Ercan #comparison #hybrid #multi #performance #scheduling
A performance comparison of PSO and GA in scheduling hybrid flow-shops with multiprocessor tasks (MFE), pp. 1767–1771.
SAC-2008-SilvaBBVMP #fuzzy
Fuzzy and neuro-fuzzy estimates of the total height of eucalyptus trees (RMdAS, FGB, GBB, FLV, ARdM, DMP), pp. 1772–1776.
SAC-2008-ToledoFR #algorithm #problem #scheduling #search-based
Evaluating genetic algorithms with different population structures on a lot sizing and scheduling problem (CFMT, PMF, KAR), pp. 1777–1781.
SAC-2008-CoelhoO #optimisation
Dynamically tuning the population size in particle swarm optimization (ALVC, DGdO), pp. 1782–1787.
SAC-2008-BragaOM #estimation #feature model #optimisation #parametricity
A GA-based feature selection and parameters optimization for support vector regression applied to software effort estimation (PLB, ALIO, SRLM), pp. 1788–1792.
SAC-2008-NogueiraVN #animation
A nervous system model for direct dynamics animation control based on evolutionary computation (YLBN, CAV, JBCN), pp. 1793–1800.
SAC-2008-CarvalhoLGS #identification #programming #search-based #using
Replica identification using genetic programming (MGdC, AHFL, MAG, ASdS), pp. 1801–1806.
SAC-2008-MaK #algorithm #search-based
Dynamic populations in genetic algorithms (Z(M, AWK), pp. 1807–1811.
SAC-2008-SeoKRK #2d #algorithm #deployment #search-based
A genetic algorithm for sensor deployment based on two-dimensional operators (JHS, YHK, HBR, SJK), pp. 1812–1813.
SAC-2008-FreixasJS #composition #geometry
Elements for a modular dynamic geometry system (MF, RJA, ASR), pp. 1816–1820.
SAC-2008-Michelucci #geometry #proving #theorem #word
Isometry group, words and proofs of geometric theorems (DM), pp. 1821–1825.
SAC-2008-MeiraM #clustering #problem
A continuous facility location problem and its application to a clustering problem (LAAM, FKM), pp. 1826–1831.
SAC-2008-Denner-Broser #algorithm #analysis #problem #using
An algorithm for the tracing problem using interval analysis (BDB), pp. 1832–1837.
SAC-2008-FabreS
Combining symbolic and numerical solvers to simplify indecomposable systems solving (AF, PS), pp. 1838–1842.
SAC-2008-JermannH #approach #constraints #geometry #sketching
A constraint hierarchies approach to geometric constraints on sketches (CJ, HH), pp. 1843–1844.
SAC-2008-LasserreLR #algebra #algorithm
Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm (JBL, ML, PR), pp. 1845–1846.
SAC-2008-SaffarianM #algorithm #novel #protocol
A novel protocol to prevent malicious nodes from misdirecting forward ants in AntNet algorithm (MS, MCM), pp. 1849–1853.
SAC-2008-OvereinderVB #integration #web #web service
Web service access management for integration with agent systems (BJO, PDV, FMTB), pp. 1854–1860.
SAC-2008-VellosoR #algorithm #analysis
Percolation analyses in a swarm based algorithm for shortest-path finding (BPV, MR), pp. 1861–1865.
SAC-2008-LeeKRG #framework #mobile
A generic mobile agent framework for ambient intelligence (YCL, ESK, SR, BG), pp. 1866–1871.
SAC-2008-FlhoME #development #mobile #network
Supporting the development of context-aware agent-based systems for mobile networks (JVF, MAdGM, ME), pp. 1872–1873.
SAC-2008-SantanaGSADGP #mobile #network #peer-to-peer
Improving network management with mobile agents in peer-to-peer networks (RLS, DGG, JNdS, RMCA, EPDJ, LZG, LP), pp. 1874–1875.
SAC-2008-Hosokawa #mobile
A location-aware information browser implemented on BREW-based mobile phones (YH), pp. 1878–1883.
SAC-2008-WendtGSWNM #analysis #mobile #optimisation #smarttech
System level power profile analysis and optimization for smart cards and mobile devices (MW, MG, CS, RW, UN, AM), pp. 1884–1888.
SAC-2008-WangRPT #collaboration #mobile #wiki
An audio wiki supporting mobile collaboration (LW, PR, BP, DT), pp. 1889–1896.
SAC-2008-YeLC #adaptation #mobile #network
Adaptive caching with heterogeneous devices in mobile peer to peer network (FY, QL, EC), pp. 1897–1901.
SAC-2008-AhamedRH #architecture #distributed #identification #scalability #using
Secured tag identification using EDSA (enhanced distributed scalable architecture) (SIA, FR, MEH), pp. 1902–1907.
SAC-2008-MaagG #approach #protocol #self #testing #using
Interoperability testing of a MANET routing protocol using a node self-similarity approach (SM, CG), pp. 1908–1912.
SAC-2008-RezendeRL #ad hoc #architecture #mobile #network
Publish/subscribe architecture for mobile ad hoc networks (CGR, BPSR, AAFL), pp. 1913–1917.
SAC-2008-TavaresV #mobile
A remote display system for Java-based mobile applications (ALCT, MTdOV), pp. 1918–1922.
SAC-2008-FreryRNN #estimation #fault #network
Error estimation in wireless sensor networks (ACF, HSR, JAN, EFN), pp. 1923–1928.
SAC-2008-SoonRT #approach #collaboration #mobile
An approach to mobile collaborative mapping (CJS, PR, DT), pp. 1929–1934.
SAC-2008-SultanaKAA #ubiquitous #web #web service
Ubicomp secretary: a web service based ubiquitous computing application (SS, RK, MMA, SIA), pp. 1935–1939.
SAC-2008-KimuraG #api #named
TIPS: wrapping the sockets API for seamless IP mobility (BYLK, HCG), pp. 1940–1945.
SAC-2008-GoncalvesFG #architecture #mobile
A service architecture for sensor data provisioning for context-aware mobile applications (BG, JGPF, GG), pp. 1946–1952.
SAC-2008-LeeZPH #evaluation #interactive #named #testing #visualisation
iVESTA: an interactive visualization and evaluation system for drive test data (YL, XZ, ASP, SH), pp. 1953–1957.
SAC-2008-BublitzAPLCD #framework #pervasive
An infrastructure for developing context aware applications in pervasive environments (FB, HOdA, AP, EL, EdBC, LDdS), pp. 1958–1959.
SAC-2008-VictorPB #using
Context addressing using context-aware flooding (KV, JP, YB), pp. 1960–1961.
SAC-2008-YuMCWL #mobile #named
CityWalker: a mobile GPS for walking travelers (THY, YSM, KLC, HCW, YCL), pp. 1962–1963.
SAC-2008-MenezesB #case study #modelling
A study of terrain coverage models (RM, HB), pp. 1964–1968.
SAC-2008-BealBVT #performance #self
Fast self-healing gradients (JB, JB, DV, MT), pp. 1969–1975.
SAC-2008-DegesysBR #random
Synchronization of strongly pulse-coupled oscillators with refractory periods and random medium access (JD, PB, JR), pp. 1976–1980.
SAC-2008-ErdilL #grid #hybrid #scheduling #self
Supporting self-organization for hybrid grid resource scheduling (DCE, MJL), pp. 1981–1986.
SAC-2008-WebberS
Self and non-self discrimination agents (CGW, JLTdS), pp. 1987–1988.
SAC-2008-BistarelliS #multi #network #trust
Propagating multitrust within trust networks (SB, FS), pp. 1990–1994.
SAC-2008-Tso-SutterMS #algorithm #collaboration #recommendation
Tag-aware recommender systems by fusion of collaborative filtering algorithms (KHLTS, LBM, LST), pp. 1995–1999.
SAC-2008-LathiaHC #community #correlation #recommendation
The effect of correlation coefficients on communities of recommenders (NL, SH, LC), pp. 2000–2005.
SAC-2008-AdnaneSBM #behaviour #detection #reasoning #trust
Autonomic trust reasoning enables misbehavior detection in OLSR (AA, RTdSJ, CB, LM), pp. 2006–2013.
SAC-2008-VictorCTC #recommendation #trust
Whom should I trust?: the impact of key figures on cold start recommendations (PV, CC, AT, MDC), pp. 2014–2018.
SAC-2008-Rodriguez-PerezEM #framework #named #network
Surework: a super-peer reputation framework for p2p networks (MRP, OE, JLM), pp. 2019–2023.
SAC-2008-UddinZA #named #trust
CAT: a context-aware trust model for open and dynamic systems (MGU, MZ, SIA), pp. 2024–2029.
SAC-2008-LohLSWO #keyword #recommendation #representation #taxonomy
Comparing keywords and taxonomies in the representation of users profiles in a content-based recommender system (SL, FL, GS, LKW, JPMdO), pp. 2030–2034.
SAC-2008-Martin-HughesR #scalability
Examining the motivations of defection in large-scale open systems (RMH, JR), pp. 2035–2039.
SAC-2008-FreireVMP #network
Track on Computer Networks: editorial message (MMF, TV, EM, MP), p. 2040.
SAC-2008-BatistaDF #grid #nondeterminism #scheduling
Scheduling grid tasks under uncertain demands (DMB, ACD, NLSdF), pp. 2041–2045.
SAC-2008-LeoneS #clustering #network #process #scalability
Interacting urns processes: for clustering of large-scale networks of tiny artifacts (PL, EMS), pp. 2046–2051.
SAC-2008-AquinoFNFLF #clustering #network #reduction
Sensor stream reduction for clustered wireless sensor networks (ALLdA, CMSF, EFN, ACF, AAFL, AOF), pp. 2052–2056.
SAC-2008-SantosSMCSGAT #design #evaluation #network #on the #performance
On the design and performance evaluation of notification support for P2P-based network management (CRPdS, LFDS, CCM, SLC, EMS, LZG, MJBA, LMRT), pp. 2057–2062.
SAC-2008-WeiMZL #network #realtime
A bandwidth management scheme support for real-time applications in wireless mesh networks (YW, RM, TZ, XL), pp. 2063–2068.
SAC-2008-CastelucioSZ #deployment
Evaluating the partial deployment of an AS-level IP traceback system (AOC, RMS, AZ), pp. 2069–2073.
SAC-2008-SalesAP #network #on the #performance
On the performance of TCP, UDP and DCCP over 802.11 g networks (LMdS, HOdA, AP), pp. 2074–2078.
SAC-2008-CardenasG #architecture #comparison #network #performance
Performance comparison of Flow Aware Networking (FAN) architectures under GridFTP traffic (CC, MG), pp. 2079–2084.
SAC-2008-GuerraLF #constraints #energy #realtime #web
Attaining soft real-time constraint and energy-efficiency in web servers (RG, JCBL, GF), pp. 2085–2089.
SAC-2008-SantosCGAT #network #on the #performance
On the performance of employing presence services in P2P-based network management systems (CRPdS, SLC, LZG, MJBA, LMRT), pp. 2090–2094.
SAC-2008-SzaboAAD
The tale of the weather worm (JS, JA, RA, JD), pp. 2097–2102.
SAC-2008-LiG #detection #network #optimisation #using
TCM-KNN scheme for network anomaly detection using feature-based optimizations (YL, LG), pp. 2103–2109.
SAC-2008-HuangKV #challenge #privacy
Privacy preservation services: challenges and solutions (DH, VK, MV), pp. 2110–2115.
SAC-2008-OnoueOY #virtual machine
Control of system calls from outside of virtual machines (KO, YO, AY), pp. 2116–1221.
SAC-2008-AbbesBR #detection
An inference system for detecting firewall filtering rules anomalies (TA, AB, MR), pp. 2122–2128.
SAC-2008-ColantonioPO #approach
A cost-driven approach to role engineering (AC, RDP, AO), pp. 2129–2136.
SAC-2008-CramptonK #execution #modelling #on the #workflow
On delegation and workflow execution models (JC, HK), pp. 2137–2144.
SAC-2008-SarmentaDRD
Offline count-limited certificates (LFGS, MvD, JR, SD), pp. 2145–2152.
SAC-2008-KemalisT #approach #detection #injection #named
SQL-IDS: a specification-based approach for SQL-injection detection (KK, TT), pp. 2153–2158.
SAC-2008-ZuqueteA
Verifiable anonymous vote submission (AZ, FA), pp. 2159–2166.
SAC-2008-ZuikeviciuteP #database #replication
Conflict-aware load-balancing techniques for database replication (VZ, FP), pp. 2169–2173.
SAC-2008-RosaLR #adaptation #distributed #modelling
Modelling adaptive services for distributed systems (LR, AL, LR), pp. 2174–2180.
SAC-2008-Armendariz-InigoMMM #database #named #protocol #replication
SIPRe: a partial database replication protocol with SI replicas (JEAI, AMG, JRGdM, FDME), pp. 2181–2185.
SAC-2008-Phung-KhacBGS #adaptation #component #development #distributed #modelling
Model-driven development of component-based adaptive distributed applications (APK, AB, JMG, MTS), pp. 2186–2191.
SAC-2008-CasimiroLDBV #adaptation #framework #probability
A framework for dependable QoS adaptation in probabilistic environments (AC, PL, MD, AB, PV), pp. 2192–2196.
SAC-2008-DasD #evaluation #mobile
Performability evaluation of mobile client-server systems (OD, AD), pp. 2197–2201.
SAC-2008-SteffenelKB #order #pervasive
Total order broadcast on pervasive systems (LAS, MKP, YB), pp. 2202–2206.
SAC-2008-SouzaS #dependence #web #web service
Providing dependability for web services (JLRS, FS), pp. 2207–2211.
SAC-2008-BadishiK #adaptation #using
Improving denial of service resistance using dynamic local adaptations (GB, IK), pp. 2212–2218.
SAC-2008-MatosCPO #adaptation #distributed #middleware #named
Serpentine: adaptive middleware for complex heterogeneous distributed systems (MM, ACJ, JP, RCO), pp. 2219–2223.
SAC-2008-MaLZH #collaboration #middleware #named
SSCM: middleware for structure-based service collaboration (DM, ML, YZ, CH), pp. 2224–2225.
SAC-2008-DelessyF #process #security
A pattern-driven security process for SOA applications (NAD, EBF), pp. 2226–2227.
SAC-2008-SilvaCGAY #adaptation #on the #ubiquitous
On the control of adaptation in ubiquitous computing (LCdS, CAdC, CFRG, IA, ACY), pp. 2228–2229.
SAC-2008-KawamuraNM #ontology
Ontology-based WOM extraction service from weblogs (TK, SN, YM, MI, TY, MO), pp. 2231–2236.
SAC-2008-WangHVZ #concept #multi #ontology #semantics #web #web service
Semantic web services selection improved by application ontology with multiple concept relations (XW, MH, TV, MZ), pp. 2237–2242.
SAC-2008-NecaskyP #concept #design #semantics #using #web #web service
Designing semantic web services using conceptual model (MN, JP), pp. 2243–2247.
SAC-2008-Blomqvist #automation #ontology #ranking
Pattern ranking for semi-automatic ontology construction (EB), pp. 2248–2255.
SAC-2008-GarciaT #security #semantics #using #web #web service
Web service security management using semantic web techniques (DZGG, MBFdT), pp. 2256–2260.
SAC-2008-AntoniouDG #reasoning
A system for modal and deontic defeasible reasoning (GA, ND, GG), pp. 2261–2265.
SAC-2008-GrutterBH #ontology #reasoning
Extending an ontology-based search with a formalism for spatial reasoning (RG, BBM, MH), pp. 2266–2270.
SAC-2008-GroppeGLKHR #xquery
Embedding SPARQL into XQuery/XSLT (SG, JG, VL, DK, NH, CR), pp. 2271–2278.
SAC-2008-LecueDL #composition #independence #semantics #towards #web #web service
Towards the composition of stateful and independent semantic web services (FL, AD, AL), pp. 2279–2285.
SAC-2008-IacobAI #composition #semantics
Optimized dynamic semantic composition of services (SMI, JPAA, MEI), pp. 2286–2292.
SAC-2008-DaltioMGL #framework #process #query
A framework to process complex biodiversity queries (JD, CBM, LGJ, TML), pp. 2293–2297.
SAC-2008-SahayAF #game studies #named
PPEPR: plug and play electronic patient records (RS, WA, RF), pp. 2298–2304.
SAC-2008-PoulainCY #estimation #similarity
Similarity estimation module for OWSCIS (TP, NC, KY), pp. 2305–2309.
SAC-2008-SungCM #clustering #concept #learning #lifecycle #ontology #performance #using #web
Efficient concept clustering for ontology learning using an event life cycle on the web (SS, SC, DM), pp. 2310–2314.
SAC-2008-NollM #classification #documentation #social #web
Exploring social annotations for web document classification (MGN, CM), pp. 2315–2320.
SAC-2008-ScharffeEF #design pattern #ontology #towards
Towards design patterns for ontology alignment (FS, JE, DF), pp. 2321–2325.
SAC-2008-BaumgartnerRS #architecture
A software architecture for ontology-driven situation awareness (NB, WR, WS), pp. 2326–2330.
SAC-2008-StojanovicSM #concept #on the #refinement
On the conceptual tag refinement (NS, LS, JM), pp. 2331–2335.
SAC-2008-TondelloS #modelling #ontology #semantics
The QoS-MO ontology for semantic QoS modeling (GFT, FS), pp. 2336–2340.
SAC-2008-FuJE #multi
Multi-level biomedical ontology-enabled service broker for web-based interoperation (JF, FJ, RE), pp. 2341–2345.
SAC-2008-TierneyJ #ontology #semantics #using
C-SAW---contextual semantic alignment of ontologies: using negative semantic reinforcement (BT, MJ), pp. 2346–2347.
SAC-2008-MartinsSBPS #information retrieval #learning #ubiquitous
Context-aware information retrieval on a ubiquitous medical learning environment (DSM, LHZS, MB, AFdP, WLdS), pp. 2348–2349.
SAC-2008-FernandesFGM #generative #semantics #towards #web #web service
Towards the generation of explanations for semantic web services in OWL-S (CGF, VF, AG, DLM), pp. 2350–2351.
SAC-2008-ChenC #classification #web
Web page genre classification (GC, BC), pp. 2353–2357.
SAC-2008-XuWQ #modelling #using #verification
Modeling and verifying BPEL using synchronized net (CX, HW, WQ), pp. 2358–2362.
SAC-2008-MusicantePC #programming #web #web service
A programming environment for web services (MAM, EP, MAC), pp. 2363–2367.
SAC-2008-BodorikJW #consistency #privacy #semantics
Consistent privacy preferences (CPP): model, semantics, and properties (PB, DNJ, MXW), pp. 2368–2375.
SAC-2008-CrassoZC #query #web #web service
Query by example for web services (MC, AZ, MC), pp. 2376–2380.
SAC-2008-EspinasseFF #information management #ontology #strict #web
Agent and ontology based information gathering on restricted web domains with AGATHE (BE, SF, FLGdF), pp. 2381–2386.
SAC-2008-BaF #composition #dependence #graph #web #web service
Dependence graphs for verifications of web service compositions with PEWS (CB, MHF), pp. 2387–2391.
SAC-2008-ShiYLZ #composition #semantics #verification #web #web service
Path-based verification for composition of semantic web services (YS, JY, ZJL, JZ), pp. 2392–2396.
SAC-2008-MakrisPPS #algorithm #personalisation #web
An integrated web system to facilitate personalized web searching algorithms (CM, YP, YP, ES), pp. 2397–2402.
SAC-2008-LinWZW #on the #performance #persistent #web
On the performance of persistent connection in modern web servers (XzL, HyW, JjZ, YxW), pp. 2403–2408.
SAC-2008-RossiT08a #architecture #design #web
Designing and architecting process-aware Web applications with EPML (DR, ET), pp. 2409–2414.
SAC-2008-BorsjeLF #named #semantics
Hermes: a semantic web-based news decision support system (JB, LL, FF), pp. 2415–2420.
SAC-2008-FreireBF #approach #metric #monitoring #web
An approach based on metrics for monitoring web accessibility in Brazilian municipalities web sites (APF, TJB, RPdMF), pp. 2421–2425.
SAC-2008-ChaariBB #ontology #web #web service
Enhancing web service selection by QoS-based ontology and WS-policy (SC, YB, FB), pp. 2426–2431.
SAC-2008-LeeH #quality #ranking
Ranking with tagging as quality indicators (JL, SwH), pp. 2432–2436.

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.