32. COMPSAC 2008:
Turku,
Finland
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland.
IEEE Computer Society 2008, ISBN 978-0-7695-3262-2
- Russell H. Taylor:
Medical Robotics and Computer-Integrated Surgery.
1
- Jean Holley:
Generation Y: Understanding the Trend and Planning for the Impact.
2
- Rajesh Subramanyan:
Position Statement: How Well Technology Supports Software Evolution.
3
- Rajesh Subramanyan:
Panel Description: Software Testing for Large Globally Distributed Projects.
4
- Di Cao:
Oil-Field Services' Data Acquisition System - A Globally Distributed Development.
5
- Nancy R. Mead:
Position Statement: The Impact of Software Assurance on Computing Education.
6
- Fevzi Belli, Cristina Cerschi Seceleanu:
Panel Description: 40 Years of Software Engineering.
7
- Brian Randell:
Position Statement: How Far Have We Come?
8
- Stephen S. Yau:
Position Statement: Advances and Challenges of Software Engineering.
9
- Virgil D. Gligor:
Position Statement: On the Evolution of Adversary Models in Computer Systems and Networks.
10
- K. Rustan M. Leino:
Position Statement: Ceaselessly-Analyzing Development Environments, One Direction for the Next 40 Years of Software Engineering.
11
- Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou:
A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats.
12-19
- Tomi Karlstedt, Ville Leppänen, Sanna Tuohimaa:
Embedding Rule-Based Security Monitors into Java Programs.
20-27
- Jun Kong, Dianxiang Xu:
A UML-Based Framework for Design and Analysis of Dependable Software.
28-31
- Weider D. Yu, Ellora Nayak:
An Algorithmic Approach to Authorization Rules Conflict Resolution in Software Security.
32-35
- Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu:
Embedded Architecture Description Language.
36-43
- Ryan C. Underwood, Bruce M. McMillin, Mariesa L. Crow:
An Open Framework for Highly Concurrent Real-Time Hardware-in-the-Loop Simulation.
44-51
- Li-Che Hung, Yaw-Chung Chen:
Parallel Table Lookup for Next Generation Internet.
52-59
- Hsin-Han Huang, Ching-Huey Wang, Jiun-Long Huang, Feng-Jian Wang:
A Proxy Design for Nearest-Neighbor Query Processing in Mobile Environments.
60-63
- Stefan Bisanz, Ulrich Hannemann, Jan Peleska:
Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework.
64-67
- Yingfang Fu, Jingsha He, Liangyu Luan, Rong Wang, Guorui Li:
A Zone-Based Distributed Key Management Scheme for Wireless Mesh Networks.
68-71
- Alain Pegatoquet, Filip Thoen, Denis Paterson:
Virtual Reality for 2.5 G Wireless Communication Modem Software Development.
72-75
- Ah-Rim Han, Sang-Uk Jeon, Doo-Hwan Bae, Jang-Eui Hong:
Behavioral Dependency Measurement for Change-Proneness Prediction in UML 2.0 Design Models.
76-83
- Xiaoying Bai, Shufang Lee, Wei-Tek Tsai, Yinong Chen:
Collaborative Web Services Monitoring with Active Service Broker.
84-91
- Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang:
Ontology Model-Based Static Analysis on Java Programs.
92-99
- Yan Zhang, Yi Liu, Le Zhang, Zhiyi Ma, Hong Mei:
Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram.
100-107
- Ali Razavi, Kostas Kontogiannis:
Pattern and Policy Driven Log Analysis for Software Monitoring.
108-111
- Pengcheng Zhang, Bixin Li, Mingjie Sun, Xufang Gong:
A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions.
112-115
- Lin Tan, Chi-Hung Chi, Jianming Deng:
Quantifying Trust Based on Service Level Agreement for Software as a Service.
116-119
- Omar el Ariss, Dianxiang Xu, W. Eric Wong, Yuting Chen, Yann-Hang Lee:
A Systematic Approach for Integrating Fault Trees into System Statecharts.
120-123
- Hsinyi Jiang, Katsunori Oyama, Carl K. Chang:
An Input Adjustable Tree Algorithm for Evolutionary Testing.
124-127
- Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse:
Debugging through Evaluation Sequences: A Controlled Experimental Study.
128-135
- Ing-Xiang Chen, Cheng-Zen Yang, Ting-Kun Lu, Hojun Jaygarl:
Implicit Social Network Model for Predicting and Tracking the Location of Faults.
136-143
- R. Barzin, S. Fukushima, William E. Howden, S. Sharifi:
Superfit Combinational Elusive Bug Detection.
144-151
- Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Zhang:
Avoiding Program Failures Through Safe Execution Perturbations.
152-159
- Chang-ai Sun:
A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications.
160-167
- Arnaud Gotlieb, Matthieu Petit:
Constraint Reasoning in Path-Oriented Random Testing.
168-171
- Sameer Abufardeh, Kenneth Magel:
QA/Testing Bi-directional Languages Software: Issues and Challenges.
172-175
- Steve Counsell, Stephen Swift:
Refactoring Steps, Java Refactorings and Empirical Evidence.
176-179
- Xin Feng, David Lorge Parnas, T. H. Tse:
Fault Propagation in Tabular Expression-Based Specifications.
180-183
- Kostas Kolomvatsos, Christos Anagnostopoulos, Stathes Hadjiefthymiades:
On the Use of Fuzzy Logic in a Seller Bargaining Game.
184-191
- You-min Ha, Sanghyun Park, Sang-Wook Kim, Jung-Im Won, Jeehee Yoon:
Rule Discovery and Matching in Stock Databases.
192-198
- Kui Fu, Guihua Nie, Huimin Wang:
Hybrid Strategies for Attribute Relation Learning from Candidates.
199-202
- Ian Bayley, Hong Zhu:
Specifying Behavioural Features of Design Patterns in First Order Logic.
203-210
- Sara NavidPour, Mohammad Izadi, Ali Movaghar:
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.
211-218
- María-del-Mar Gallardo, Pedro Merino, David Sanán:
Model Checking C Programs with Dynamic Memory Allocation.
219-226
- Ramesh Bharadwaj, Supratik Mukhopadhyay:
A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems.
227-230
- Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang:
A Maximum Weight Heuristic Method for Abstract State Computation.
231-234
- Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu:
A New Temporal Logic CTL[k-QDDC] and Its Verification.
235-238
- Jingwei Yang, Lin Liu:
Modelling Requirements Patterns with a Goal and PF Integrated Analysis Approach.
239-246
- Hamid Elghazi:
MV - TMM: A Multi View Traceability Management Method.
247-254
- Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijo, Haruhiko Kaiya, Kenji Kaijiri:
So/M: A Requirements Definition Tool Using Characteristics of Existing Similar Systems.
255-262
- Mikyeong Moon, Minwoo Hong, Keunhyuk Yeom:
Two-Level Variability Analysis for Business Process with Reusability and Extensibility.
263-270
- Sabah S. Al-Fedaghi:
Software Engineering Interpretation of Information Processing Regulations.
271-274
- Zongtao Zhao, Jun Wei, Li Lin, Xiaoning Ding:
A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity.
275-278
- Xiaocong Zhou, Wenjun Li, Han-jun Xian, Taizong Lai, Hui Liang:
Towards Context Modeling for Algorithm Animation.
279-286
- Katsunori Oyama, Hojun Jaygarl, Jinchun Xia, Carl K. Chang, Atsushi Takeuchi, Hiroshi Fujimoto:
A Human-Machine Dimensional Inference Ontology that Weaves Human Intentions and Requirements of Context Awareness Systems.
287-294
- Xin Zhou, Zhenzhong Huo, Yaowen Huang, Jian Xu:
Facilitating Software Traceability Understanding with ENVISION.
295-302
- Sascha Hunold, Matthias Korch, Björn Krellner, Thomas Rauber, Thomas Reichel, Gudula Rünger:
Transformation of Legacy Software into Client/Server Applications through Pattern-Based Rearchitecturing.
303-310
- Olivier Le Goaer, Dalila Tamzalit, Mourad Oussalah, Abdelhak Seriai:
Evolution Shelf: Reusing Evolution Expertise within Component-Based Software Architectures.
311-318
- Eduardo Kessler Piveta, João Araújo, Marcelo Soares Pimenta, Ana Moreira, Pedro Guerreiro, Roberto Tom Price:
Searching for Opportunities of Refactoring Sequences: Reducing the Search Space.
319-326
- Hongyu Pei Breivold, Ivica Crnkovic, Peter J. Eriksson:
Analyzing Software Evolvability.
327-330
- Takeshi Chusho, Noriyuki Yagi:
Modeling by Form Transformation for End-User Initiative Development.
331-334
- Sheikh Iqbal Ahamed, Nilothpal Talukder, Mehrab Monjur:
WiFi Radar: Design and Implementation of an Infrastructure-less Location Tracking System for Pervasive Environment.
335-338
- Jakub Rudzki, Imed Hammouda, Tommi Mikkonen:
Ensuring Architecture Conventions in Multi-site Development.
339-346
- Hang Su, Husheng Liao:
XQPE: A Partial Evaluation System for XQuery.
347-354
- Taku Shimosawa, Hiroya Matsuba, Yutaka Ishikawa:
Logical Partitioning without Architectural Supports.
355-364
- Ahcene Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, Christophe Jacquet:
An Architecture Description Language for Verification in Component-Based Software.
365-368
- Shan Tang, Xin Peng, Yiming Lau, Wenyun Zhao, Zhixiong Jiang:
An Adaptive Software Architecture Model Based on Component-Mismatches Detection and Elimination.
369-372
- Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
Analyzing BPEL Compositionality Based on Petri Nets.
373-376
- Ivan Silva Neto, Francisco Reverbel:
On the Performance of Transactional Remote Invocations over Commonly Used Transports.
377-384
- Sam Malek:
Dealing with the Crosscutting Structure of Software Architectural Styles.
385-392
- Sayed Mehran Sharafi:
Extending Team Automata to Evaluate Software Architectural Design.
393-400
- Thomas Weigold, Peter Buhler, Jeyarajan Thiyagalingam, Artie Basukoski, Vladimir Getov:
Advanced Grid Programming with Components: A Biometric Identification Case Study.
401-408
- Im Young Jung, In Soon Cho, Heon Young Yeom:
A Cost-Effective Guarantee of Security and Scalability on HVEM DataGrid with Active Disk.
409-416
- Atilla Elçi, Behnam Rahnama, Saman Kamran:
Defining a Strategy to Select Either of Closed/Open World Assumptions on Semantic Robots.
417-423
- Jing Huang, Wei Zhang, Yansheng Lu, Qin Yang:
Reflective Design for Component-Based Distributed Systems with Timing Constraints.
424-427
- César S. Aguiar, Daniel I. Cruz, Roberta Spolon Ulson, Marcos Antonio Cavenaghi:
The Application of Distributed Virtual Machines for Enterprise Computer Management: A Two-Tier Network File System for Image Provisioning and Management.
428-431
- Nilothpal Talukder, Sheikh Iqbal Ahamed:
FPCS: A Formal Approach for Privacy-Aware Context-Based Services.
432-439
- Sussy Bayona Oré, Jose Antonio Calvo-Manzano, Gonzalo Cuevas Agustín, Tomás San Feliu Gilabert:
Teaching Team Software Process in Graduate Courses to Increase Productivity and Improve Software Quality.
440-446
- J. Barrie Thompson, Helen M. Edwards:
Advancing Industry-Related Elements: The Meat on the Curricula Bones.
447-454
- Nancy R. Mead, Daniel Shoemaker, Antonio Drommi, Jeffrey A. Ingalsbe:
An Immersion Program to Help Students Understand the Impact of Cross Cultural Differences in Software Engineering Work.
455-459
- Reginaldo A. Gotardo, César A. C. Teixeira, Sérgio Donizetti Zorzo:
IP2 Model - Content Recommendation in Web-Based Educational Systems Using User's Interests and Preferences and Resources' Popularity.
460-463
- Thomas Weigert, Frank Weil, Aswin van den Berg, Paul Dietz, Kevin Marth:
Automated Code Generation for Industrial-Strength Systems.
464-472
- Ying Zhang, Gang Huang, Nuyun Zhang, Hong Mei:
Editable Replay of IDE-Based Repetitive Tasks.
473-480
- Alan M. Davis:
Contraindications, Precautions, Overdoses, and Adverse Reactions: What Software Engineering Can Learn from Pharmaceuticals.
481-487
- Stephen Crouch, Peter Henderson, Robert John Walters:
Utilising Located Functions to Model and Optimise Distributed Computations.
488-489
- Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian:
Automating Software FMEA via Formal Analysis of Dependence Relations.
490-491
- Shinpei Ogata, Saeko Matsuura:
Scenario-Based Automatic Prototype Generation.
492-493
- Eustáquio São José de Faria, Keiji Yamanaka, Josimeire do Amaral Tavares, Geraldo Henrique Lacerda Pinto, Lowghan Henrique Sudário de Melo:
AIDDES - Distributed Intelligent Pair-Software Development Environment.
494-495
- Jakub Rudzki, Tarja Systä:
Small Steps Approach to Tackling Software Quality in a Commercial Setting.
496-498
- Jasminka Matevska:
An Optimised Runtime Reconfiguration of Component-Based Software Systems.
499-501
- Atilla Elçi, Mamadou Tadiou Kone, Mehmet A. Orgun:
Message from the ESAS 2008 Workshop Organizers.
502
- Atilla Elçi, Mamadou Tadiou Kone, Mehmet A. Orgun:
ESAS 2008 Workshop Organization.
503-504
- Faiz M. Al-Shrouf:
Facilitator Agent Design Pattern of Procurement Business Systems.
505-510
- Meisheng Wang, Qingshan Li, Chenguang Zhao, Yingqiang Wang:
A Contract Net Model Based on Agent Active Perception.
511-516
- Eustáquio São José de Faria, Keiji Yamanaka, Josimeire do Amaral Tavares, Geraldo Henrique Lacerda Pinto, Lowghan Henrique Sudário de Melo:
Intelligent Software Agents Mediating the Pair Participation in a Distributed Intelligent Pair-Software Development Environment.
517-520
- Kutila Gunasekera, Arkady B. Zaslavsky, Shonali Krishnaswamy, Seng Wai Loke:
VERSAG: Context-Aware Adaptive Mobile Agents for the Semantic Web.
521-522
- Pieter De Leenheer:
Keynote: Towards An Ontological Foundation for Evolving Agent Communities.
523-528
- Femke Ongenae, Stijn Verstichel, Filip De Turck, Tom Dhaene, Bart Dhoedt, Piet Demeester:
OTAGen: A Tunable Ontology Generator for Benchmarking Ontology-Based Agent Collaboration.
529-530
- Lars Mönch, Jens Zimmermann:
An Ontology to Support Adaptive Agents for Complex Manufacturing Systems.
531-536
- J. Indumathi, G. V. Uma:
Fabrication of Ontology for Security in Health Care Systems.
537-538
- Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Matzke:
An Ontology of Environments, Events, and Happenings.
539-546
- Amna Basharat, Gabriella Spinelli:
Towards Engineering Ontologies for Cognitive Profiling of Agents on the Semantic Web.
547-552
- Kiavash Bahreini, Atilla Elçi:
SDISSASA: A Multiagent-Based Web Mining via Semantic Access to Web Resources in Enterprise Architecture.
553-558
- F. Ubis, Tom Kirkham, Brian Matthews, Jose L. Martinez Lastra, Robert Harrison, V. Villaseñor Herrera, A. Chowdrey:
The Challenges along the Road to the Realisation of a Factory Automation Lifecycle.
559-562
- Brenda Powers:
A Multi-agent Architecture for NATO Network Enabled Capabilities: Enabling Semantic Interoperability in Dynamic Environments (NC3A RD-2376).
563-564
- Juan Carlos González Moreno, Luis Vázquez López:
Design of Multiagent System Architecture.
565-568
- Muhammad Ainan Sadiq, Syed Muhammad Ali Shah:
Shared Storage in J2ME: A Multi-agent System Approach.
569-574
- Sébastien Rumley, Elvira Kägi, Hugh Rudnick, Alain Germond:
Multi-agent Approach to Electrical Distribution Networks Control.
575-580
- Leila Jemni Ben Ayed, Fatma Siala:
From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.
581-584
- Qinglin Guo:
The Similarity Computing of Documents Based on VSM.
585-586
- Tad Gonsalves, Atsushi Ito, Ryo Kawabata, Kiyoshi Itoh:
Swarm Intelligence in the Optimization of Software Development Project Schedule.
587-592
- Nikiforos Ploskas, Michael Berger, Jiang Zhang, Gert-Joachim Wintterle:
A Knowledge Management Framework for Software Configuration Management.
593-598
- Colette Rolland, Eric S. K. Yu, Jian Yang, Lin Liu:
Message from the REFS 2008 Workshop Organizers.
599
- Colette Rolland, Eric S. K. Yu, Jian Yang, Lin Liu:
REFS 2008 Workshop Organization.
600
- Eric Knauss, Daniel Lübke:
Using the Friction between Business Processes and Use Cases in SOA Requirements.
601-606
- Budan Wu, Zhi Jin:
Service-Oriented Modeling: An Extensive Reuse Method.
607-612
- Ménel Lassoued:
Intentional Services Specification Enhancement with Scenario-Based Techniques to Analyze Security Threats.
613-618
- Helmi Ben Rejeb, Vincent Boly, Laure Morel-Guimaraes:
A New Methodology Based on Kano Model for the Evaluation of a New Product Acceptability during the Front-End Phases.
619-624
- Katsunori Oyama, Hojun Jaygarl, Jinchun Xia, Carl K. Chang, Atsushi Takeuchi, Hiroshi Fujimoto:
Requirements Analysis Using Feedback from Context Awareness Systems.
625-630
- Sébastian Adam, Jörg Dörr:
The Role of Service Abstraction and Service Variability and Its Impact on Requirements Engineering for Service-Oriented Systems.
631-634
- Alan M. Davis, Nur Nurmuliani, Sooyong Park, Didar Zowghi:
Requirements Change: Whats the Alternative?
635-638
- Jiehan Zhou, Mika Rautiainen, Mika Ylianttila:
SCCM: Service-Oriented Community Coordinated Multimedia Architecture.
639-642
- Ahlem Ben Younes, Leila Jemni Ben Ayed:
From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.
643-648
- Soo Ling Lim, Eric Platon, Karl Cox:
Synthesis of Actor Dependency and Business Motivation for Service Requirements Engineering.
649-652
- Sheikh Iqbal Ahamed, Mohammad Zulkernine:
Message from the STPSA 2008 Workshop Organizers.
653
- Sheikh Iqbal Ahamed, Mohammad Zulkernine:
STPSA 2008 Workshop Organization.
654
- Manpreet Singh, Manjeet S. Patterh:
Access Control Framework for Secure Network Computing Environment.
655-660
- Golnaz Elahi, Zeev Lieber, Eric S. K. Yu:
Trade-off Analysis of Identity Management Systems with an Untrusted Identity Provider.
661-666
- Simone Nasser Matos, Clovis Torres Fernandes:
Using Responsibilities for Early Identification of Hot Spots Reused in Frameworks Modeling.
667-672
- Stelvio Cimato:
A Lightweight Protocol for Dynamic RFID Identification.
673-678
- Rajiv Ramnath, Vasudha Gupta, Jay Ramanathan:
RED-Transaction and Goal-Model Based Analysis of Layered Security of Physical Spaces.
679-685
- Dong-Hong Xu, Yong Qi, Di Hou, Gong-Zhen Wang, Ying Chen:
An Improved Calculus for Secure Dynamic Services Composition.
686-691
- Yuan Hong, Shuo Lu, Qian Liu, Lingyu Wang, Rachida Dssouli:
Preserving Privacy in E-health Systems Using Hippocratic Databases.
692-697
- Marcel Frigault, Lingyu Wang:
Measuring Network Security Using Bayesian Network-Based Attack Graphs.
698-703
- Salem Benferhat, Tayeb Kenaza, Aïcha Mokhtari:
A Naive Bayes Approach for Detecting Coordinated Attacks.
704-709
- Xiaodong Liu, Hongji Yang:
Message from the QUORS 2008 Workshop Organizers.
710
- Xiaodong Liu, Hongji Yang:
QUORS 2008 Workshop Organization.
711
- Chih-Wei Lu, Chih-Hung Chang, William C. Chu, Ya-Wen Cheng, Hsin-Chien Chang:
A Requirement Tool to Support Model-Based Requirement Engineering.
712-717
- Jianjun Pu, Hongji Yang, Baowen Xu, Lei Xu, William Cheng-Chung Chu:
Combining MDE and UML to Reverse Engineer Web-Based Legacy Systems.
718-725
- Mario Luca Bernardi, Giuseppe A. Di Lucca:
A Taxonomy of Interactions Introduced by Aspects.
726-731
- Carlos Eduardo de Barros Paes, Celso Massaki Hirata:
RUP Extension For the Software Performance.
732-738
- Barbara Gallina, Nicolas Guelfi:
A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications.
739-744
- Deepak Dahiya, Sudha Dahiya:
Software Reuse in Design and Development of Aspects.
745-750
- Chengpu Li, Xiaodong Liu, Jessie B. Kennedy:
Semantics-Based Component Repository: Current State of Arts and a Calculation Rating Factor-Based Framework.
751-756
- Selim Ciraci, Pim van den Broek, Mehmet Aksit:
Framework for Computer-Aided Evolution of Object-Oriented Designs.
757-764
- Jian Kang, Jianjun Pu, Jianchu Huang, Zihou Zhou, Hongji Yang:
Business Intelligence Recovery from Legacy Code.
765-770
- Hiroyuki Sato:
Delay Front and Skip Interval - Assessing Open Source Software Maintenance of System Vendors and Computer Centers.
771-776
- Yang Li, Xiaodong Liu:
Message from the BINDIS 2008 Workshop Organizers.
777
- Yang Li, Xiaodong Liu:
BINDIS 2008 Workshop Organization.
778
- Qing Wang, Yong Zhang, Chunxiao Xing:
Object Oriented Design Based on Role and Rule.
779-784
- Yan Liu, Qingling Wang, Mingguang Zhuang, Yunyun Zhu:
Reengineering Legacy Systems with RESTful Web Service.
785-790
- Ashutosh Shinde:
Challenges of Building High Performing On-Demand Software.
791-794
- Masataka Izumi, Takao Miura, Isamu Shioya:
Entropy-Based Age Estimation of Blog Authors.
795-800
- Lili Su, Shenggang Yang, Yushun Li, Xiaochun Cheng, Ronghuai Huang:
Semantic-Oriented Ubiquitous Learning Object Management System SULOMS.
801-806
- Yang Li:
Service Productivity Improvement and Software Technology Support.
807-812
- Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai:
Message from the IWSC 2008 Workshop Organizers.
813
- Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai:
IWSC 2008 Workshop Organization.
814-815
- Changyan Zhou, Ratnesh Kumar, S. Jiang:
Keynote: Hierarchical Fault Detection in Embedded Control Software.
816-823
- Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Dazhi Huang, Stephen S. Yau:
An Intelligent Control Architecture for Adaptive Service-Based Software Systems with Workflow Patterns.
824-829
- Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur:
Quantitative Modeling for Incremental Software Process Control.
830-835
- Avi Harel, Ron Kenett, Fabrizio Ruggeri:
Decision Support for User Interface Design: Usability Diagnosis by Time Analysis of the User Activity.
836-840
- Zuohua Ding, Kao Zhang:
Performance Analysis of Concurrent Programs Using Ordinary Differential Equations.
841-846
- Marek G. Stochel, Radek Sztando:
Testing Optimization for Mission-Critical, Complex, Distributed Systems.
847-852
- Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai:
Adaptive Software Testing in the Context of an Improved Controlled Markov Chain Model.
853-858
- Longbing Cao, Ruwei Dai, Vladimir I. Gorodetski:
Message from the EOCS-MCP 2008 Workshop Organizers.
859
- Longbing Cao, Ruwei Dai, Vladimir I. Gorodetski:
EOCS-MCP 2008 Workshop Organization.
860-861
- Yaodong Li, Xia Cui, Ruwei Dai:
Paradigms of Meta-synthetic Computing.
862-867
- Xia Cui, Ruwei Dai:
Meta-synthetic Computing Formula of Situation Assessment in Social Interactions.
868-872
- Mark Sh. Levin:
Towards Four-Layer Framework of Combinatorial Problems.
873-878
- Jinlei Jiang, Johann H. Schlichter, Guangwen Yang:
Design More Usable and Reliable Large-Scale Software Systems: A New Approach Based on P2P, SOA and Web 2.0.
879-884
- Gang Cheng, Ruwei Dai, Mingchang Zhao, Yaodong Li:
An Effective Communication Platform Based on XMPP for HWME.
885-889
- Jijun Zhao, Ferenc Szidarovszky:
A Dynamic Model and Simulation of Industrial Clusters.
890-895
- Longbing Cao:
Metasynthetic Computing for Solving Open Complex Problems.
896-901
- Kiavash Bahreini, Atilla Elçi:
A New Software Architecture for J2EE Enterprise Environments via Semantic Access to Web Sources for Web Mining by Distributed Intelligent Software Agents.
902-907
- Hui Li, Zhen Li, Xia Cui:
Modern Distance Education: A Special Open Complex Giant System.
908-912
- Yanyan Chai, Lei Fan, Yaodong Li, Mingchang Zhao:
An Opinions Expression and Induction System of Experts in Hall for Workshop of Meta-synthetic Engineering.
913-917
- Minhua Li, Ruwei Dai, Yaodong Li:
A Novel Scheme Producing and Evaluation System in HWME.
918-922
- Wei Wang, Xia Cui, Ai Wang:
News Analysis Based on Meta-synthesis Approach.
923-928
- Weijie Yang, Ruwei Dai, Xia Cui:
Extracting Social Network among Various Entities from Chinese News Stories by Content Analysis.
929-934
- Michael Jiang, James Joshi:
Message from the IWSSE 2008 Workshop Organizers.
935
- Michael Jiang, James Joshi:
IWSSE 2008 Workshop Organization.
936
- K. R. Jayaram, Aditya P. Mathur:
On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols.
937-942
- Mourad Alia, Marc Lacoste:
A QoS and Security Adaptation Model for Autonomic Pervasive Systems.
943-948
- Nancy R. Mead, Venkatesh Viswanathan, Deepa Padmanabhan:
Incorporating Security Requirements Engineering into the Dynamic Systems Development Method.
949-954
- Muhammad Umair Ahmed Khan, Mohammad Zulkernine:
Quantifying Security in Secure Software Development Phases.
955-960
- Gerardo Canfora, Corrado Aaron Visaggio:
A System to Prevent Multi-users and Multi-sessions Attack to Breach Privacy Policies in a Trust-End Filter.
961-966
- Zhaosheng Zhu, Guohan Lu, Yan Chen, Zhi (Judy) Fu, Phil Roberts, Keesook Han:
Botnet Research Survey.
967-972
- Sami Noponen, Kaarina Karppinen:
Information Security of Remote File Transfers with Mobile Devices.
973-978
- Hossain Shahriar, Mohammad Zulkernine:
Mutation-Based Testing of Buffer Overflow Vulnerabilities.
979-984
- Witold Abramowicz, Leszek A. Maciaszek:
Message from the SemBPM 2008 Workshop Organizers.
985
- Witold Abramowicz, Leszek A. Maciaszek:
SemBPM 2008 Workshop Organization.
986
- Agata Filipowska, Monika Kaczmarek, Monika Starzecka, Piotr Stolarski, Adam Walczak:
Semantic Enterprise Description for the Needs of Business Process Automation.
987-992
- Duygu Çelik, Atilla Elçi:
Semantic QoS Model for Extended IOPE Matching and Composition of Web Services.
993-998
- Denis Gagné, André Trudel:
A Temporal Semantics for Workflow Control Patterns.
999-1004
- Ken Decreus, Geert Poels:
Putting Business into Business Process Models.
1005-1010
- Stefan Jablonski, Bernhard Volz, Sebastian Dornstauder:
A Meta Modeling Framework for Domain Specific Process Management.
1011-1016
- Rolf Kluge, Thomas Hering, Roman Belter, Bogdan Franczyk:
An Approach for Matching Functional Business Requirements to Standard Application Software Packages via Ontology.
1017-1022
- Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav S. Kharchenko:
How to Enhance UDDI with Dependability Capabilities.
1023-1028
- Roman Belter, Rolf Kluge:
Towards Distributed Management of Service-Oriented Computing Infrastructures.
1029-1034
- Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami:
Message from the SECAD 2008 Workshop Organizers.
1035
- Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami:
SECAD 2008 Workshop Organization.
1036
- Alec Dorling:
The Role of Process Standards in Automotive Systems Development.
1037-1038
- Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Edoardo Sivera:
Software Engineering in the European Automotive Industry: Achievements and Challenges.
1039-1044
- Bhaskar Vanamali, Fabio Bella, Klaus Hörmann:
From CMMI to SPICE - Experiences on How to Survive a SPICE Assessment Having Already Implemented CMMI.
1045-1052
- Paolo Panaroni, Giovanni Sartori, Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami:
Safety in Automotive Software: An Overview of Current Practices.
1053-1058
- Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes:
Service-Oriented Modelling of Automotive Systems.
1059-1064
- Stefano Monti, Walter Nesci, Serino Angellotti, Claudio Schellino, Massimo Seminara, Rainer Wuesthenagen:
Configuration and Change Management of the Outcomes of an Automotive Engine Control Model Based Software Design Process.
1065-1069
- Goetz Botterweck, Steffen Thiel, Ciarán Cawley, Daren Nestor, André Preußner:
Visual Configuration in Automotive Software Product Lines.
1070-1075
- Phu H. Phung, David Sands:
Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming.
1076-1082
- Serino Angellotti, Stefano Monti, Walter Nesci, Alessandro Peciarolo, Giovanni Prodi, Claudio Schellino, Massimo Seminara, Rainer Wuestenhagen:
Control IP's Sharing: From Configurable Mechatronic Control to Autosar SW-C Package. A New Model Business Scenario across Automotive OEMs and Component Supplier and the New Roles of SW IP's Supplier and SW IP's Integrator.
1083-1088
- John Strassner, Sven van der Meer, Jing Zhang:
Message from the MDDS 2008 Workshop Organizers.
1089
- John Strassner, Sven van der Meer, Jing Zhang:
MDDAS 2008 Workshop Organization.
1090
- Benoît Combemale, Laurent Broto, Alain Tchana, Daniel Hagimont:
Metamodeling Autonomic System Management Policies - Ongoing Works.
1091-1096
- John Strassner, Yan Liu, Jing Zhang:
A Context-Aware Policy Model to Support Autonomic Networking.
1097-1102
- Ray Carroll, Sven van der Meer:
Semantic Integration of User Data - Models and Processes Enabling Seamless Mobility.
1103-1109
- Bogdan Solomon, Dan Ionescu, Marin Litoiu, Mircea Mihaescu:
Model-Driven Engineering for Autonomic Provisioned Systems.
1110-1115
- Prawee Sriplakich, Guillaume Waignier, Anne-Françoise Le Meur:
Enabling Dynamic Co-evolution of Models and Runtime Applications.
1116-1121
- Michael Caragiozidis, Nikos Mouratidis, Christoforos D. Kavadias, Michael Loupis, Michael Berger:
Design Methodology for a Modular Component Based Software Architecture.
1122-1127
- Ali Doostmohammadi:
An Enhanced Autonomic Multiclass Multithreaded Web Server: A Performance Model Approach.
1128-1133
- Jen-Yao Chung, Jun-Jang Jeng, Josef Schiefer:
Message from the RTSOAA 2008 Workshop Organizers.
1134
- Jen-Yao Chung, Jun-Jang Jeng, Josef Schiefer:
RTSOAA 2008 workshop Organization.
1135
- Sean Rooney, Luis Garcés-Erice:
Predicting Performance on a Loosely Controlled Event System.
1136-1142
- Alfredo Cuzzocrea:
Towards Real-Time Data Transformation Services over Grids.
1143-1149
- Zhan Cui, Nick Godwin, Kuo-Ming Chao, Jen-Yao Chung, Chen-Fang Tsai:
A Functional Data Service Framework for Integrating Heterogeneous Data Sources.
1150-1155
- Juha Savolainen, Anssi Karhinen:
Matching Service Requirements to Empirical Capability Models in Service-Oriented Architectures.
1156-1161
- Yonit Magid, Asaf Adi, Maya Barnea, David Botzer, Ella Rabinovich:
Application Generation Framework for Real-Time Complex Event Processing.
1162-1167
- Fevzi Belli, Michael Linschulte:
Event-Driven Modeling and Testing of Web Services.
1168-1173
- Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng:
Service Composition for Real-Time Assurance.
1174-1179
- Markus Mathes, Steffen Heinzl, Bernd Freisleben:
WS-TemporalPolicy: A WS-Policy Extension for Describing Service Properties with Time Constraints.
1180-1186
- Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao:
A Verification Method for Temporal Consistency of Service Flow.
1187-1192
- Michael Jiang, Zhihui Yang, Anant Athale:
A Model-Based Approach to Implementing Real-Time Mobile Services.
1193-1198
- Carolyn McGregor, J. Mikael Eklund:
Real-Time Service-Oriented Architectures to Support Remote Critical Care: Trends and Challenges.
1199-1204
- Zhenghua Fu, Chai Wah Wu, Jun-Jang Jeng, Hui Lei:
PACTS: A Service Oriented Architecture for Real-Time Peer-Assisted Content Delivery Service.
1205-1210
- Muhammad Ali Babar, Mari Tainlassi, Björn Lundell:
Message from the QACOS 2008 Workshop Organizers.
1211
- Muhammad Ali Babar, Mari Tainlassi, Björn Lundell:
QACOS 2008 Workshop Organization.
1212
- Marcus Ciolkowski, Martín Soto:
Towards a Process Maturity Model for Open Source Software.
1213-1214
- Faheem Ahmed, Luiz Fernando Capretz, Muhammad Ali Babar:
A Model of Open Source Software-Based Product Line Development.
1215-1220
- Israel Herraiz, Gregorio Robles, Rafael Capilla, Jesús M. González-Barahona:
Managing Libre Software Distributions under a Product Line Approach.
1221-1225
- Christian Lennerholt, Brian Lings, Björn Lundell:
Architectural Issues in Opening Up the Advantages of Open Source in Product Development Companies.
1226-1227
- Jiehan Zhou, Eila Niemelä, Antti Evesti, Anne Immonen, Pekka Savolainen:
OntoArch Approach for Reliability-Aware Software Architecture Development.
1228-1233
- Elisa Yumi Nakagawa, Elaine P. M. de Sousa, Kiyoshi de Brito Murata, Gabriel de Faria Andery, Leonardo Bitencourt Morelli, José Carlos Maldonado:
Software Architecture Relevance in Open Source Software Evolution: A Case Study.
1234-1239
- Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Fabio Mancinelli:
Improving the Quality of GNU/Linux Distributions.
1240-1246
- Tobias Otte, Robert Moreton, Heinz D. Knoell:
Applied Quality Assurance Methods under the Open Source Development Model.
1247-1252
- Weichang Du, John Plaice, Panagiotis Rondogiannis:
SECASA 2008 Workshop Organization.
1253
- Masahiro Bessho, Shinsuke Kobayashi, Noboru Koshizuka, Ken Sakamura:
uNavi : Implementation and Deployment of a Place-Based Pedestrian Navigation System.
1254-1259
- Qi Yong, Zhang Qingsheng, He Hui, Niu Yujie:
Designing Simulated Context-Aware Telephone in Pervasive Spaces.
1260-1265
- John Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge:
Sequential Demand-Driven Evaluation of Eager TransLucid.
1266-1271
- Toby Rahilly, John Plaice:
A Multithreaded Implementation for TransLucid.
1272-1277
- Joey Paquet, Serguei A. Mokhov, Xin Tong:
Design and Implementation of Context Calculus in the GIPSY Environment.
1278-1283
- John Plaice, Blanca Mancilla:
Synchronous Communities.
1284-1287
- Serguei A. Mokhov:
Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL.
1288-1294
- Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson:
Message from the CORCS 2008 Workshop Organizers.
1295
- Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson:
CORCS 2008 Workshop Organization.
1296
- Natacha Hoang, Nicolas Belloir, Cong-Duc Pham, Séverine Sentilles:
Valentine: A Dynamic and Adaptive Operating System for Wireless Sensor Networks.
1297-1302
- Alan Dearle, Dharini Balasubramaniam, Jonathan Lewis, Ronald Morrison:
A Component-Based Model and Language for Wireless Sensor Network Applications.
1303-1308
- Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin:
Error Modeling in Dependable Component-Based Systems.
1309-1314
- Yu Guo, Krzysztof Sierszecki, Christo Angelov:
A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems.
1315-1320
- Aneta Vulgarakis, Cristina Cerschi Seceleanu:
Embedded Systems Resources: Views on Modeling and Analysis.
1321-1328
- Marco Autili, Paolo Di Benedetto, Paola Inverardi, Fabio Mancinelli:
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications.
1329-1334
- Farhang Nemati, Johan Kraft, Christer Norström:
Validation of Temporal Simulation Models of Complex Real-Time Systems.
1335-1340
- Ismail Assayad:
Joint SW/HW Modelling and Design Exploration Using P-Ware.
1341-1346
- Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin:
An Overrun Method to Support Composition of Semi-independent Real-Time Components.
1347-1352
- Tiberiu Seceleanu, Detlef Streitferdt:
Message from the IEESD 2008 Workshop Organizers.
1353
- Tiberiu Seceleanu, Detlef Streitferdt:
IEESD 2008 Workshop Organization.
1354
- Mauro De Biasi, Carlo Snickars, Krister Landernäs, Alf Isaksson:
Simulation of Process Control with WirelessHART Networks Subject to Clock Drift.
1355-1360
- Domnic Savio, Stamatis Karnouskos, Daniel Wuwer, Thomas Bangemann:
Dynamically Optimized Production Planning Ssing Cross-Layer SOA.
1361-1365
- Massimo Ferraguto, Tim Wittrock, Mark Barrenscheen, Matti Paakko, Ville Sipinen:
The On-Board Control Procedures Subsystem for the Herschel and Planck Satellites.
1366-1371
- Detlef Streitferdt, Georg Wendt, Philipp Nenninger, Alexander Nyßen, Horst Lichter:
Model Driven Development Challenges in the Automation Domain.
1372-1375
- Alexander Nyßen, Horst Lichter, Detlef Streitferdt, Philipp Nenninger:
MeDUSA - A Model-Based Construction Method for Embedded and Real-Time Software.
1376-1382
- Maarit Laanti:
Implementing Program Model with Agile Principles in a Large Software Development Organization.
1383-1391
Copyright © Fri Nov 20 23:41:27 2009
by Michael Ley (ley@uni-trier.de)