BibSLEIGH — Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering

Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering
SEKE, 2008.

KER

@proceedings{SEKE-2008,
	address       = "San Francisco, California, USA",
	isbn          = "1-891706-22-5",
	publisher     = "{Knowledge Systems Institute Graduate School}",
	title         = "{Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering}",
	year          = 2008,
}

Contents (166 items)

SEKE-2008-Claudio #how: How to make an information elephant dance (CC), p. 1.
SEKE-2008-Haas #challenge #exclamation #industrial #research #web: Impact! The Challenge of Industrial Research in Computer Science in a web 2.0 world (LMH), p. 2.
SEKE-2008-Deng #collaboration #ecosystem #education #research: Building Global Ecosystem for Collaborative Computing Research and Education (YD), p. 3.
SEKE-2008-ChangZIMT #agile #prototype: Transformations for Rapid Prototyping of Time-critical Applications (SKC, ZZ, CJI, PM, VT), pp. 4–15.
SEKE-2008-ScheithauerW #case study #process: Case Study: Applying Business Process Management Systems (GS, GW), pp. 12–15.
SEKE-2008-ChenLMW #algorithm #case study #optimisation #polynomial #problem #verification: Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver (TYC, HL, RGM, DW), pp. 16–21.
SEKE-2008-Condori-FernandezP #metric #modelling #towards: Towards a Theoretical Model for Evaluating the Acceptance of Model-driven Measurement Procedures (NCF, OP), pp. 22–25.
SEKE-2008-DezhkamS #design #diagrams: Knowledge Transformation from Task Scenarios to View-based Design Diagrams (ND, KS), pp. 26–32.
SEKE-2008-LiuCH #analysis #named: PSPCAT: A PSP Data Collection and Analysis Tool (CHL, SLC, YCH), pp. 33–37.
SEKE-2008-HeWTG #process #reuse: A Systematic Method for Process Tailoring Based on Knowledge Reuse (XyH, YsW, YxT, JgG), pp. 38–41.
SEKE-2008-MatalongaG #analysis #fault: Linking Return on Training Investment with Defects Causal Analysis (SM, TSFG), pp. 42–47.
SEKE-2008-VogelBW #configuration management #enterprise: Autonomous Reconfiguration Procedures for EJB-based Enterprise Applications (TV, JB, GW), pp. 48–53.
SEKE-2008-KraftBS #clone detection #detection: Cross-language Clone Detection (NAK, BWB, RKS), pp. 54–59.
SEKE-2008-AprilHC #maintenance #maturity: Software Maintenance Maturity Model (S3mDSS) A Decision Support System (AA, NH, AC), pp. 60–66.
SEKE-2008-CorreaMW #architecture #evolution #modelling #named: Odyssey-MEC: Model Evolution Control in the Context of Model-Driven Architecture (CKFC, LGPM, CW), pp. 67–72.
SEKE-2008-FollecoKB #classification #quality: Analyzing the Impact of Attribute Noise on Software Quality Classification (AF, TMK, LAB), pp. 73–78.
SEKE-2008-XuSW #adaptation #fault #network #predict: An Adaptive Neural Network with Dynamic Structure for Software Defect Prediction (ZX, NS, WW), pp. 79–84.
SEKE-2008-KraftW #eclipse #graph: Evaluating the Accuracy of Call Graphs Extracted with the Eclipse CDT (NAK, KSW), pp. 85–90.
SEKE-2008-LappalainenHSPML #comparison #developer #tool support: A Comparison of Time Tracking Tools for Software Developers (JL, LH, JS, TP, HM, HL), pp. 91–96.
SEKE-2008-KhwajaU #execution #modelling #named #specification: RealSpec: an Executable Specification Language for Modeling Resources (AAK, JEU), pp. 97–102.
SEKE-2008-BadriBS #approach #co-evolution #object-oriented #predict: Predicting Change Propagation in Object-oriented Systems: a Control-call Path Based Approach and Associated Tool (LB, MB, DSY), pp. 103–110.
SEKE-2008-TinkhamTP #assessment #comprehension #java #reverse engineering #source code #testing #tool support: A Qualitative Assessment of the Reverse Engineering Capabilities of Unit Testing Tools for Understanding Java Programs (AT, SRT, TP), pp. 111–116.
SEKE-2008-KloukinasSM #distributed #runtime #verification: Estimating Event Lifetimes for Distributed Runtime Verification (CK, GS, KM), pp. 117–122.
SEKE-2008-ZhongYAF #using: Ontology-learning Supported Sematic Search Using Cooperative Agents (CZ, Z(Y, MA, BHF), pp. 123–128.
SEKE-2008-BelmonteD #automation #domain model #re-engineering: Automating a Domain Model Aware Reengineering Methodology (JB, PD), pp. 129–136.
SEKE-2008-DuZR #concept analysis #release planning #using: Explaining Product Release Planning Results Using Concept Analysis (GD, TZ, GR), pp. 137–142.
SEKE-2008-TurhanB #fault #predict: Weighted Static Code Attributes for Software Defect Prediction (BT, ABB), pp. 143–148.
SEKE-2008-Barros #information management #predict #using: Predicting Software Project Size Using Project Generated Information (MdOB), pp. 149–154.
SEKE-2008-ZhouRF #case study #component #development #estimation #reuse: Supporting Reusable Component Selection with Use Case Gap-based Development Effort Estimation (XZ, BR, CF), pp. 155–166.
SEKE-2008-XieXLW #scheduling: A Project Scheduling Method Based on Human Resource Availability (LX, JX, DL, QW), pp. 161–166.
SEKE-2008-NakaoaTM #case study #independence #validation #verification: Estimating the Effort of Independent Verification and Validation in the Context of Mission-critical Software Systems — A Case Study (HN, AT, JM), pp. 167–172.
SEKE-2008-SalvianoF #concept #modelling #process: Unified Basic Concepts for Process Capability Models (CFS, AMCMF), pp. 173–178.
SEKE-2008-FontouraP #approach #process #risk management: Systematic Approach to Risk Management in Software Projects through Process Tailoring (LMF, RTP), pp. 179–184.
SEKE-2008-PereiraBO #process: Process tailoring based on well-formedness rules (EBP, RMB, TCdO), pp. 185–190.
SEKE-2008-JanesSS #identification #process: Non-invasive Software Process Data Collection for Expert Identification (AJ, AS, GS), pp. 191–196.
SEKE-2008-FilhoV #testing #using #web #web service #xml: Using XML Patterns to Guide Perturbation Based Testing of Web Services (PNCF, SRV), pp. 197–202.
SEKE-2008-LiYB #aspect-oriented #owl: Translating OWL Specified Domain Knowledge to Aspect Oriented Model (JL, XY, XB), pp. 203–208.
SEKE-2008-HuLTS #approach #configuration management #enterprise #maintenance #named: MAPLE: a Maintenance Approach for Pattern-enabLed rEconfiguration of SOA-based Enterprise Application (SH, YL, JT, YS), pp. 209–214.
SEKE-2008-YangDZ #performance #predict #reliability: Reliability Oriented QoS Driven Composite Service Selection Based on Performance Prediction (LY, YD, BZ), pp. 215–218.
SEKE-2008-LeeIHZ #adaptation #crawling #design: Design of an RSS Crawler with Adaptive Revisit Manager (BSL, JWI, BYH, DZ), pp. 219–222.
SEKE-2008-DaiS #online #protocol: QuickPay Online Payment Protocol (JD, MS), pp. 223–226.
SEKE-2008-PatroneR #bound #logic #programming language: Sharing Application Logic Across Programming Language Boundaries (DSP, BR), pp. 227–231.
SEKE-2008-SeedorfH #collaboration #re-engineering #reuse: Synergizing Collaboration and Reuse in Software Engineering (SS, OH), pp. 232–233.
SEKE-2008-LiuLW #component #development #process #product line: Improving Component Container Development Process through Product Line Engineering (GL, YL, JW), pp. 238–243.
SEKE-2008-QayyumO #architecture #dot-net: .NET Extensions to the p-architecture Description Languages (ZQ, FO), pp. 244–249.
SEKE-2008-SunSWJ #architecture #collaboration #development #towards: Towards Collaborative Development Based on Software Architecture (YS, HS, XW, WJ), pp. 250–254.
SEKE-2008-GhezziT #approach #architecture #case study: Choosing a Software Architecture: An Approach and a Case Study (CG, GT), pp. 255–260.
SEKE-2008-GarciaRS #automation #ltl #named #verification: PROTEF: Automatic Verification of Pattern-Based LTL Templates (LG, SR, SS), pp. 261–266.
SEKE-2008-Mikolajczak #case study #collaboration #object-oriented #petri net #specification: Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets — a Case Study (BM), pp. 267–272.
SEKE-2008-GallegosOGRSV #generative #specification: A Property Specification Tool for Generating Formal Specifications: Prospec 2.0 (IG, OO, AQG, SR, SS, CV), pp. 273–278.
SEKE-2008-KhoshgoftaarSD #knowledge-based #modelling #on the #quality: On the Rarity of Fault-prone Modules in Knowledge-based Software Quality Modeling (TMK, NS, DJD), pp. 279–284.
SEKE-2008-Zhang #machine learning #re-engineering #research: Machine Learning and Value-based Software Engineering: a Research Agenda (DZ), pp. 285–290.
SEKE-2008-RusMS #automation #clustering #fault: Automatic Clustering of Defect Reports (VR, SM, SGS), pp. 291–296.
SEKE-2008-Morasca #assessment #empirical: Subjective Assessment of the Mutual Influence of ISO 9126 Software Qualities: an Empirical Study (SM), pp. 297–302.
SEKE-2008-DuffyHM #c++ #comprehension #evolution #interface #library #protocol #reverse engineering #scalability: Reverse Engineering Interface Protocols for Comprehension of Large C++ Libraries during Code Evolution Tasks (EBD, JOH, BAM), pp. 303–308.
SEKE-2008-CavalcantiFMCM #deployment #information management #process: Knowledge Management to Support the Deployment of a CMMI Level 3 Process (APCC, FF, VM, RC, SRdLM), pp. 309–314.
SEKE-2008-Fuad #architecture #distributed #program transformation #self: Code Transformation Techniques and Management Architecture for Self-manageable Distributed Applications (MMF), pp. 315–320.
SEKE-2008-CuiSXM #architecture #design #reuse #using: A Decision-centric Architecture Design Method Facilitating the Contextually Capture and Reuse of Design Knowledge (XC, YS, SX, HM), pp. 321–326.
SEKE-2008-HendersonS #architecture #documentation: System Architecture Induces Document Architecture (PH, NDS), pp. 327–332.
SEKE-2008-ErsonC #framework #simulation: A Software Framework for Integrative Physiological Model Simulation (EZE, MCC), pp. 333–338.
SEKE-2008-HerrLSTW #automation #process: Combining SOA and BPM Technologies for Cross-System Process Automation (SH, KL, JS, GKT, GW), pp. 339–344.
SEKE-2008-HansenZS #embedded #generative #web #web service: Ontology-Enabled Generation of Embedded Web Services (KMH, WZ, GS), pp. 345–350.
SEKE-2008-YangCC #architecture #modelling: Modeling Services to Construct Service-oriented Healthcare Architecture for Digital Home-care Business (CLY, YKC, CPC), pp. 351–356.
SEKE-2008-EmerVJ #analysis #database #relational #testing: Testing Relational Database Schemas with Alternative Instance Analysis (MCFPE, SRV, MJ), pp. 357–362.
SEKE-2008-Chavarria-BaezL #approach #confluence #petri net #termination: Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach (LCB, XL), pp. 363–366.
SEKE-2008-JinB #database #fuzzy #relational: A Fuzzy Trigger Language for Relational Database Systems (YJ, TB), pp. 367–370.
SEKE-2008-MeedeniyaP #case study #comparative #data transformation #documentation #representation: A Comparative Study on Data Representation to Categorize Text Documents (DAM, ASP), pp. 371–374.
SEKE-2008-BahsoonE #mining: An Example on Economics-driven Software Mining (RB, WE), pp. 375–380.
SEKE-2008-DingH #algorithm #mining #named #performance: VP: an Efficient Algorithm for Frequent Itemset Mining (QD, WSH), pp. 381–386.
SEKE-2008-GoaerOTS #architecture #evolution: Evolution Shelf: Exploiting Evolution Styles within Software Architectures (OLG, MCO, DT, AS), pp. 387–392.
SEKE-2008-BrandlFW #modelling #reasoning #testing #using: Coverage-based Testing Using Qualitative Reasoning Models (HB, GF, FW), pp. 393–398.
SEKE-2008-TabaresAMAA #development #modelling #traceability: Traceability Models to Control an Aspectual Model-driven Development (MST, RA, AMDM, JA, FAI), pp. 399–404.
SEKE-2008-Jannach #development #knowledge-based #recommendation: Knowledge-based System Development with Scripting Technology: A Recommender System Example (DJ), pp. 405–416.
SEKE-2008-YangE #delivery #multi #trust: Integrating Trust Management into Usage Control in P2P Multimedia Delivery (LY, RKE), pp. 411–416.
SEKE-2008-SouzaWCC: Flow Balancing Model for Air Traffc Flow Management (BBdS, LW, AMFC, VRRC), pp. 417–421.
SEKE-2008-KimBBSA #behaviour #named #using #visualisation: VisRFID: Visualizing Customer Behavior in Geotemporal Space Using RFID Technology (BK, KB, MB, RS, BA), pp. 422–427.
SEKE-2008-Rodriguez-EliasMLV #process: Analyzing Manufacturing Process Knowledge Flows with KoFI (OMRE, ALM, JIL, AV), pp. 428–433.
SEKE-2008-Stankovic #named #performance: Performance: a Longitudinal Study (NS), pp. 434–439.
SEKE-2008-Argote-GarciaCHFS #approach #architecture #formal method: A Formal Approach for Translating a SAM Architecture to PROMELA (GAG, PJC, XH, YF, LS), pp. 440–447.
SEKE-2008-MiliAN #algorithm: An Algorithm for Computing Loop Functions (AM, SA, CN), pp. 448–453.
SEKE-2008-PengDZ #behaviour #correctness #design pattern #implementation #verification: Verifying Behavioral Correctness of Design Pattern Implementation (TP, JD, YZ), pp. 454–459.
SEKE-2008-AssawamekinSP #automation #multi #ontology #requirements #traceability #using: Automated Multiperspective Requirements Traceability Using Ontology Matching Technique (NA, TS, CP), pp. 460–465.
SEKE-2008-MousaviF #elicitation: Eliciting Scenarios from Scenarios (AM, BHF), pp. 466–471.
SEKE-2008-SilvaAAMC #approach: Tailoring an Aspectual Goal-oriented Approach to Model Features (CTLLS, FMRA, JA, AMDM, JBdC), pp. 472–477.
SEKE-2008-IlievaB #diagrams #generative #natural language #representation #requirements #uml #visual notation: Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation (MI, HB), pp. 478–483.
SEKE-2008-QuNXZ #testing: A Dynamic Adjusting Method for Test Case Prioritization (BQ, CN, BX, XZ), pp. 484–487.
SEKE-2008-AfzalTF #non-functional #search-based #testing: A Systematic Mapping Study on Non-Functional Search-based Software Testing (WA, RT, RF), pp. 488–493.
SEKE-2008-ChenZX #approach #reduction #testing: A Degraded ILP Approach for Test Suite Reduction (ZC, XZ, BX), pp. 494–499.
SEKE-2008-HernandezKPC #metamodelling #testing #web: A Meta-model to Support Regression Testing of Web Applications (YH, TMK, JP, PJC), pp. 500–505.
SEKE-2008-Chapin: Service Granularity Effects in SOA (NC), pp. 506–511.
SEKE-2008-ReddyreddyX #using #xml: Securing Service-oriented Systems Using State-Based XML Firewall (AR, HX), pp. 512–518.
SEKE-2008-SloanK #model checking #towards #web #web service: Toward Model Checking Web Services Over the Web (JCS, TMK), pp. 519–524.
SEKE-2008-SaccolEG #metadata #peer-to-peer #query #xml: A Metadata Model for Managing and Querying XML Resources in Peer-to-peer Systems (DdBS, NE, RdMG), pp. 525–530.
SEKE-2008-BiswasG #transaction: Minimal Observability for Transactional Hierarchical Services (DB, BG), pp. 531–536.
SEKE-2008-ParkK #automaton #bound #constraints #lts #model checking #using: Using Boolean Cardinality Constraint for LTS Bounded Model Checking (SP, GK), pp. 537–542.
SEKE-2008-ParkK08a #problem #satisfiability: Japanese Puzzle as a SAT Problem (SP, GK), pp. 543–548.
SEKE-2008-ScheithauerWT #documentation #execution #process #semantic gap: Bridging the Semantic Gap Between Process Documentation and Process Execution (GS, GW, CT), pp. 549–554.
SEKE-2008-GaidhaniJ #challenge #migration #performance: Performance Challenges in Migrating to SOA Based Healthcare Systems (SG, VJ), pp. 555–560.
SEKE-2008-DaiXWLL #execution #process: Dynamically Optimize Process Execution Based on Process-agent (JD, JX, QW, ML, HL), pp. 561–564.
SEKE-2008-HondaCD #mobile #named: Mobile-FIRST: a Mobile Agent Based First Responder System (JH, HHC, DD), pp. 565–568.
SEKE-2008-Neruda #ontology #search-based: Ontology-based and Evolutionary Search for Computational Agents Schemes (RN), pp. 569–572.
SEKE-2008-XiPLH #component #repository: A Goal-oriented Mixed-granularity Component Selection Method for Huge Component Repositories (XX, JP, JL, SH), pp. 573–576.
SEKE-2008-ShinP #case study #component #off the shelf #self: A Case Study: Self-managed COTS Component-based Elevator System (MES, FP), pp. 577–580.
SEKE-2008-MahoneyE #monitoring #using: Using Scenario Monitoring to Address State Based Crosscutting Concerns (MM, TE), pp. 581–586.
SEKE-2008-HudertLW #framework: Negotiating Service Levels — A Generic Negotiation Framework for WS Agreement (SH, HL, GW), pp. 587–592.
SEKE-2008-SchonbergerW #consistency #integration #process #requirements #taxonomy: Taxonomy on Consistency Requirements in the Business Process Integration Context (AS, GW), pp. 593–598.
SEKE-2008-AlmeidaPRPLC #enterprise #evolution: Developing Enterprise Applications with Support to Dynamic Unanticipated Evolution (HOdA, MFP, MdMR, AP, EL, EdBC), pp. 599–602.
SEKE-2008-Chao #classification #data type #privacy: Privacy-preserving Classification of Data Streams (CMC), pp. 603–606.
SEKE-2008-LucasSM #classification #personalisation #recommendation #towards #using: Comparing the Use of Traditional and Associative Classifiers towards Personalized Recommendations (JPL, SS, MNMG), pp. 607–612.
SEKE-2008-WuSF #clustering #mining #re-engineering: Discovering Meaningful Clusters from Mining the Software Engineering Literature (YW, HPS, LF), pp. 613–618.
SEKE-2008-FatolahiSL #approach #automation #generative #modelling #requirements: A Model-Driven Approach for the Semi-automated Generation of Web-based Applications from Requirements (AF, SSS, TCL), pp. 619–624.
SEKE-2008-BaratK #approach #enterprise #integration #modelling #process #tool support: A Model-driven Toolset to Support an Approach for Analyzing Integration of Business Process Aspect of Enterprise Application Integration (SB, VK), pp. 625–630.
SEKE-2008-GaoKF #analysis #complexity #modelling #testing: Model-based Test Complexity Analysis for Software Installation Testing (JG, KK, TF), pp. 631–637.
SEKE-2008-DrumondGS #analysis #information management #semantics #similarity #web: A Similarity Analysis Model for Semantic Web Information Filtering Applications (LD, RG, FS), pp. 638–642.
SEKE-2008-GolmohammadiRP #overview #semantics #web: Fuzziness in the Semantic Web: Survey and Future Directions (SKG, MR, WP), pp. 643–648.
SEKE-2008-EzenwoyeS #approach #reliability #web #web service: A Language-based Approach to Addressing Reliability in Composite Web Services (OE, SMS), pp. 649–654.
SEKE-2008-AlmeidaAGLFM #domain model #process: A Systematic Process for Domain Engineering (ESdA, AÁ, VCG, DL, RPdMF, SRdLM), pp. 655–660.
SEKE-2008-TsigkritisS #dependence #runtime #security: Diagnosing Runtime Violations of Security & Dependability Properties (TT, GS), pp. 661–666.
SEKE-2008-NavarroMFC #design #diagrams #web #workflow: Translating Workflow Diagrams into Web Designs (AN, JM, AFV, JC), pp. 667–672.
SEKE-2008-Shaffer #domain model #security #source code #static analysis #verification: A Security Domain Model for Static Analysis and Verification of Software Programs (ABS), pp. 673–678.
SEKE-2008-Tagliati #architecture #component: Component Based Architectures for eXtreme Transacion Processing (LVT), pp. 679–684.
SEKE-2008-GarciaHBM #ontology #re-engineering: An Ontology for Controlled Experiments on Software Engineering (REG, ENH, EFB, JCM), pp. 685–690.
SEKE-2008-KornerG #automation #ontology #using: Improving Automatic Model Creation Using Ontologies (SJK, TG), pp. 691–696.
SEKE-2008-BarbosaNRM #development #ontology #testing #tool support: Ontology-based Development of Testing Related Tools (EFB, EYN, ACR, JCM), pp. 697–702.
SEKE-2008-HewettKS #generative #integration #object-oriented #order #performance #testing: Test Order Generation for Efficient Object-oriented Class Integration Testing (RH, PK, DS), pp. 703–708.
SEKE-2008-FraserWW #automaton #testing #using: Using Observer Automata to Select Test Cases for Test Purposes (GF, MW, FW), pp. 709–714.
SEKE-2008-GaoLCSX #approach #case study #component: Building Testable Components — a Systematic Approach and Its Experimental Study (JG, WRL, RC, RS, MX), pp. 715–722.
SEKE-2008-BaiL #named #source code #testing: SyncTest: a Tool to Synchronize Source Code, Model and Testing (XB, TL), pp. 723–728.
SEKE-2008-ZhouZ #distributed #programming #virtual machine: A Virtual Machine for Distributed Agent-oriented Programming (BZ, HZ), pp. 729–734.
SEKE-2008-LeiteGC #multi #named: MAAEM: a Multi-agent Application Engineering Methodology (AL, RG, UC), pp. 735–740.
SEKE-2008-TekbacakTD #approach #certification #data access #security #semantics #using: A Semantic Based Certification and Access Control Approach Using Security Patterns on SEAGENT (FT, TT, OD), pp. 741–744.
SEKE-2008-NunesKNL #modelling #multi #product line: Documenting and Modeling Multi-agent Systems Product Lines (IN, UK, CN, CJPdL), pp. 745–751.
SEKE-2008-DingZ #case study #explosion #problem: A Study of the Model Explosion Problem in CTL Model Update (YD, YZ), pp. 752–757.
SEKE-2008-FernandesWM #feature model #modelling #product line: Feature Modeling for Context-Aware Software Product Lines (PF, CW, LGPM), pp. 758–763.
SEKE-2008-BuchwalderP #modelling #named: MEtaGile: A Pragmatic Domain-specific Modeling Environment (OB, CP), pp. 764–768.
SEKE-2008-TubiioLR #elicitation #overview #perspective: Obtaining Well-Founded Practices about Elicitation Techniques by Means of an Update of a Previous Systematic Review (ÓDT, ML, FR), pp. 769–772.
SEKE-2008-CalisayaBC #automation #interactive #requirements: Automatic Discovery of Interactions Between Software Requirements (ESC, MRSB, MLMC), pp. 773–778.
SEKE-2008-AlferezKSSMAA #approach #modelling #product line #requirements: A Model-driven Approach for Software Product Lines Requirements Engineering (MA, UK, AS, JPS, AMDM, JA, VA), pp. 779–784.
SEKE-2008-FunkPC #execution #specification: Model Interpretation for Executable Observation Specifications (MF, PvdP, HC), pp. 785–790.
SEKE-2008-CemerlicYK #detection #network: Network Intrusion Detection Based on Bayesian Networks (AC, LY, JMK), pp. 791–794.
SEKE-2008-LiuLZL #logic #protocol #security: Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic (FL, ZL, TZ, ML), pp. 795–801.
SEKE-2008-ParveenATMF #analysis #detection #probability #towards: Towards the Detection of Emulated Environments via Analysis of the Stochastic Nature of System Calls (TP, WHA, SRT, GAM, RF), pp. 802–807.
SEKE-2008-DebOP #deployment #distributed #self: Self-managed Deployment in a Distributed Environment via Utility Functions (DD, MJO, JP), pp. 808–813.
SEKE-2008-DasguptaEFKSV #design #fault tolerance #grid #standard #using: Design of a Fault-tolerant Job-flow Manager for Grid Environments Using Standard Technologies, Job-flow Patterns, and a Transparent Proxy (GD, OE, LF, SK, SMS, BV), pp. 814–819.
SEKE-2008-DavidBP #development: Supporting Context-awareness in Web-based Groupware Development (JMND, MRSB, JAP), pp. 820–823.
SEKE-2008-SandersZ #contract #design #execution #java: Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts (SMS, CZ), pp. 824–829.
SEKE-2008-LiuLTH #composition #empirical #object-oriented: An Empirical Study on Modularization of Object Oriented Software (JL, BL, CKT, KH), pp. 830–835.
SEKE-2008-Wotawa #modelling #slicing: Bridging the Gap Between Slicing and Model-based Diagnosis (FW), pp. 836–841.
SEKE-2008-HuS #design pattern #detection #dynamic analysis #java #source code: Dynamic Analysis and Design Pattern Detection in Java Programs (LH, KS), pp. 842–846.
SEKE-2008-MarquesMNF #approach #interface #ontology #semantics #using #web #web service: Active Ontologies — an Approach for Using Ontologies as Semantic Web Services Interfaces (TCM, MGM, JCCN, PPMF), pp. 847–852.
SEKE-2008-DaiYZG #approach #composition #predict #self #web #web service: Failure Prediction Based Self-healing Approach for Web Service Composition (YD, LY, BZ, KG), pp. 853–856.
SEKE-2008-WuC #analysis #data transformation: A Wed-based data Management and Analysis System for CO2 Capture (YW, CWC), pp. 857–860.
SEKE-2008-CheonCLC #constraints #performance #random testing #testing: Integrating Random Testing with Constraints for Improved Efficiency and Diversity (YC, AC, GTL, MC), pp. 861–866.
SEKE-2008-MurphyKHW #machine learning #testing: Properties of Machine Learning Applications for Use in Metamorphic Testing (CM, GEK, LH, LW), pp. 867–872.
SEKE-2008-HittleG #fault #file system #injection #testing #using: Fault Injection Testing of User-space File Systems Using Traditional and Aspect-based Techniques (JH, SG), pp. 873–876.
SEKE-2008-SouiKAU #evaluation #information management #personalisation: Evaluation of Personalized Information Systems: Application in Intelligent Transport System (MS, CK, MA, GU), pp. 877–880.
SEKE-2008-SamimiM #composition #distributed #named: Dynamis: Dynamic Overlay Service Composition for Distributed Stream Processing (FAS, PKM), pp. 881–886.
SEKE-2008-FilhoSPLA #middleware #mobile #named #pervasive: Wings4Symbian: A Pervasive Computing Middleware for Symbian OS Mobile Devices (OCSF, DFSS, AP, EL, HOdA), pp. 887–892.
SEKE-2008-ZhangH #approach #middleware #owl #pervasive: An OWL/SWRL Based Diagnosis Approach in a Pervasive Middleware (WZ, KMH), pp. 893–898.
SEKE-2008-NicaPW #automation #constraints #deployment: A Constraint Model for Automated Deployment of Automotive Control Software (MN, BP, FW), pp. 899–904.
SEKE-2008-AltahatET #analysis #detection #diagrams #graph transformation #interactive #uml: Applying Critical Pair Analysis in Graph Transformation Systems to Detect Syntactic Aspect Interaction in UML State Diagrams (ZA, TE, LT), pp. 905–911.
SEKE-2008-OliveiraO #approach #comparison #difference: Model Comparison: a Strategy-Based Approach (KSFO, TCdO), pp. 912–917.
SEKE-2008-MenckeKD #metric #ontology #towards: Towards Metrics for Ontology Balance (SM, MK, RRD), pp. 918–922.
SEKE-2008-Rajapakse #mobile #taxonomy: Techniques for De-fragmenting Mobile Applications: A Taxonomy (DCR), pp. 923–928.
SEKE-2008-BalushiSPCL #identification #ontology #quality #using: Identifying NFRs Conflicts Using Quality Ontology (THAB, PRFS, MP, ÓC, PL), pp. 929–934.
SEKE-2008-MuhlenfeldMMS #execution #modelling #ontology #process #using: Ontology-based Process Modeling and Execution Using STEP/EXPRESS (AM, WM, FM, MS), pp. 935–940.

Proceedings of the 20th International Conference on Software Engineering and Knowledge EngineeringSEKE, 2008.

Contents (166 items)

Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering
SEKE, 2008.