default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd 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 Goaër, 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é, José 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 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, 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, Vladimir 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 S. 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