default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st COMPSAC 2007: Beijing, China - Volume 2
- 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 2. IEEE Computer Society 2007
AOAsia 2007 Workshop: 3rd IEEE Asian Workshop on Aspect-Oriented Software Development
- Yi Wang, Jianjun Zhao:
Specifying Pointcuts in AspectJ. 5-10 - Damijan Rebernak, Marjan Mernik:
A tool for compiler construction based on aspect-oriented specifications. 11-16 - Cyrille Artho, Zhongwei Chen, Shinichi Honiden:
AOP-based automated unit test classification of large benchmarks. 17-22 - Kung Chen
, Ju-Bing Chen:
Aspect-Based Instrumentation for Locating Memory Leaks in Java Programs. 23-28 - Dapeng Liu, Shaochun Xu:
A Combined Concept Location Method for Java Programs. 29-42
EMOBS 2007 Workshop: The First IEEE International Workshop on Engineering Mobile-Based Software and Applications
Applications and Services
- Matthias Book, Volker Gruhn:
An Instant Messaging Framework for Flexible Interaction with Rich Clients. 43-48 - 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. 49-56 - Ning Liu, Rong Li, Zhenyu Yang, Hongyang Chao:
An Optimization Method for Real-Time Natural Phenomena Simulation on WinCE Platform. 57-62
Key Technologies for M-Commerce
- Vu Hong Khiem, Kibong Kang, Keung Hae Lee:
MiniWap: Navigating WAP with Minimo. 63-68 - Chun-Yen Hsu, Jean-Lien C. Wu, Shun-Te Wang:
A One-Dimensional Probabilistic Model of Wireless Multihop Internet Access. 69-74 - Yingfang Fu, Jingsha He, Guorui Li:
A Distributed Intrusion Detection Scheme for Mobile Ad Hoc Networks. 75-80
Middleware and Service Platforms
- Celso Maciel da Costa, Marcelo da Silva Strzykalski, Guy Bernard:
An Aspect Oriented Middleware Architecture for Adaptive Mobile Computing Applications. 81-86 - Jui-Nan Lin, Jiun-Long Huang:
A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development. 87-95
Ambient Intelligence and Pervasive Computing
- Rui Chen, Yibin Hou, Zhangqin Huang, Yong Zhang, Hui Li:
Framework for Local Ambient Intelligence Space: The AmI-Space Project. 95-100 - Li Zhang, Zhen-lian Shi, Qi Shen:
A Service Discovery Architecture based on Anycast in Pervasive Computing Environments. 101-108
Mobility Support
- Georg Treu, Johannes Martens, Matthias Schicker, Marc Breisinger, Axel Küpper:
Vs Golf - Developing Location-based Multi-Player Games. 109-114 - Ming-Hsien Yu, Hsing Mei:
Speed-Based Mobility Management for Heterogeneous Wireless Networks Interworking. 115-120 - Weider D. Yu, Sunita Sharma:
A Mobile Database Design Methodology for Mobile Software Solutions. 121-130
ESAS 2007 Workshop: The Second IEEE International Workshop on Engineering Semantic Agent Systems
Applications
- Sang-Kyun Kim, Kyu-Chul Lee:
Trend Analysis using a TemporalWeb Ontology Language in News Domains. 131-136 - Xiangzhong Feng:
Construction of Collaborative Design Environment Based on Multi-Agent. 137-140 - Jia Chen, Yue Wu, Ming Li, Bei Hui:
Multi-Agent System-based Hierarchy Grid Middleware. 141-146
Platforms
- Yong-Feng Lin, Jason Jen-Yen Chen:
OWL-Based Description for Agent Interaction. 147-152 - Liang Xiao, David Robertson, Madalina Croitoru, Paul H. Lewis, Srinandan Dashmapatra, David Dupplaw, Bo Hu:
Adaptive Agent Model: an Agent Interaction and Computation Model. 153-158 - Wei Huang, Elia El-Darzi, Li Jin:
Extending the Gaia Methodology for the Design and Development of Agent-based Software Systems. 159-168
Models
- Dan Wang, Rongjuan Zhao:
An Ontology-based Semantic Resource Sharing Model in P2P System. 169-176
Keynote Speech
- Aditya Ghose, George Koliadis:
Actor Eco-systems: From High-Level Agent Models to Executable Processes via Semantic Annotations. 177-184
Position Papers
- Mehmet A. Orgun:
Intelligent Agents and P2P Semantic Web. 185 - Atilla Elçi:
A Distress Call: Needing Tools to Large-Scale Semantic-Aware Agent Systems. 186 - Masoud Mohammadian:
Semantic Web and Intelligent Agents Research and Practice Masoud Mohammadian. 187-196
IWSC 2007 Workshop: The Fourth IEEE International Workshop on Software Cybernetics
Papers I
- Fevzi Belli, Mubariz Eminov, Nida Gökçe:
Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study. 197-203 - Qianxiang Wang:
Qianxiang Wang. 204-210
Invited Talks
- Stephen S. Yau, Dazhi Huang, Luping Zhu:
An Approach to Adaptive Distributed Execution Monitoring for Workflows in Service-based Systems. 211-216 - Harald A. Stieber:
A Family of Software Reliability Growth Models. 217-224
Panel Discussion
- Eric S. K. Yu:
Social Modeling for System Security. 225
Papers II
- Lin Liu, Zhi Jin, Ruqian Lu:
Towards Controllable Requirements Engineering Processes based on Cybernetics. 229-232 - Xiaoying Bai, Yinong Chen, Zhongkui Shao:
Adaptive Web Services Testing. 233-236 - Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai, W. Eric Wong:
A Control-Theoretic Approach to QoS Adaptation in Data Stream Management Systems Design. 237-248
IWSSE 2007 Workshop: The First IEEE International Workshop on Security in Software Engineering
- Mohammad Gias Uddin, Hossain Shahriar, Mohammad Zulkernine:
ACIR: An Aspect-Connector for Intrusion Response. 249-254 - Keqin Li, Laurent Mounier, Roland Groz:
Test Generation from Security Policies Specified in Or-BAC. 255-260 - Liang Xiao, 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. 261-268 - K. M. Ibrahim Asif, Sheikh Iqbal Ahamed, Nilothpal Talukder:
Avoiding Privacy Violation for Resource Sharing in Ad hoc Networks of Pervasive Computing Environment. 269-274 - Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie:
Conformance Checking of Access Control Policies Specified in XACML. 275-280 - Koen Buyens, Riccardo Scandariato, Wouter Joosen:
Process Activities Supporting Security Principles. 281-292
KASET 2007 Workshop: The First IEEE International Workshop on Development and Application of Knowledge Based Software Engineering Tool
General Software Engineering and Tool
- Limin Shen, Wenwen Jiang, Chunyan Gao:
Setting and Evaluation of Flexible Points on Software User Interface. 293-298 - Rudolf Ramler, Klaus Wolfmaier, Thomas Natschläger:
Observing Distributions in Size Metrics: Experience from Analyzing Large Software Systems. 299-304 - Yan Luo, Torsten Bergander, A. Ben Hamza:
Software Reliability Growth Modelling using aWeighted Laplace Test Statistic. 305-312
Knowledge-Based Software Engineering Tool
- Hong Zhang, Hongjun Su:
A Collaborative System for Software Engineering Education. 313-318 - Li Jiang, Armin Eberlein:
A Tool For Requirements Engineering Process Development. 319-325 - Elena Cardenas Vargas, Hanna Oktaba, Silvia Guardati, Ana Lilia Laureano:
Agents, Case-Based Reasoning and their relation to the Mexican Software Process Model (MoProSoft). 326-334
Programming Tools and Techniques
- Shi Zhang, Linpeng Huang:
Type-Safe Dynamic Update Transaction. 335-340 - Ioannis N. Athanasiadis, Ferdinando Villa, Andrea Emilio Rizzoli:
Ontologies, JavaBeans and Relational Databases for enabling semantic programming. 341-346 - J. García, Antonio Gavilanes, Ana Gil Luezas, Pedro J. Martín:
CGR: a Tool for Programming Using Schemes. 347-354
System Modelling, Risk and Policy Management
- Yulin Ding, Yan Zhang:
System Modification Case Studies. 355-360 - Hsinyi Jiang, Carl K. Chang, Jinchun Xia, Shuxing Cheng:
A History-Based Automatic Scheduling Model for Personnel Risk Management. 361-366 - Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo:
Managing Policy Interactions in KNX-Based Smart Homes. 367-378
QUORS 2007 Workshop: the 1st IEEE International Workshop on Quality Oriented Reuse of Software
Aspects and SE
- Yanhong Guo, Guifa Teng, Yueli Li, Fang Wang, Yang Zhao, Jianbin Ma:
Improvement of Object-Oriented System Analysis and Design with Aspects. 379-384 - Jianjun Pu, Zhuopeng Zhang, Jian Kang, Yang Xu, Hongji Yang:
Using Aspect Orientation in Understanding Legacy COBOL Code. 385-390 - Yiming Lau, Wenyun Zhao, Xin Peng, Shan Tang:
A Connector-Centric Approach to Aspect-Oriented Software Evolution. 391-398
Components and QoS
- Jingyue Li, Anita Gupta, Jon Arvid Børretzen, Reidar Conradi:
The Empirical Studies on Quality Benefits of Reusing Software Components. 399-402 - Yankui Feng, Xiaodong Liu, Jon M. Kerridge:
A product line based aspect-oriented generative unit testing approach to building quality components. 403-408 - Yiming Yang, Xin Peng, Wenyun Zhao:
An Automatic Connector Generation Method for Dynamic Architecture. 409-414 - Marcel van Amstel, Christian F. J. Lange, Michel R. V. Chaudron:
Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams. 415-424
Internet Applications
- Wentao Zhang, Yan Yang, Shengqun Tang, Lina Fang:
QoS-driven Service Selection Optimization Model and Algorithms for Composite Web Services. 425-431 - Zhifeng Gu, Juan-Zi Li, Jie Tang, Bin Xu, Ruobo Huang:
Verification of Web Service Conversations Specified in WSCL. 432-437 - Shikun Zhou, Xiaodong Liu:
Quality Metrics for Internet Applications: Developing "New" from "Old". 438-450
REFS 2007 Workshop: First IEEE International Workshop on Requirements Engineering For Services
Workshop Keynote
- Al Davis:
REFS Keynote: "Requirements for Services: Does it Make Sense?". 451-454
RE For Service
- Colette Rolland, Rim Samia Kaabi:
An Intentional Perspective to Service Modeling and Discovery. 455-460 - Chang-Ai Sun, Marco Aiello:
Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems. 461-466 - Kyriakos Kritikos, Dimitris Plexousakis:
Requirements for QoS-based Web Service Description and Discovery. 467-472 - 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. 473-478 - Ching-Huey Wang, Feng-Jian Wang:
An Object-Oriented Modular Petri Nets for Modeling Service Oriented Applications. 479-486
RE and Services
- Alan M. Davis, Kesav V. Nori:
Requirements, Plato's Cave, and Perceptions of Reality. 487-492 - Kai-Yuan Cai:
Non-Functional Computing: Towards a More Scientific Treatment to Non-Functional Requirements. 493-494 - Xiping Song:
Developing Non-Functional Requirements for a Service-Oriented Software Platform. 495-496 - Zhoulin Dai, Gu Yi, Liu Jun, Xu Yi Jie:
Experiences in Accurately Estimating Electronic Forms Conversion Services with a Spiral Estimate Process. 497-500 - Bo Cheng, Xiangwu Meng, Junliang Chen:
An Adaptive User Requirements Elicitation Framework. 501-502 - Chunming Gao, Huang Tan, Huowang Chen:
Frameworks of Composite Services Execution Engine with Feedback Control. 503-508 - Moshiur Bhuiyan, M. M. Zahidul Islam, George Koliadis, Aneesh Krishna, Aditya Ghose:
Managing Business Process Risk Using Rich Organizational Models. 509-520
SACT 2007 Workshop: The Second IEEE Asia-Pacific Workshop on Software Architectures and Component Technologies
Software Patterns, Frameworks and Architectures
- D. Thu Tran, T. B. Tran Huynh:
A Composite Design Pattern for Object Frameworks. 521-526 - Arvind W. Kiwelekar, Rushikesh K. Joshi:
Extracting High-level Component-Connector View from Detailed UML Models: A Case Study. 527-534
Component Software and Technologies
- Zhikun Zhao, Wei Li:
Dynamic Reconfiguration of Distributed Data Flow Systems. 535-540 - Cyrille Artho, Klaus Havelund, Shinichi Honiden:
Visualization of Concurrent Program Executions. 541-546 - Chengying Mao:
AOP-based Testability Improvement for Component-based Software. 547-552 - André Ribes, Christian Caremoli:
Salome platform component model for numerical simulation. 553-564
SEASS 2007 Workshop: The First IEEE International Workshop on Software Engineering for Adaptive Software Systems
Invited Talk
- Jun Han, Alan W. Colman:
The Four Major Challenges of Engineering Adaptive Software Architectures. 565-572
Software Architecture
- Zhuohao Wang, Zhuofeng Zhao, Jun Fang:
A Service-oriented Approach for Flexible Information Resource Integration. 573-578 - Pentti Tarvainen:
Adaptability Evaluation of Software Architectures; A Case Study. 579-586
Requirement Engineering and Decision Making
- Liwei Shen, Xin Peng, Wenyun Zhao:
Decision Support for Dynamic Adaptation of Business Systems Based on Feature Binding Analysis. 587-592 - Wassiou Sitou, Bernd Spanfelner:
Towards Requirements Engineering for Context Adaptive Systems. 593-600
Domain Specific Adaptation
- Hua Wang, Jing Ying:
Toward Runtime Self-adaptation Method in Software-Intensive Systems Based on Hidden Markov Model. 601-606 - Wenying Feng, Karan Vij:
Machine Learning Prediction andWeb Access Modeling. 607-612 - Tiezheng Nie, Guangqi Wang, Derong Shen, Meifang Li, Ge Yu:
SLA-based Data Integration on Database Grids. 613-618 - Rafael Ramírez, Andrew E. Santosa:
A Framework for Separation of Concerns in Concurrent Programming. 619-628
SECAD 2007 Workshop: The First IEEE lnternational Workshop on Software Engineering Challenges in the Automotive Domain
- Chunyang Mu, Lining Sun, Zhijiang Du:
Method Based on OSEK/VDX Platform Using Model-based and Autocode Technology for Diesel ECU Software Development. 629-634 - Dietmar Schreiner, Karl M. Göschka:
A Component Model for the AUTOSAR Virtual Function Bus. 635-641 - Olaf Kath, Marc Born, Michael Soden:
Repository based Infrastructures for effective Automotive Software Creation - an Experience Report. 642-650
SPAC 2007 Workshop: The First IEEE lnternational Workshop on Software Patterns: Addressing Challenges
- Jing-Ying Chen:
Component Oriented Design Style. 651-657 - Alexei Iliasov, Alexander B. Romanovsky, Budi Arief:
A Framework for Open Distributed System Design. 658-674
STPSA 2007 Workshop: The Second IEEE lnternational Workshop on Security, Trust, and Privacy for Software Applications
- Weifeng Chen, Zhen Liu, Anton Riabov:
A Soft Constraint Privacy Model based on Identifiability. 675-980 - Chiung-Chou Tsai, Kuan-Chieh Liao, Tzungher Chen, Wei-Bin Lee:
Security enhancement of a novel proxy key generation protocol. 681-688 - Abdul Samiah, Arshad Aziz, Nassar Ikram:
An Efficient Software Implementation of AES-CCM for IEEE 802.11i Wireless St. 689-694 - Ryan Babbitt, Johnny Wong, Carl K. Chang:
Towards the Modeling of Personal Privacy in Ubiquitous Computing Environments. 695-699 - Yuh-Min Tseng, Tsu-Yang Wu, Jui-Di Wu:
A mutual authentication and key exchange scheme from bilinear pairings for low power computing devices. 700-710
TEST 2007 Workshop: The First IEEE International Workshop on Testing Emerging Software Technology
Test models, methods and tools for new technologies
- Jung-Hua Lo:
Effect of the Delay Time in Fixing a Fault on Software Error Models. 711-716 - Liang Kong, Hong Zhu, Bin Zhou:
Automated Testing EJB Components Based on Algebraic Specifications. 717-722 - Chengying Mao:
Built-in Regression Testing for Component-based Software Systems. 723-728 - Michael Ruth, Sehun Oh, Adam Loup, Brian Horton, Olin Gallet, Marcel Mata, Shengru Tu:
Towards Automatic Regression Test Selection for Web Services. 729-736
Test models, methods and tools for traditional technologies
- Karl R. P. H. Leung, Wing Lok Yeung:
Generating User Acceptance Test Plans from Test Cases. 737-742 - Sami Mäkelä, Ville Leppänen:
Client based Object-Oriented Cohesion Metrics. 743-748 - Dae Wan Cho, Seunguk Oh, Hyeon Soo Kim:
MemScroll: Dynamic Memory Errors Detector in C Programs. 749-754 - Muzammil Shahbaz, Keqin Li, Roland Groz:
Learning Parameterized State Machine Model for Integration Testing. 755-760
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.
last updated on 2025-01-31 22:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
