


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














