default search action
32nd 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
A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. 12-19 - Tomi Karlstedt, Ville Leppänen
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
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
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
Debugging through Evaluation Sequences: A Controlled Experimental Study. 128-135 - Ing-Xiang Chen, Cheng-Zen Yang
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
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
On the Use of Fuzzy Logic in a Seller Bargaining Game. 184-191 - You-min Ha, Sanghyun Park, Sang-Wook Kim, Jung-Im Won
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
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
Transformation of Legacy Software into Client/Server Applications through Pattern-Based Rearchitecturing. 303-310 - Olivier Le Goaër, Dalila Tamzalit, Mourad Oussalah, Abdelhak Seriai
Evolution Shelf: Reusing Evolution Expertise within Component-Based Software Architectures. 311-318 - Eduardo Kessler Piveta
Searching for Opportunities of Refactoring Sequences: Reducing the Search Space. 319-326 - Hongyu Pei Breivold, Ivica Crnkovic
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
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é, José Antonio Calvo-Manzano
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
An Immersion Program to Help Students Understand the Impact of Cross Cultural Differences in Software Engineering Work. 455-459 - Reginaldo Aparecido 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 H. 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
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
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
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
Fabrication of Ontology for Security in Health Care Systems. 537-538 - Vadim Ermolayev, Natalya Keberle
An Ontology of Environments, Events, and Happenings. 539-546 - Amna Basharat
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
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
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
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 S. Berger
A Knowledge Management Framework for Software Configuration Management. 593-598 - Colette Rolland, Eric S. K. Yu, Jian Yang
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
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
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 - Sebastian 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: What's the Alternative? 635-638 - Jiehan Zhou
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 Singh 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
A Requirement Tool to Support Model-Based Requirement Engineering. 712-717 - Jianjun Pu, Hongji Yang, Baowen Xu
Combining MDE and UML to Reverse Engineer Web-Based Legacy Systems. 718-725 - Mario Luca Bernardi
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
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
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, Shengbing 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 S. Kenett
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 Grzegorz 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
Incorporating Security Requirements Engineering into the Dynamic Systems Development Method. 949-954 - Muhammad Umair Ahmed Khan
Quantifying Security in Secure Software Development Phases. 955-960 - Gerardo Canfora
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
Information Security of Remote File Transfers with Mobile Devices. 973-978 - Hossain Shahriar
Mutation-Based Testing of Buffer Overflow Vulnerabilities. 979-984 - Witold Abramowicz
Message from the SemBPM 2008 Workshop Organizers. 985 - Witold Abramowicz, Leszek A. Maciaszek:
SemBPM 2008 Workshop Organization. 986 - Agata Filipowska
Semantic Enterprise Description for the Needs of Business Process Automation. 987-992 - Duygu Çelik
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
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
Software Engineering in the European Automotive Industry: Achievements and Challenges. 1039-1044 - Bhaskar Vanamali, Fabio Bella, Klaus A. 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
Visual Configuration in Automotive Software Product Lines. 1070-1075 - Phu H. Phung
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
Message from the MDDS 2008 Workshop Organizers. 1089 - John Strassner, Sven van der Meer
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
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
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
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
Real-Time Service-Oriented Architectures to Support Remote Critical Care: Trends and Challenges. 1199-1204 - Zhenghua Fu, Chai Wah Wu
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
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
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
OntoArch Approach for Reliability-Aware Software Architecture Development. 1228-1233 - Elisa Yumi Nakagawa
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 - Yong Qi, Qingsheng Zhang, Hui He, Yujie Niu:
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
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
Message from the CORCS 2008 Workshop Organizers. 1295 - Cristina Cerschi Seceleanu, Paul Pettersson
CORCS 2008 Workshop Organization. 1296 - Natacha Hoang, Nicolas Belloir
Valentine: A Dynamic and Adaptive Operating System for Wireless Sensor Networks. 1297-1302 - Alan Dearle
A Component-Based Model and Language for Wireless Sensor Network Applications. 1303-1308 - Hüseyin Aysan, Sasikumar Punnekkat
Error Modeling in Dependable Component-Based Systems. 1309-1314 - Yu Guo, Krzysztof Sierszecki
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
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
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 J. Isaksson:
Simulation of Process Control with WirelessHART Networks Subject to Clock Drift. 1355-1360 - Domnic Savio, Stamatis Karnouskos
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
Model Driven Development Challenges in the Automation Domain. 1372-1375 - Alexander Nyßen, Horst Lichter
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
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 2024-12-29 01:15 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: