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