default search action
18th SEKE 2006: San Francisco, CA, USA
- Kang Zhang, George Spanoudakis, Giuseppe Visaggio:
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), San Francisco, CA, USA, July 5-7, 2006. 2006, ISBN 1-891706-18-7
Keynotes
- Ron Hira:
Outsourcing America. SEKE 2006: 1-2 - Kuo-Wei Hwang:
Information Services in Service Oriented Architecture-Challenges and Opportunities. SEKE 2006: 2 - Gordon Simpson:
A Pragmatic Approach to Enterprise Services Orientation. SEKE 2006: 3
Aspect-Oriented and Collaborative Systems
- Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami:
Aspect-Oriented and Collaborative Systems Metamodel Access Protocols for Extensible Aspect-Oriented Modeling. SEKE 2006: 4-10 - Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He:
Modeling Complex Software Systems Using an Aspect Extension of Object-Z. SEKE 2006: 11-16 - Uirá Kulesza, Carlos José Pereira de Lucena, Paulo S. C. Alencar, Alessandro Garcia:
Customizing Aspect-Oriented Variabilities using Generative Techniques. SEKE 2006: 17-22 - Saeko Matsuura, Hiroki Kurihara:
Collaboration Support Model of Software Development Experiment. SEKE 2006: 23-28 - Flavio De Paoli, Marco Loregian:
Enhancing Semantic Interoperability in Collaborative Systems. SEKE 2006: 29-34
Rule-Based Systems
- Ig Ibert Bittencourt, Marcos Tadeu, Evandro de Barros Costa:
Rule-Based Systems Combining AI Techniques into a Legal Agent-based Intelligent Tutoring System. SEKE 2006: 35-40 - Chin-Jung Huang, Min-Yuan Cheng:
Using Conditional Probability to Measure Rule-based Knowledge Similarity. SEKE 2006: 41-44 - Abdelhamid Bouchachia, Daniel Wakounig:
Reverse Engineering of Rule-based Systems. SEKE 2006: 45-50 - Chin-Jung Huang, Min-Yuan Cheng:
A New Method of Value-Adding Treatment Inference for Rule-based Uncertainty Knowledge. SEKE 2006: 51-56 - Christopher W. Lehman, Mary Jane Willshire:
A Rule-Based Expert System for the Diagnosis of Convergence Problems in Circuit Simulation. SEKE 2006: 57-60
Data Mining
- Shao-Shin Hung, Damon Shing-Min Liu:
Using Data Mining Schemes for Improvement on System Performance in Virtual Environments. SEKE 2006: 61-66 - Sílvio César Cazella, Luis Otávio Campos Alvares:
An architecture based on multi-agent system and data mining for recommending research papers and researchers. SEKE 2006: 67-72 - Xiaoyuan Wu, Shen Huang, Yong Yu:
Salient Phrases-based Clustering and Ranking in Chinese Bulletin Board System. SEKE 2006: 73-78 - Vania Bogorny, Paulo Martins Engel, Luis Otávio Alvares:
GEOARM: an Interoperable Framework to Improve Geographic Data Preprocessing and Spatial Association Rule Mining. SEKE 2006: 79-84 - Jia Zeng, Reda Alhajj:
Classification by Multi-Perspective Representation Method. SEKE 2006: 85-90
Software Architecture
- David Garlan, Bradley R. Schmerl:
An Architecture for Personal Cognitive Assistance. SEKE 2006: 91-97 - Mourad Oussalah, Dalila Tamzalit, Olivier Le Goaër, Abdelhak Seriai:
Updating Styles Challenge Updating Needs within Component-based Software Architectures. SEKE 2006: 98-101 - Seonah Lee, Sungwon Kang:
Verifying a Software Architecture Reconstruction Framework with a Case Study. SEKE 2006: 102-107 - Rik Farenhorst, Remco C. de Boer, Robert Deckers, Patricia Lago, Hans van Vliet:
What's in Constructing a Domain Model for Sharing Architectural Knowledge? SEKE 2006: 108-113 - Helge Hofmeister, Guido Wirtz:
A Pattern Taxonomy for Business Process Integration Oriented Application Integration. SEKE 2006: 114-119
Verification & Decision Support
- Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon:
A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications. SEKE 2006: 120-125 - Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves:
A PVS Approach to Verifying ORA-SS Data Models. SEKE 2006: 126-131 - Jim McElroy, Günther Ruhe:
Decision Support for Resource-centric Software Release Planning. SEKE 2006: 132-137 - Kevin McDaid, Des Greer, Frank Keenan, Paul Prior, Gerry Coleman, Philip S. Taylor:
Managing Uncertainty in Agile Release Planning. SEKE 2006: 138-143 - Sven Ziemer, Pedro R. Falcone Sampaio, Tor Stålhane:
A Decision Modelling Approach for Analysing Requirements Configuration Trade-offs in Timeconstrained Web Application Development. SEKE 2006: 144-149
Databases
- Ying Liu, Beth Plale:
Multi-model Based Optimization for Stream Query Processing. SEKE 2006: 150-155 - Leopoldo Zepeda, Matilde Celma:
Applying MDA to the Conceptual Design of Data Warehouses. SEKE 2006: 156-161 - André Luís Andrade Menolli, Maria Madalena Dias:
A Data Warehouse Architecture in Layers for Science and Technology. SEKE 2006: 162-165 - Stéphane Jean, Yamine Aït Ameur, Guy Pierra:
Querying Ontology Based Databases - The OntoQL Proposal. SEKE 2006: 166-171 - Rodrigo O. Spínola, Jobson Luiz Massolar da Silva, Guilherme Horta Travassos:
Towards a Conceptual Framework to Classify Ubiquitous Software Projects. SEKE 2006: 172-175
Software Development
- Marco Scotto, Alberto Sillitti, Giancarlo Succi:
Open Source Development Process: a Review. SEKE 2006: 176-181 - Zhuo Yin, Jianmin Wang:
Organizational Programming: Hierarchy Software Construction. SEKE 2006: 182-187 - Isabel María del Águila, Joaquín Cañadas, José T. Palma, Samuel Túnez:
Towards a Methodology for Hybrid Systems Software Development. SEKE 2006: 188-193 - Sukanya Ratanotayanon, Jigar Kotak, Susan Elliott Sim:
After the Scrum: Twenty Years of Working without Documentation. SEKE 2006: 194-199 - Scott A. Bailey, Susan Elliott Sim:
Applying Models of Technology Adoption to Software Tools and Methods: An Empirical Study. SEKE 2006: 200-205
Empirical SE
- Ernest Cachia, Mark Micallef:
Measuring the Usability of Online Stores. SEKE 2006: 206-211 - Soo Ho Chang, Hyun Jung La, Soo Dong Kim:
Key Issues and Metrics for Evaluating Product Line Architectures. SEKE 2006: 212-219 - Taghi M. Khoshgoftaar, Jason Van Hulse:
Multiple Imputation of Software Measurement Data: A Case Study. SEKE 2006: 220-226 - Taghi M. Khoshgoftaar, Chris Seiffert, Jason Van Hulse:
Polishing Noise in Continuous Software Measurement Data. SEKE 2006: 227-231 - Benjamin N. Hoipkemier, Nicholas A. Kraft, Brian A. Malloy:
3D Visualization of Class Template Diagrams for Deployed Open Source Applications. SEKE 2006: 232-235 - Jason O. Hallstrom, Andrew R. Dalton, Neelam Soundarajan:
Parallel Monitoring of Design Pattern Contracts. SEKE 2006: 236-241 - Liguo Yu, Kai Chen:
An Empirical Study of the Maintenance Effort. SEKE 2006: 242-245 - Silvia Teresita Acuña, Marta Gómez, Ramón Rico:
Experimental Study on the Impact of Team Climate on Software Quality. SEKE 2006: 246-251 - Chi-Hung Chi, Jun-Li Yuan, Lin Liu:
Web Object Cacheability How Much Do We Know? SEKE 2006: 252-255 - Syed Waseem Haider, João W. Cangussu:
Bayesian Estimation of Defects based on Defect Decay Model: BayesED3M. SEKE 2006: 256-261
Component
- Hyggo Oliveira de Almeida, Angelo Perkusich, Glauber Ferreira, Emerson Loureiro, Evandro de Barros Costa:
A Component Model to Support Dynamic Unanticipated Software Evolution. SEKE 2006: 262-267 - Wei Sun, Xin Zhang, Ying Liu, Zhong Tian:
Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution. SEKE 2006: 268-273 - Nigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti:
Container-Based Component Deployment: A Case Study. SEKE 2006: 274-277 - Manasi Kelkar, Melanie Smith, Rose F. Gamble:
Interaction Partnering Criteria for COTS Components. SEKE 2006: 278-283 - Yan Li, Ying Pan, Lu Zhang, Bing Xie, Jiasu Sun:
Ranking Component Retrieval Results by Leveraging User History Information. SEKE 2006: 284-289
Components and Evolution
- Zhijiang Dong, Yujian Fu, Xudong He:
A Framework for Component-based System Modeling. SEKE 2006: 290-295 - Dalila Tamzalit, Nassima Sadou, Mourad Oussalah:
Evolution problem within Component-Based Software Architecture. SEKE 2006: 296-301 - Kamran Sartipi, Hossein Safyallah:
Application of Execution Pattern Mining and Concept Lattice Analysis on Software Structure Evaluation. SEKE 2006: 302-308 - Ji Hyeok Kim, Sung Yul Rhew, Soo Dong Kim:
A Practical Quality Model for Evaluating Business Components. SEKE 2006: 309-314 - Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson:
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification. SEKE 2006: 315-320 - Neelam Soundarajan, Jason O. Hallstrom:
Pattern-Based System Evolution: A Case-Study. SEKE 2006: 321-326
Ontologies
- Scott Henninger, Padmapriya Ashokkumar:
An Ontology-Based Metamodel for Software Patterns. SEKE 2006: 327-330 - Alain April, Jean-Marc Desharnais, Reiner R. Dumke:
A Formalism of Ontology to Support a Software Maintenance Knowledge-based System. SEKE 2006: 331-336 - S. Thaddeus, S. V. Kasmir Raja:
Ontology-driven Model for Knowledge-Based Software Engineering. SEKE 2006: 337-342 - Taiseera Hazeem Al Balushi, Pedro R. Falcone Sampaio, Divyesh Dabhi, Pericles Loucopoulos:
Performing Requirements Elicitation Activities Supported by Quality Ontologies. SEKE 2006: 343-348 - Hans-Jörg Happel, Axel Korthaus, Stefan Seedorf, Peter Tomczyk:
KOntoR: An Ontology-enabled Approach to Software Reuse. SEKE 2006: 349-354
Programming Languages
- Benjamin Tyler, Neelam Soundarajan:
Automatic Monitoring of Control-flow Through Inheritance Hierarchies. SEKE 2006: 355-358 - Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai:
A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics. SEKE 2006: 359-362 - Faizan Javed, Marjan Mernik, Alan P. Sprague, Barrett R. Bryant:
Incrementally Inferring Context-Free Grammars for Domain-Specific Languages. SEKE 2006: 363-368 - Bo Chen, Zhoujun Li, Huowang Chen:
Supporting Connector in Programming Language. SEKE 2006: 369-374 - Djuradj Babich, Kayan Chiu, Peter J. Clarke:
TaxTOOLJ: A Tool to Catalog Java Classes. SEKE 2006: 375-380
Security
- Li Yang, Joseph M. Kizza, Raimund K. Ege, Malek Adjouadi:
A Relationship-based Flexible Authorization Framework for Mediation Systems. SEKE 2006: 381-385 - Antonio Maña, Francisco Sánchez-Cid, Daniel Serrano, Antonio Muñoz:
Towards Secure Ambient Intelligence Scenarios. SEKE 2006: 386-391 - Joshua J. Pauli, Dianxiang Xu:
Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems. SEKE 2006: 392-397 - Ohm Sornil, Pattree Sidthikorn:
Improving Intrusion Detection Systems Using Reference Vectors. SEKE 2006: 398-403 - Matthias Merz:
Using the Dynamic Proxy Approach to Introduce Role-Based Security to Java Data Objects. SEKE 2006: 404-409 - Ling Zhang, Jianping Yin, Mengjun Li, Jieren Cheng:
A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization. SEKE 2006: 410-415
Knowledge Acquisition
- Pietro Mazzoleni, Stefano Valtolina, Stefano Franzoni, Piero Mussio, Elisa Bertino:
Towards a contextualized access to the cultural heritage world using 360 Panoramic Images. SEKE 2006: 416-419 - Catherine Howard, Markus Stumptner:
Object and Knowledge Modeling for Impact Fusion. SEKE 2006: 420-425 - Éric Grégoire, Du Zhang:
A Framework for Fusing Consistent Knowledge Bases Automatically. SEKE 2006: 426-431 - Xin Li, Shi-Kuo Chang:
User Profiling in the Chronobot/Virtual Classroom System. SEKE 2006: 432-439
Formal Methods
- Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi:
Falsification of OTSs by Searches of Bounded Reachable State Spaces. SEKE 2006: 440-445 - Samira Sadaoui, Sudhanshu Singh:
Implementation of CafeOBJ Specifications to Java Code. SEKE 2006: 446-449 - Maria Francesca Costabile, Daniela Fogli, Andrea Marcante, Piero Mussio, Antonio Piccinno:
Nogueira A Design Methodology for Tailorable Visual Interactive Systems. SEKE 2006: 450-455 - Ying Huang, Xudong He:
A Method for Modeling Object-Oriented Systems with PZ nets. SEKE 2006: 456-462 - Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He:
Achieving a Better Middleware Design through Formal Modeling and Analysis. SEKE 2006: 463-468 - Débora Maria Barroso Paiva, André Pimenta Freire, Renata Pontin de Mattos Fortes:
Design Rationale in Academic Software Development: Requirements for a Representation Model. SEKE 2006: 469-472
Testing
- W. Eric Wong, Sharath Rao, John Linn, James Overturf:
Coverage Testing Embedded Software on Symbian/OMAP. SEKE 2006: 473-478 - Johannes Mayer:
Efficient and Effective Random Testing based on Partitioning and Neighborhood. SEKE 2006: 479-484 - Michael E. Shin, Yan Xu:
Enhanced Anomaly Detection in Self-Healing Components. SEKE 2006: 485-488 - Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D'Hondt:
Program Testing Using High-Level Property-Driven Models. SEKE 2006: 489-494 - Mohammed Benattou:
A Multi-Agent Based Architecture For Distributed Testing. SEKE 2006: 495-498 - Rattikorn Hewett, Aniruddha Kulkarni, Catherine Stringfellow, Anneliese Amschler Andrews:
Software Defect Data and Predictability for Testing Schedules. SEKE 2006: 499-504 - Orest Pilskalns, Anneliese Amschler Andrews:
Using UML Designs to Generate OCL for Security Testing. SEKE 2006: 505-510 - Ledyvânia Franzotte, Silvia Regina Vergilio:
Applying Mutation Testing in XML Schemas. SEKE 2006: 511-516 - Changhai Nie, Baowen Xu, Liang Shi, Ziyuan Wang:
A New Heuristic for Test Suite Generation for Pair-wise Testing. SEKE 2006: 517-521 - Ellen Francine Barbosa, Elisa Yumi Nakagawa, José Carlos Maldonado:
Towards the Establishment of an Ontology of Software Testing. SEKE 2006: 522-525
Web Services
- Michael Jiang, Anant Athale, Zhihui Yang, Rajarshi Chatterjee, Jay Acharya:
Automating the Implementation of Mobile Applications and Services. SEKE 2006: 526-531 - Zhuopeng Zhang, Jian Kang, Hongji Yang:
UML Modelling Web Applications via Formal Concept Analysis. SEKE 2006: 532-535 - Wolfgang Mayer, Markus Stumptner:
Debugging Failures in Web Services Coordination. SEKE 2006: 536-543 - Jing Dong, Yongtao Sun, Sheng Yang:
OWL-S Ontology Framework Extension for Dynamic Web Service Composition. SEKE 2006: 544-549 - Vládia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness:
WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-Based Systems. SEKE 2006: 550-555
UML and Modeling
- Xing-Yi Lin, Ching-Hui Wang, William C. Chu, Chihhsiong Shih:
UML and Modeling A Use Case Model and its Transformation to Activity Diagram. SEKE 2006: 556-561 - W. C. Piao, C. H. Wang, William C. Chu, Lung-Pin Chen:
An Analysis Model of Activity Diagram in UML 2.0. SEKE 2006: 562-567 - Asghar Bokhari, W. F. Skip Poehlman:
Translation of UML Models to Object Coloured Petri Nets with a view to Analysis. SEKE 2006: 568-571 - Farid Mokhati, Mourad Badri, Patrice Gagnon:
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. SEKE 2006: 572-577 - Lijun Shan, Hong Zhu:
Specifying Consistency Constraints for Modelling Languages. SEKE 2006: 578-583
Web & Workflow Management
- Olivier Buchwalder, Claude Petitpierre:
WebLang: A Language for Modeling and Implementing Web Applications. SEKE 2006: 584-590 - Lerina Aversano, Gerardo Canfora, Corrado Aaron Visaggio:
WECAP: A Web Environment for Project Planning. SEKE 2006: 591-594 - Walid Gaaloul, Claude Godart:
A Workflow Mining Tool based on Logs Statistical Analysis. SEKE 2006: 595-600 - Igor Steinmacher, José Valdeni de Lima, Elisa Hatsue Moriya Huzita:
Task Anticipation: A Quantitative Analysis Using Workflow Process Simulation. SEKE 2006: 601-606 - Chi-Hung Chi, Mu Su, Lin Liu, Hongguang Wang:
AN.P2P - an Active Peer-to-peer System. SEKE 2006: 607-612
AAIEPESE Workshop AAIEPESE'06
- Ni-Bin Chang:
AAIEPESE Keynote: Artificial Intelligence and Environmental Systems Engineering. SEKE 2006: 613-618 - Kaddour Boukerche, Hakim Lounis:
Reengineering a Rule-Based System towards a Planning System. SEKE 2006: 619-624 - Swapna S. Gokhale, Sherif M. Yacoub:
Reliability Analysis of Pipe and Filter Architecture Style. SEKE 2006: 625-630 - Mark A. J. Song, Luis E. Zárate, Sérgio M. Dias, Ana Alvarez, Bruno Soares, Bruno M. Nogueira, Renato Vimieiro, Tadeu R. A. Santos, Newton Vieira:
SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study. SEKE 2006: 631-638
AOSDM Workshop
Multi-Agent Models
- XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang:
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. SEKE 2006: 639-644 - Walid Chainbi:
An Ontology Based Multi-Agent System Conceptual Model. SEKE 2006: 645-650 - Liang Xiao, Des Greer:
A Hierarchical Agent-oriented Knowledge Model for Multi-Agent Systems. SEKE 2006: 651-656 - Gemma Grau, Carlos Cares, Xavier Franch, Fredy Navarrete:
A Comparative Analysis of i*Agent-Oriented Modelling Techniques. SEKE 2006: 657-663 - Nao Li, Mingshu Li, Qing Wang, Shuanzhu Du:
A Negotiation Model for the Process Agents in an Agent-Based Process-Centered Software Engineering Environment. SEKE 2006: 664-669
Agent-Oriented Development
- Zuohua Ding:
A Formal Architectural Model For Mobile Service Systems. SEKE 2006: 670-675 - Maria Madalena Dias, Roberto Carlos dos Santos Pacheco, Lúcio Gerônimo Valentim:
An Environment of Knowledge Discovery in Database. SEKE 2006: 676-681 - Aneesh Krishna, Rodney J. Clarke, Aditya K. Ghose:
Genre-based approach to Requirements Elicitation. SEKE 2006: 682-687 - Jan Stender, Silvan Kaiser, Sahin Albayrak:
Mobility-based Runtime Load Balancing in Multi-Agent Systems. SEKE 2006: 688-696
EECC Workshop
Web Service Composition
- Michelle Hepner, Michael Todd Gamble, Rose F. Gamble:
Elevating Interaction Requirements for Web Service Composition. SEKE 2006: 697-701 - Luc Fabresse, Christophe Dony, Marianne Huchard:
Unanticipated Connection of Components Based on Their State Changes Notifications. SEKE 2006: 702-707 - Jochen Meis, Lothar Schöpe:
Service Design with the ServiceBlueprint. SEKE 2006: 708-713 - Michael Mrissa, Chirine Ghedira, Djamal Benslimane, Zakaria Maamar:
Towards Context-based Mediation for Semantic Web Services Composition. SEKE 2006: 714-719
Component-Based Systems
- Liangli Ma, Yansheng Lu, Mengren Liu:
The Research and Design of Layered-metadata used for Component-based Software Testing. SEKE 2006: 720-723 - Shih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Mihran Tuceryan, Andrew M. Olson, Mikhail Auguston:
QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems. SEKE 2006: 724-729 - Yong Zhang, Ningjiang Chen, Jun Wei, Tao Huang:
Performance Evaluation of Component System based on Container style Middleware. SEKE 2006: 730-736 - Liguo Yu, Kai Chen:
Two Perspectives on Open-Source Software Evolution: Maintenance and Reuse. SEKE 2006: 737-742
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.