Conferences in DBLP
Bruce M. McMillin Future Trends: Computing as a Core Discipline. [Citation Graph (0, 0)][DBLP ] Conf ] Yi Wang , Jianjun Zhao Specifying Pointcuts in AspectJ. [Citation Graph (0, 0)][DBLP ] Conf ] David Card Challenges and Experiences in Industry-University Research Collaboration and Technology Transition. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Bellavista "Middleware for Next-Generation Converged Networks and Services: Myths or Reality?". [Citation Graph (0, 0)][DBLP ] Conf ] Damijan Rebernak , Marjan Mernik A tool for compiler construction based on aspect-oriented specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Sahra Sedigh Ethics in Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Doo-Hwan Bae Software Process Improvement for Small Organizations. [Citation Graph (0, 0)][DBLP ] Conf ] Cyrille Artho , Zhongwei Chen , Shinichi Honiden AOP-based automated unit test classification of large benchmarks. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Chen Plenary Panel Title: Software for the Mobile Inter. [Citation Graph (0, 0)][DBLP ] Conf ] Rajesh Subramanyan Test Automation in Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Kung Chen , Ju-Bing Chen Aspect-Based Instrumentation for Locating Memory Leaks in Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Navya Sidharth , Jigang Liu A Framework for Enhancing Web Services Security. [Citation Graph (0, 0)][DBLP ] Conf ] Dapeng Liu , Shaochun Xu A Combined Concept Location Method for Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yunfa Li , Hai Jin , Deqing Zou , Jieyun Chen , Zongfen Han A Scalable Service Scheme for Secure Group Communication in Grid. [Citation Graph (0, 0)][DBLP ] Conf ] Xia Wang , Johnny Wong An End-to-end Detection of Wormhole Attack in Wireless Ad-hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Book , Volker Gruhn An Instant Messaging Framework for Flexible Interaction with Rich Clients. [Citation Graph (0, 0)][DBLP ] Conf ] Jerry Zeyu Gao , Lekshmi Prakash , Rajini Jagatesan Understanding 2D-BarCode Technology and Applications in M-Commerce - Design and Implementation of A 2D Barcode Processing Solution. [Citation Graph (0, 0)][DBLP ] Conf ] Munirul M. Haque , Sheikh Iqbal Ahamed An Omnipresent Formal Trust Model (FTM) for Pervasive Computing Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Ning Liu , Rong Li , Zhenyu Yang , Hongyang Chao An Optimization Method for Real-Time Natural Phenomena Simulation on WinCE Platform. [Citation Graph (0, 0)][DBLP ] Conf ] Munirul M. Haque , Sheikh Iqbal Ahamed , Haifeng Li , K. M. Ibrahim Asif An Authentication based Lightweight Device Discovery (ALDD) Model for Pervasive Computing Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Vu Hong Khiem , Kibong Kang , Keung Hae Lee MiniWap: Navigating WAP with Minimo. [Citation Graph (0, 0)][DBLP ] Conf ] Komsan Srivisut , Pornsiri Muenchaisri Defining and Detecting Bad Smells of Aspect-Oriented Software. [Citation Graph (0, 0)][DBLP ] Conf ] Chun-Yen Hsu , Jean-Lien C. Wu , Shun-Te Wang A One-Dimensional Probabilistic Model of Wireless Multihop Internet Access. [Citation Graph (0, 0)][DBLP ] Conf ] Yan Li , Shaobin Cheng , Lu Zhang , Bing Xie , Jiasu Sun Mining User Query Logs to Refine Component Description. [Citation Graph (0, 0)][DBLP ] Conf ] Yingfang Fu , Jingsha He , Guorui Li A Distributed Intrusion Detection Scheme for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Venkata U. B. Challagulla , Farokh B. Bastani , Raymond A. Paul , Wei-Tek Tsai , Yinong Chen A Machine Learning-Based Reliability Assessment Model for Critical Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Celso Maciel da Costa , Marcelo da Silva Strzykalski , Guy Bernard An Aspect Oriented Middleware Architecture for Adaptive Mobile Computing Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Xiang Fu , Xin Lu , Boris Peltsverger , Shijun Chen , Kai Qian , Lixin Tao A Static Analysis Framework For Detecting SQL Injection Vulnerabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Jui-Nan Lin , Jiun-Long Huang A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development. [Citation Graph (0, 0)][DBLP ] Conf ] Rui Chen , Yibin Hou , Zhang-Qin Huang , Zhang Yong , Hui Li Framework for Local Ambient Intelligence Space: The AmI-Space Project. [Citation Graph (0, 0)][DBLP ] Conf ] Ghizlane El-Boussaidi , Hafedh Mili A model-driven framework for representing and applying design patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Travis Service , Daniel Tauritz , William Siever Infrastructure Hardening: A Competitive Coevolutionary Methodology Inspired by Neo-Darwinian Arms Races. [Citation Graph (0, 0)][DBLP ] Conf ] Li Zhang , Zhen-lian Shi , Qi Shen A Service Discovery Architecture based on Anycast in Pervasive Computing Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Shihui Wang , Yan Zhang , Wei Wang Reliable Self-Clustering P2P Overlay Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Treu , Johannes Martens , Matthias Schicker , Marc Breisinger , Axel Küpper Vs Golf - Developing Location-based Multi-Player Games. [Citation Graph (0, 0)][DBLP ] Conf ] Gautier Bastide , Abdelhak Seriai , Mourad Oussalah Software Component Re-engineering for their Runtime Structural Adaptation. [Citation Graph (0, 0)][DBLP ] Conf ] Ming-Hsien Yu , Hsing Mei Speed-Based Mobility Management for Heterogeneous Wireless Networks Interworking. [Citation Graph (0, 0)][DBLP ] Conf ] Tao Wei , Jian Mao , Wei Zou , Yu Chen Structuring 2-way Branches in Binary Executables. [Citation Graph (0, 0)][DBLP ] Conf ] Sindolfo Miranda Filho , Luiz Eduardo Cunha Leite , Guido Lemos de Souza Filho , Silvio Romero de Lemos Meira FLEXCM - A Component Model for Adaptive Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Weider D. Yu , Sunita Sharma A Mobile Database Design Methodology for Mobile Software Solutions. [Citation Graph (0, 0)][DBLP ] Conf ] Sukhamay Kundu Structuring Software Functional Requirements For Automated Design And Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Sang-Kyun Kim , Kyu-Chul Lee Trend Analysis using a TemporalWeb Ontology Language in News Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Xiangzhong Feng Construction of Collaborative Design Environment Based on Multi-Agent. [Citation Graph (0, 0)][DBLP ] Conf ] Xiping Song , Beatrice Hwong , Gilberto Matos , Arnold Rudorfer Understanding and Classifying Requirements for Computer-Aided Healthcare Workflows. [Citation Graph (0, 0)][DBLP ] Conf ] Jia Chen , Yue Wu , Ming Li , Bei Hui Multi-Agent System-based Hierarchy Grid Middleware. [Citation Graph (0, 0)][DBLP ] Conf ] Dubravka Ilic Deriving Formal Specifications from Informal Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Yong-Feng Lin , Jason Jen-Yen Chen OWL-Based Description for Agent Interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Chih-Wei Lu , William C. Chu , Chih-Hung Chang , Ching-Huey Wang A Model-based Object-oriented Approach to Requirement Engineering (MORE). [Citation Graph (0, 0)][DBLP ] Conf ] Liang Xiao 0002 , Dave Robertson , Madalina Croitoru , Paul H. Lewis , Srinandan Dashmapatra , David Dupplaw , Bo Hu Adaptive Agent Model: an Agent Interaction and Computation Model. [Citation Graph (0, 0)][DBLP ] Conf ] Liwen Lin , Suzanne M. Embury , Brian Warboys Tool Support to Implementing Business Rules in Database Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Huang , Elia El-Darzi , Li Jin Extending the Gaia Methodology for the Design and Development of Agent-based Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ahlem Ben Younes , Leila Jemni Ben Ayed Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Wang Dan , Zhao Rongjuan An Ontology-based Semantic Resource Sharing Model in P2P System. [Citation Graph (0, 0)][DBLP ] Conf ] Moshiur Bhuiyan , M. M. Zahidul Islam , Aneesh Krishna , Aditya Ghose Integration of Agent-Oriented Conceptual Models and UML Activity Diagrams Using Effect Annotations. [Citation Graph (0, 0)][DBLP ] Conf ] Aditya Ghose , George Koliadis Actor Eco-systems: From High-Level Agent Models to Executable Processes via Semantic Annotations. [Citation Graph (0, 0)][DBLP ] Conf ] Bei-Bei Yin , Cheng-Gang Bai , Kai-Yuan Cai A Data Mining Approach for Software State Definition. [Citation Graph (0, 0)][DBLP ] Conf ] Mehmet A. Orgun Intelligent Agents and P2P Semantic Web. [Citation Graph (0, 0)][DBLP ] Conf ] Atilla Elçi A Distress Call: Needing Tools to Large-Scale Semantic-Aware Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Masoud Mohammadian Semantic Web and Intelligent Agents Research and Practice Masoud Mohammadian. [Citation Graph (0, 0)][DBLP ] Conf ] Zong-yong Li , Zhi-xue Wang , Ying-ying Yang , Yue Wu , Ying Liu Towards a Multiple Ontology Framework for Requirements Elicitation and Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Jian Xiang , Lin Liu , Wei Qiao , Jingwei Yang SREM: A Service Requirements Elicitation Mechanism based on Ontology. [Citation Graph (0, 0)][DBLP ] Conf ] Fevzi Belli , Mubariz Eminov , Nida Gökçe Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Qianxiang Wang Qianxiang Wang. [Citation Graph (0, 0)][DBLP ] Conf ] Wen Zhou , Zongtian Liu , Yan Zhao Ontology Learning by Clustering Based on Fuzzy Formal Concept Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen S. Yau , Dazhi Huang , Luping Zhu An Approach to Adaptive Distributed Execution Monitoring for Workflows in Service-based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yikun Zhang , Peng Yin , Du-Wu Cui , Hui Xia A Method of Requirement Inconsistency Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Vishal Sadana , Xiaoqing Frank Liu Analysis of Conflicts among Non-Functional Requirements Using Integrated Analysis of Functional and Non-Functional Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Harald A. Stieber A Family of Software Reliability Growth Models. [Citation Graph (0, 0)][DBLP ] Conf ] Xiao He , Zhiyi Ma , Weizhong Shao , Ge Li A metamodel for the notation of graphical modeling languages. [Citation Graph (0, 0)][DBLP ] Conf ] Shuchao Wan , Jun Wei , Jingyu Song , Hua Zhong A Satisfaction Driven Approach for the Composition of Interactive Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Yu Social Modeling for System Security. [Citation Graph (0, 0)][DBLP ] Conf ] Lin Liu , Zhi Jin , Ruqian Lu Towards Controllable Requirements Engineering Processes based on Cybernetics. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoming Zhang Knowledge Hiding in Data Mining by Transaction Adding and Removing. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoying Bai , Yinong Chen , Zhongkui Shao Adaptive Web Services Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Hai Hu , Chang-Hai Jiang , Kai-Yuan Cai , W. Eric Wong A Control-Theoretic Approach to QoS Adaptation in Data Stream Management Systems Design. [Citation Graph (0, 0)][DBLP ] Conf ] Clarissa Cassales Marquezan , Carlos Raniery Paula dos Santos , Ewerton Monteiro Salvador , Maria Janilce Bosquiroli Almeida , Sergio Luis Cechin , Lisandro Zambenedetti Granville Performance Evaluation of Notifications in a Web Services and P2P-Based Network Management Overlay. [Citation Graph (0, 0)][DBLP ] Conf ] Mohammad Gias Uddin , Hossain Shahriar , Mohammad Zulkernine ACIR: An Aspect-Connector for Intrusion Response. [Citation Graph (0, 0)][DBLP ] Conf ] Jicheng Fu , Farokh B. Bastani , I-Ling Yen Iterative Planning in the Context of Automated Code Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Keqin Li 0002 , Laurent Mounier , Roland Groz Test Generation from Security Policies Specified in Or-BAC. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Li , Zhikun Zhao Automating Dynamic Reconfiguration for Non-Stop Dataflow Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Liang Xiao 0002 , Andrew Peet , Paul H. Lewis , Srinandan Dashmapatra , Carlos Sáez , Madalina Croitoru , Javier Vicente , Horacio González-Vélez , Magí Lluch i Ariet An Adaptive Security Model for Multi-agent Systems and Application to a Clinical Trials Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Kendra Cooper , João W. Cangussu , Eric Wong An Architectural Framework for the Design and Analysis of Autonomous Adaptive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] K. M. Ibrahim Asif , Sheikh Iqbal Ahamed , Nilothpal Talukder Avoiding Privacy Violation for Resource Sharing in Ad hoc Networks of Pervasive Computing Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent C. Hu , Evan Martin , JeeHyun Hwang , Tao Xie Conformance Checking of Access Control Policies Specified in XACML. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Guerin , Katalin Popovici , Wassim Youssef , Frédéric Rousseau , Ahmed Amine Jerraya Flexible Application Software Generation for Heterogeneous Multi-Processor System-on-Chip. [Citation Graph (0, 0)][DBLP ] Conf ] Koen Buyens , Riccardo Scandariato , Wouter Joosen Process Activities Supporting Security Principles. [Citation Graph (0, 0)][DBLP ] Conf ] Graham Hemingway , Hang Su , Kai Chen , T. John Koo A Semantic Anchoring Infrastructure for the Design of Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Limin Shen , Wenwen Jiang , Chunyan Gao Setting and Evaluation of Flexible Points on Software User Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Sérgio Soares , Paulo Borba , Ricardo Lima Concurrency Control Modularization with Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Ramler , Klaus Wolfmaier , Thomas Natschläger Observing Distributions in Size Metrics: Experience from Analyzing Large Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Li , Nan Jiang , Mingshu Li , Qing Wang , Yanwu Yang Tracking Projects through A Three-Dimensional Software Development Model. [Citation Graph (0, 0)][DBLP ] Conf ] Yan Luo , Torsten Bergander , A. Ben Hamza Software Reliability Growth Modelling using aWeighted Laplace Test Statistic. [Citation Graph (0, 0)][DBLP ] Conf ] Hsinyi Jiang , Tien N. Nguyen , Carl K. Chang , Fei Dong Traceability Link Evolution Management with Incremental Latent Semantic Indexing. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Zhang , Hongjun Su A Collaborative System for Software Engineering Education. [Citation Graph (0, 0)][DBLP ] Conf ] Renuka Sindhgatta , Krishnakumar Pooloth Identifying Software Decompositions by Applying Transaction Clustering on Source Code. [Citation Graph (0, 0)][DBLP ] Conf ] Li Jiang , Armin Eberlein A Tool For Requirements Engineering Process Development. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Cardenas Vargas , Hanna Oktaba , Silvia Guardati , Ana Lilia Laureano Agents, Case-Based Reasoning and their relation to the Mexican Software Process Model (MoProSoft). [Citation Graph (0, 0)][DBLP ] Conf ] Yan Liu , Ian Gorton , Liming Zhu Performance Prediction of Service-Oriented Applications based on an Enterprise Service Bus. [Citation Graph (0, 0)][DBLP ] Conf ] Shi Zhang , Linpeng Huang Type-Safe Dynamic Update Transaction. [Citation Graph (0, 0)][DBLP ] Conf ] Qianxiang Wang , Yonggang Liu , Min Li , Hong Mei An Online Monitoring Approach for Web services. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis N. Athanasiadis , Ferdinando Villa , Andrea Emilio Rizzoli Ontologies, JavaBeans and Relational Databases for enabling semantic programming. [Citation Graph (0, 0)][DBLP ] Conf ] Chao Tong , Xiaopeng Gao , Wei Chen , Xiang Long SQS: A Secure and QoS Guaranteed Solution for Mobile Service. [Citation Graph (0, 0)][DBLP ] Conf ] J. García , Antonio Gavilanes , A. Gil , Pedro J. Martín CGR: a Tool for Programming Using Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Jingyu Song , Jun Wei , Shuchao Wan , Hua Zhong An Interaction Instance Oriented Approach for Web Application Integration in Portals. [Citation Graph (0, 0)][DBLP ] Conf ] Yulin Ding , Yan Zhang System Modification Case Studies. [Citation Graph (0, 0)][DBLP ] Conf ] Hsinyi Jiang , Carl K. Chang , Jinchun Xia , Shuxing Cheng A History-Based Automatic Scheduling Model for Personnel Risk Management. [Citation Graph (0, 0)][DBLP ] Conf ] Chunming Gao , Meiling Cai , Huowang Chen QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Shehata , Armin Eberlein , Abraham O. Fapojuwo Managing Policy Interactions in KNX-Based Smart Homes. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoying Bai , Dezheng Xu , Guilan Dai Dynamic Reconfigurable Testing of Service-Oriented Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Yanhong Guo , Guifa Teng , Yueli Li , Fang Wang , Yang Zhao , Jianbin Ma Improvement of Object-Oriented System Analysis and Design with Aspects. [Citation Graph (0, 0)][DBLP ] Conf ] Jing Zhou , Guosun Zeng Validity Checking On Grid Service Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Dafei Yin , Bin Chen , Yu Fang A Fast Replica Selection Algorithm for Data Grid. [Citation Graph (0, 0)][DBLP ] Conf ] Jianjun Pu , Zhuopeng Zhang , Jian Kang , Yang Xu , Hongji Yang Using Aspect Orientation in Understanding Legacy COBOL Code. [Citation Graph (0, 0)][DBLP ] Conf ] Kun Wang , Wuwei Shen Improving the Accuracy of UML Class Model Recovery. [Citation Graph (0, 0)][DBLP ] Conf ] Yiming Lau , Wenyun Zhao , Xin Peng , Shan Tang A Connector-Centric Approach to Aspect-Oriented Software Evolution. [Citation Graph (0, 0)][DBLP ] Conf ] Dalila Tamzalit , Nassima Sadou , Mourad Oussalah Connectors conveying Software Architecture Evolution. [Citation Graph (0, 0)][DBLP ] Conf ] W. K. Chan , Jeffrey C. F. Ho , T. H. Tse Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jingyue Li , Anita Gupta , Jon Arvid Børretzen , Reidar Conradi The Empirical Studies on Quality Benefits of Reusing Software Components. [Citation Graph (0, 0)][DBLP ] Conf ] Yankui Feng , Xiaodong Liu , Jon M. Kerridge A product line based aspect-oriented generative unit testing approach to building quality components. [Citation Graph (0, 0)][DBLP ] Conf ] Jayson P. Vucovich , Robert B. Stone , Xiaoqing Frank Liu , Irem Y. Tumer Risk Assessment in Early Software Design Based on the Software Function-Failure Design Method. [Citation Graph (0, 0)][DBLP ] Conf ] Yiming Yang , Xin Peng , Wenyun Zhao An Automatic Connector Generation Method for Dynamic Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Andres Orrego , Gregory Mundy SRAE: An Integrated Framework for Aiding in the Verification and Validation of Legacy Artifacts in NASA Flight Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marcel F. Van Amstel , Christian F. J. Lange , Michel R. V. Chaudron Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Katerina Goseva-Popstojanova , Margaret Hamill Architecture-Based Software Reliability: Why Only a Few Parameters Matter? [Citation Graph (0, 0)][DBLP ] Conf ] Wentao Zhang , Yan Yang , Shengqun Tang , Lina Fang QoS-driven Service Selection Optimization Model and Algorithms for Composite Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Sai Zhang , Jianjun Zhao On Identifying Bug Patterns in Aspect-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Zhifeng Gu , Juan-Zi Li , Jie Tang , Bin Xu , Ruobo Huang Verification of Web Service Conversations Specified in WSCL. [Citation Graph (0, 0)][DBLP ] Conf ] Shikun Zhou , Xiaodong Liu Quality Metrics for Internet Applications: Developing "New" from "Old". [Citation Graph (0, 0)][DBLP ] Conf ] Chu-Ti Lin , Chin-Yu Huang , Chuan-Ching Sue Measuring and Assessing Software Reliability Growth through Simulation-Based Approaches. [Citation Graph (0, 0)][DBLP ] Conf ] W. Eric Wong , Yu Qi , Lei Zhao , Kai-Yuan Cai Effective Fault Localization using Code Coverage. [Citation Graph (0, 0)][DBLP ] Conf ] Al Davis REFS Keynote: "Requirements for Services: Does it Make Sense?". [Citation Graph (0, 0)][DBLP ] Conf ] Colette Rolland , Rim Samia Kaabi An Intentional Perspective to Service Modeling and Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Jun-Ru Chang , Chin-Yu Huang A Study of Enhanced MC/DC Coverage Criterion for Software Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Changai Sun , Marco Aiello Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bo Qu , Changhai Nie , Baowen Xu , Xiaofang Zhang Test Case Prioritization for Black Box Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Kyriakos Kritikos , Dimitris Plexousakis Requirements for QoS-based Web Service Description and Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Sandy Liu , Bruce Spencer , Yong Liang , Bo Xu , Libo Zhang , Martin Brooks Towards an Agile Infrastructure to Provision Devices, Applications, and Networks: A Service-oriented Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Ying Jin Formal Verification of Protocol Properties of Sequential Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Huey Wang , Feng-Jian Wang An Object-Oriented Modular Petri Nets for Modeling Service Oriented Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Fei Xie , Huaiyu Liu Unified Property Specification for Hardware/Software Co-Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Alan M. Davis , Kesav V. Nori Requirements, Plato's Cave, and Perceptions of Reality. [Citation Graph (0, 0)][DBLP ] Conf ] Dianxiang Xu , Izzat Alsmadi , Weifeng Xu Model Checking Aspect-Oriented Design Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Kai-Yuan Cai Non-Functional Computing: Towards a More Scientific Treatment to Non-Functional Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Xiping Song Developing Non-Functional Requirements for a Service-Oriented Software Platform. [Citation Graph (0, 0)][DBLP ] Conf ] Zhoulin Dai , Gu Yi , Liu Jun , Xu Yi Jie Experiences in Accurately Estimating Electronic Forms Conversion Services with a Spiral Estimate Process. [Citation Graph (0, 0)][DBLP ] Conf ] Jingbo Zhang , Rongcai Zhao , Jianmin Pang Parameter and Return-value Analysis of Binary Executables. [Citation Graph (0, 0)][DBLP ] Conf ] Bo Cheng , Xiang-Wu Meng , Jun-liang Chen An Adaptive User Requirements Elicitation Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Chunming Gao , Huang Tan , Huowang Chen Frameworks of Composite Services Execution Engine with Feedback Control. [Citation Graph (0, 0)][DBLP ] Conf ] Lian Yu , Wenpeng Xiao , Chang Yan Chi , Lin Ma , Hui Su Test Case Generation for Collaborative Real-time Editing Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Moshiur Bhuiyan , M. M. Zahidul Islam , George Koliadis , Aneesh Krishna , Aditya Ghose Managing Business Process Risk Using Rich Organizational Models. [Citation Graph (0, 0)][DBLP ] Conf ] Guilan Dai , Xiaoying Bai , Yongbo Wang , Fengjun Dai Contract-Based Testing for Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] D. Thu Tran , T. B. Tran Huynh A Composite Design Pattern for Object Frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Arvind W. Kiwelekar , Rushikesh K. Joshi Extracting High-level Component-Connector View from Detailed UML Models: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaofeng Cui , Yanchun Sun , Gang Huang , Hong Mei Architectural Adaptation Addressing the Criteria of Multiple Quality Attributes in Mission-Critical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nien-Lin Hsueh , Peng-Hua Chu , Jonathan Lee , William C. Chu A Quality Verification Model for Design Pattern. [Citation Graph (0, 0)][DBLP ] Conf ] Tomotaka Ishii , Tadashi Dohi , Hiroyuki Okamura Bivariate Software Fault-Detection Models. [Citation Graph (0, 0)][DBLP ] Conf ] Zhikun Zhao , Wei Li Dynamic Reconfiguration of Distributed Data Flow Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Asif Qumer , Brian Henderson-Sellers Construction of an Agile Software Product-Enhancement Process by Using an Agile Software Solution Framework (ASSF) and Situational Method Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Cyrille Artho , Klaus Havelund , Shinichi Honiden Visualization of Concurrent Program Executions. [Citation Graph (0, 0)][DBLP ] Conf ] Feng Chen , Hongji Yang Model Oriented Evolutionary Redocumentation. [Citation Graph (0, 0)][DBLP ] Conf ] Chengying Mao AOP-based Testability Improvement for Component-based Software. [Citation Graph (0, 0)][DBLP ] Conf ] Mira Kajko-Mattsson , Mi Ta , Lukas Wilczek State of Modernization Practice in Four Swedish Organizations. [Citation Graph (0, 0)][DBLP ] Conf ] André Ribes , Christian Caremoli Salome platform component model for numerical simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Weigold , Thorsten Kramp , Peter Buhler ePVM - An Embeddable Process Virtual Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Yunxiang Zheng , Lei Li , Hai Wan State-based Process Description Model in Chinese E-government Affair System. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Han , Alan W. Colman The Four Major Challenges of Engineering Adaptive Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Juha Savolainen , Ian Oliver , Varvana Myllärniemi , Tomi Männistö Analyzing and Re-structuring Product Line Dependencies. [Citation Graph (0, 0)][DBLP ] Conf ] Zhuohao Wang , Zhuofeng Zhao , Jun Fang A Service-oriented Approach for Flexible Information Resource Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Dragos Truscan , Tiberiu Seceleanu , Hannu Tenhunen , Johan Lilius Towards a Design Methodology for Multiprocessor Platforms. [Citation Graph (0, 0)][DBLP ] Conf ] Pentti Tarvainen Adaptability Evaluation of Software Architectures; A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Vanilson Arruda Buregio , Eduardo Santana de Almeida , Daniel Lucrédio , Silvio Romero de Lemos Meira Specification, Design and Implementation of a Reuse Repository. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Crouch , Peter Henderson , Robert John Walters DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data. [Citation Graph (0, 0)][DBLP ] Conf ] Liwei Shen , Xin Peng , Wenyun Zhao Decision Support for Dynamic Adaptation of Business Systems Based on Feature Binding Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Ling Li , Shengqun Tang , Lina Fang , Ruliang Xiao , Xinguo Deng , Youwei Xu , Yang Xu VOEditor: a Visual Environment for Ontology Construction and Collaborative Querying of Semantic Web Resources. [Citation Graph (0, 0)][DBLP ] Conf ] Wassiou Sitou , Bernd Spanfelner Towards Requirements Engineering for Context Adaptive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hua Wang , Jing Ying Toward Runtime Self-adaptation Method in Software-Intensive Systems Based on Hidden Markov Model. [Citation Graph (0, 0)][DBLP ] Conf ] Weishan Zhang , Dong Han , Thomas Kunz , Klaus Marius Hansen Mobile Game Development: Object-Orientation or Not. [Citation Graph (0, 0)][DBLP ] Conf ] Wenying Feng , Karan Vij Machine Learning Prediction andWeb Access Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Mahdi Niamanesh , Rasool Jalili A Dynamic-Reconfigurable Architecture for Protocol Stacks of Networked Systems. [Citation Graph (0, 0)][DBLP ] Conf ] JiuYuan Huo , Liqun Liu , Li Liu , Yi Yang , Lian Li A Study on Distributed Resource Information Service in Grid System. [Citation Graph (0, 0)][DBLP ] Conf ] Tiezheng Nie , Guangqi Wang , Derong Shen , Meifang Li , Ge Yu SLA-based Data Integration on Database Grids. [Citation Graph (0, 0)][DBLP ] Conf ] Rafael Ramirez , Andrew E. Santosa A Framework for Separation of Concerns in Concurrent Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Aurélie Aurilla Bechina Arntzen Services Oriented Architecture: integration requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Zhenyu Chen , Baowen Xu , Changhai Nie Comparing Fault-based Testing Strategies of General Boolean Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] M. E. Fayad Patterns Topology for Performance Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Shen Zhang , Yongji Wang , Feng Yuan , Li Ruan Mining Software Repositories to Understand the Performance of Individual Devel. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Vercesi , Alberto Bartoli Adaptive Performance Tuning for Internet-BasedWorkflows. [Citation Graph (0, 0)][DBLP ] Conf ] Chunyang Mu , Lining Sun , Zhijiang Du Method Based on OSEK/VDX Platform Using Model-based and Autocode Technology for Diesel ECU Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Yu , Bin Xu , Hua Hu Towards Capability Maturity in Software Review. [Citation Graph (0, 0)][DBLP ] Conf ] Zhongbin Wang Fuxi: An Agile Development Environment for Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ke Jiang , Lei Zhang , Shigeru Miyake OCL4X: An Action Semantics Language for UML Model Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Dietmar Schreiner , Karl M. Göschka A Component Model for the AUTOSAR Virtual Function Bus. [Citation Graph (0, 0)][DBLP ] Conf ] Zhi Jian Zhu , Mohammad Zulkernine Towards an Aspect-Oriented Intrusion Detection Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Haiping Zha , Lijie Wen , Jianmin Wang An InnovativeWorkflow Product Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Chengying Mao , Jinlong Zhang , Yansheng Lu Matrix-based Change Impact Analysis for Component-based Software. [Citation Graph (0, 0)][DBLP ] Conf ] Olaf Kath , Marc Born , Michael Soden Repository based Infrastructures for effective Automotive Software Creation - an Experience Report. [Citation Graph (0, 0)][DBLP ] Conf ] Ya-tao Yang , Zheng Yuan , Yong Fang , Ping Zeng A Novel Authentication Scheme Based on Trust-value Updated Model in Adhoc Network. [Citation Graph (0, 0)][DBLP ] Conf ] Michael de la Maza Luv: A Programming Language for Describing Human Relationships. [Citation Graph (0, 0)][DBLP ] Conf ] Chunming Gao , Xiaojuan Yuan , Huowang Chen Execution Mechanism of Service Proxy in Web Services Composition Execution Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Shuliang Zhang , Jiayan Gan , LiZhi Miao , Guonian Lv , Jiazhu Huang Study on GML Spatial Interoperability based on Web Service. [Citation Graph (0, 0)][DBLP ] Conf ] Jing-Ying Chen Component Oriented Design Style. [Citation Graph (0, 0)][DBLP ] Conf ] Feixiang Zhu , Yingjun Zhang , Berlin Zhu Web System for Electronic Nautical Charts Service Based On ArcIMS. [Citation Graph (0, 0)][DBLP ] Conf ] Alexei Iliasov , Alexander Romanovsky , Budi Arief A Framework for Open Distributed System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Walisa Romsaiyud , Somnuk Kereto Challenges in Selecting COTS Component Guidelines. [Citation Graph (0, 0)][DBLP ] Conf ] Tatiane Macedo Prudencio Lopes , Clovis Torres Fernandes Management and Control of Coding and Testing of Component-based Software. [Citation Graph (0, 0)][DBLP ] Conf ] Sabnam Sengupta , Swapan Bhattacharya Functional Specifications of Object Oriented Systems: A Model Driven Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Mohammad Izadi , Ali Movaghar , Farhad Arbab Model Checking of Component Connectors. [Citation Graph (0, 0)][DBLP ] Conf ] Weifeng Chen , Zhen Liu , Anton Riabov A Soft Constraint Privacy Model based on Identifiability. [Citation Graph (0, 0)][DBLP ] Conf ] Xuanzhe Liu , Gang Huang , Hong Mei Towards End User Service Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Chiung-Chou Tsai , Kuan-Chieh Liao , Tzungher Chen , Wei-Bin Lee Security enhancement of a novel proxy key generation protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Abdul Samiah , Arshad Aziz , Nassar Ikram An Efficient Software Implementation of AES-CCM for IEEE 802.11i Wireless St. [Citation Graph (0, 0)][DBLP ] Conf ] Ryan Babbitt , Johnny Wong , Carl Chang Towards the Modeling of Personal Privacy in Ubiquitous Computing Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Yuh-Min Tseng , Tsu-Yang Wu , Jui-Di Wu A mutual authentication and key exchange scheme from bilinear pairings for low power computing devices. [Citation Graph (0, 0)][DBLP ] Conf ] Jung-Hua Lo Effect of the Delay Time in Fixing a Fault on Software Error Models. [Citation Graph (0, 0)][DBLP ] Conf ] Liang Kong , Hong Zhu , Bin Zhou Automated Testing EJB Components Based on Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Chengying Mao Built-in Regression Testing for Component-based Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Ruth , Sehun Oh , Adam Loup , Brian Horton , Olin Gallet , Marcel Mata , Shengru Tu Towards Automatic Regression Test Selection for Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Karl R. P. H. Leung , W. L. Yeung Generating User Acceptance Test Plans from Test Cases. [Citation Graph (0, 0)][DBLP ] Conf ] Sami Mäkelä , Ville Leppänen Client based Object-Oriented Cohesion Metrics. [Citation Graph (0, 0)][DBLP ] Conf ] Dae Wan Cho , Seunguk Oh , Hyeon Soo Kim MemScroll: Dynamic Memory Errors Detector in C Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Muzammil Shahbaz , Keqin Li 0002 , Roland Groz Learning Parameterized State Machine Model for Integration Testing. [Citation Graph (0, 0)][DBLP ] Conf ] 