


default search action
33rd COMPSAC 2009: Seattle, Washington, USA - Volume 2
- Sheikh Iqbal Ahamed, Elisa Bertino, Carl K. Chang, Vladimir Getov, Lin Liu, Ming Hua, Rajesh Subramanyan:

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 2. IEEE Computer Society 2009
REFS 2009 Session 1: Services Requirements Modelling Specification
- Xiping Song, William Sherman, Beatrice Hwong, Brian Berenbach, Gilberto Matos:

Requirements Engineering Needs in a Solution and Infrastructure Improvement Project. 1-2 - Zhuozhi Chen, Rob Pooley:

Rediscovering Zachman Framework Using Ontology from a Requirement Engineering Perspective. 3-8 - Colin C. Venters, Duncan Russell, Lu Liu

, Zongyang Luo, David Webster, Jie Xu:
A Scenario-Based Architecture Evaluation Framework for Network Enabled Capability. 9-12 - Hung-Fu Chang, Stephen C. Y. Lu:

Decomposition and Traceability in Software Design. 13-18 - Colette Rolland:

Panel on Requirements Engineering for Services. 19-24
ESAS 2009 Session 1: Semantic Mining
- Rajul Anand, Ravi Agrawal, Joydip Dhar

:
Variable Support Based Association Rule Mining. 25-30 - Marjaneh Safaei, Merve Sahan, Mustafa Ilkan:

Social Graph Generation & Forecasting Using Social Network Mining. 31-35
ESAS 2009 Session 2: Mobile Agents
- Youcef Zafoune, Aïcha Mokhtari, Rushed Kanawati:

Mobile-Agent Approach for Mobile Code Localization in Ad hoc Networks. 36-39 - Xining Li, Guillaume Autran:

Implementing an Mobile Agent Platform for M-Commerce. 40-45 - Duygu Çelik

, Atilla Elçi:
Semantic Web Enabled Composition of Semantic Web Services. 46-51
ESAS 2009 Session 3: Semantic Agent Systems
- Fatih Tekbacak

, Tugkan Tuglular
, Oguz Dikenelli
:
An Architecture for Verification of Access Control Policies with Multi Agent System Ontologies. 52-55 - Pooyan Balouchian, Amin Almassian, Atilla Elçi:

OWL Manipulation toward Building Semantic Applications and Agents. 56-61 - Stanimir Stojanov, Veselina Valkanova, Ivan Ganchev

, Mairtin O'Droma
, H. Zedan:
Agent-Oriented Middleware for Mobile eLearning Services. 62-66
RTSOAA 2009 Session 1: RTSOAA Models
- Kleopatra Konstanteli, Dimosthenis Kyriazis

, Theodora A. Varvarigou, Tommaso Cucinotta
, Gaetano F. Anastasi:
Real-Time Guarantees in Flexible Advance Reservations. 67-72 - Tommaso Cucinotta

, Gaetano F. Anastasi, Luca Abeni
:
Respecting Temporal Constraints in Virtualised Services. 73-78 - Luis Garcés-Erice

:
Building an Enterprise Service Bus for Real-Time SOA: A Messaging Middleware Stack. 79-84 - Niklas Blum, Irina Boldea, Thomas Magedanz, U. Staiger, Horst Stein:

A Service Broker Providing Real-Time Telecommunications Services for 3rd Party Services. 85-91 - Gabe Wishnie, Hossein Saiedian

:
A Complex Event Routing Infrastructure for Distributed Systems. 92-95 - Jacky Estublier, Eric Simon:

Universal and Extensible Service-Oriented Platform Feasibility and Experience: The Service Abstract Machine. 96-103
RTSOAA 2009 Session 2: RTSOAA for Cloud
- Carolyn McGregor

, Kathleen P. Smith:
A Survey of Physiological Monitoring Data Models to Support the Service of Critical Care. 104-109 - Behnam Rahnama, Atilla Elçi, Ramin Bakhshi, Alirad Malek, Arjang Ahmadi:

Microcontroller-Based AWGNG for Security Enhancement of Embedded Real-Time Web Services. 110-115 - Jonathan Lifflancer, Adam McDonald, Orest Pilskalns:

Clustering Versus Shared Nothing: A Case Study. 116-121
RTSOAA 2009 Session 3: RTSOAA Infrastructure
- Jian Huang, Farokh B. Bastani, I-Ling Yen, Jun-Jang Jeng:

Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model. 122-127 - Ivona Brandic

:
Towards Self-Manageable Cloud Services. 128-133 - Wei Hao, I-Ling Yen, Bhavani Thuraisingham:

Dynamic Service and Data Migration in the Clouds. 134-139
ME 2009 Session 1
- Pyungsun Park, Hongbin Yim, Heeseok Moon, Jaeil Jung:

An OSGi Based In-vehicle Gateway Platform Architecture for Improved Sensor Extensibility and Interoperability. 140-147 - Leandro Sales, Henrique Teofilo, Jonathan D'Orleans, Nabor C. Mendonça

, Rafael G. Barbosa, Fernando A. M. Trinta:
Performance Impact Analysis of Two Generic Group Communication APIs. 148-153 - Jameela Al-Jaroodi, Junaid Aziz, Nader Mohamed:

Middleware for RFID Systems: An Overview. 154-159
ME 2009 Session 2
- Davi Oliveira, Nelson S. Rosa

:
Ubá: A Software Product Line Architecture for Grid-Oriented Middleware. 160-165 - Luc Vouligny, Claude Hudon, Duc Ngoc Nguyen:

Design of MIDA, a Web-Based Diagnostic Application for Hydroelectric Generators. 166-171 - Ling Chen, Shan Zhang, Li Tu:

An Algorithm for Mining Frequent Items on Data Stream Using Fading Factor. 172-177 - Xiang Huang, Wenbo Zhang, Bo Zhang, Jun Wei:

Impacts Separation Framework for Performance Prediction of Middleware-Based Systems. 178-187
SECASA 2009 Session 1
- Rajan Shankaran

, Vijay Varadharajan
, Mehmet A. Orgun
, Michael Hitchens
:
Context-Aware Trust Management for Peer-to-Peer Mobile Ad-Hoc Networks. 188-193 - Philipp Schügerl, David Walsh, Juergen Rilling, Philippe Charland:

A Contextual Guidance Approach to Software Security. 194-199 - Asterios Leonidis

, George Baryannis
, Xenofon Fafoutis
, Maria Korozi, Niki Gazoni, Michail Dimitriou, Maria Koutsogiannaki
, Aikaterini Boutsika, Myron Papadakis, Haridimos Papagiannakis, George Tesseris, Emmanouil Voskakis, Antonis Bikakis
, Grigoris Antoniou
:
AlertMe: A Semantics-Based Context-Aware Notification System. 200-205
SECASA 2009 Session 2
- Yuanping Li, Ling Feng:

A Quality-Aware Context Middleware Specification for Context-Aware Computing. 206-211 - Weichang Du, Khaled Ben Hamed:

Context Analysis of Intensional Languages. 212-217 - Joey Paquet:

Distributed Eductive Execution of Hybrid Intensional Programs. 218-224
SECASA 2009 Session 3
- Michal Kopecky

, Michal Zemlicka
:
Relaxed Objects - Object Model for Context-Aware Applications. 225-230 - John Plaice, Blanca Mancilla:

Cartesian Programming: The TransLucid Programming Language. 231-236 - Blanca Mancilla, John Plaice:

Declarative Multithreaded Programming. 237-242
QUORS 2009 Session 1: Service Based Systems
- Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu:

Formal Analysis of Services Compatibility. 243-248 - Zakwan Jaroucheh, Xiaodong Liu, Sally Smith

:
A Perspective on Middleware-Oriented Context-Aware Pervasive Systems. 249-254
QUORS 2009 Session 2: Design Pattern and Advanced Software Design
- Jerry Overton, Jon G. Hall

, Lucia Rapanotti, Yijun Yu
:
Towards a Problem Oriented Engineering Theory of Pattern-Oriented Analysis and Design. 255-260 - Chihhsiong Shih, Chien-Ting Wu, Cheng-Yao Lin, Pao-Ann Hsiung

, Nien-Lin Hsueh, Chih-Hung Chang
, Chorng-Shiuh Koong, William C. Chu:
A Model-Driven Multicore Software Development Environment for Embedded System. 261-268 - Anne Miller, Balaji Kumar, Anukul Singhal:

Photon: A Domain-Specific Language for Testing Converged Applications. 269-274
QUORS 2009 Session 3: Software Reuse
- Hwai-Jung Hsu, Feng-Jian Wang:

Using Artifact Flow Diagrams to Model Artifact Usage Anomalies. 275-280 - Ziyou Wang, Minghui Zhou, Donggang Cao, Haiyan Zhao:

Dual-Container: Extending the EJB2.x Container to Support EJB3.0. 281-286 - Dino Konstantopoulos, John Marien, Mike Pinkerton, Eric Braude:

Best Principles in the Design of Shared Software. 287-292
QUORS 2009 Session 4: Software Evolution
- Richard C. Millham

, Hongji Yang:
Domain Analysis in the Reengineering Process of a COBOL System. 293-299 - Mohammed Alawairdhi, Hongji Yang:

A Business-Logic Based Framework for Evolving Software Systems. 300-305 - Lin Chen, Baowen Xu

, Tianlin Zhou, Xiaoyu Zhou:
A Constraint Based Bug Checking Approach for Python. 306-311
STPSA 2009 Session 1
- Antonio Muñoz, Antonio Maña

, Rajesh Harjani, Marioli Montenegro:
Agent Protection Based on the Use of Cryptographic Hardware. 312-317 - Kemal Bicakci

, Nart Bedin Atalay, Mustafa Yuceel, Hakan Gurbaslar, Burak Erdeniz:
Towards Usable Solutions to Graphical Password Hotspot Problem. 318-323 - Claus Wonnemann, Rafael Accorsi, Günter Müller:

On Information Flow Forensics in Business Application Scenarios. 324-328
STPSA 2009 Session 2
- Zhengping Wu, Lifeng Wang:

An Enforcement Architecture for Security and Trust Policies in Federated Web-Service-Based Systems. 329-334 - Kambiz Ghazinour, Maryam Majedi, Ken Barker:

A Model for Privacy Policy Visualization. 335-340
STPSA 2009 Session 3
- Derek P. Ditch, Bruce M. McMillin

:
The Security Implication of Multiple Observers in a Distributed System. 341-346 - Sungyong Shin

, Taek Lee, Hoh Peter In:
Defending Battery Exhaustion Attacks on Mobile Systems. 347-352 - Muhammad Umair Ahmed Khan

, Mohammad Zulkernine:
On Selecting Appropriate Development Processes and Requirements Engineering Methods for Secure Software. 353-358
BINDIS 2009 Session 1: Service Creation and Management
- Mengxing Huang, Chunxiao Xing

, Ji-Jiang Yang:
A Cooperative Framework of Service Chain for Digital Library. 359-364 - Jérémie Chevalier, Stéphane Mouton:

A Specialized Meta-scheduler for Business and Applications Constraints Management. 365-370 - Yang Li:

Towards Industry-Strength SLA Optimization Capabilities for Service Chains. 371-375
BINDIS 2009 Session 2: Service Marketing and Inoperability
- Joe Geldart, William Song, Yang Li:

Matchmaking Using Natural Language Descriptions: Linking Customers with Enterprise Service Descriptions. 376-379 - Aijaz Soomro, William Song, Yang Li:

An Investigation of the Role of Service Level Agreements in Classified Advertisement Websites. 380-385
CFSE 2009 Session 1: Software System Forensics
- Fred Cohen:

Analysis of Redundant Traces for Consistency: With Examples from Electronic Messaging and Graphical Images. 386-391 - Kevin D. Fairbanks

, Ying H. Xia, Henry L. Owen III:
A Method for Historical Ext3 Inode to Filename Translation on Honeypots. 392-397 - Rafael Accorsi:

Log Data as Digital Evidence: What Secure Logging Protocols Have to Offer? 398-403
CFSE 2009 Session 2: Protection Testing and Computer Forensics
- Amrit Pal Singh, Michael K. Lavine, Benjamin P. Turnbull

, Trupti Shiralkar:
Acer Aspire One Netbooks: A Forensic Challenge. 404-409 - Yugesh Madhavan, João W. Cangussu, Ram Dantu:

Penetration Testing for Spam Filters. 410-415
SAPSE 2009 Session 1: Service Collaboration and Access Control
- Hejiao Huang, Hélène Kirchner

:
Policy Composition Based on Petri Nets. 416-421 - Vahid R. Karimi, Donald D. Cowan:

Verification of Access Control Policies for REA Business Processes. 422-427 - Yue Xie, Dehui Du, Jing Liu, Zuohua Ding:

Towards the Verification of Services Collaboration. 428-433
SAPSE 2009 Session 2: Service Security and Protection
- Luca Compagna, Ulrich Flegel, Volkmar Lotz:

Towards Validating Security Protocol Deployment in the Wild. 434-438 - Lutz Lowis, Rafael Accorsi:

On a Classification Approach for SOA Vulnerabilities. 439-444 - Ashish Kundu:

SN2K Attacks and Honest Services. 445-450 - Weider D. Yu, Shruti Nargundkar, Nagapriya Tiruthani:

PhishCatch - A Phishing Detection Tool. 451-456
IWSC 2009 Session 2
- Mykola V. Tkachuk, Sergii Polkovnikov, Sergiy Bronin

:
Adaptive Control Framework for Software Components: Case-Based Reasoning Approach. 457-461 - Changyan Zhou, Ratnesh Kumar:

Modeling Simulink Diagrams Using Input/Output Extended Finite Automata. 462-467 - Gregory S. Thomas, Bill Nickless, David R. Thiede, Ian Gorton, Bill J. Pitre, Jason E. Christy, Liz Faultersack, Jeffery A. Mauth:

T3: Secure, Scalable, Distributed Data Movement and Remote System Control for Enterprise Level Cyber Security. 468-472
IWSC 2009 Session 3
- Chang Liu, Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Dazhi Huang, Stephen S. Yau:

A Control-Based Approach to Balance Services Performance and Security for Adaptive Service Based Systems (ASBS). 473-478 - Shengbing Jiang, Ratnesh Kumar:

Prevention of Sequential Message Loss in CAN Systems. 479-484 - Xiaoying Bai, Ron S. Kenett

:
Risk-Based Adaptive Group Testing of Semantic Web Services. 485-490
CORCS 2009 Session 1: Modeling and Optimization of Component-Based Systems
- Olivier Lobry, Juan F. Navas, Jean-Philippe Babau:

Optimizing Component-Based Embedded Software. 491-496 - Aida Causevic, Aneta Vulgarakis:

Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems. 497-503
CORCS 2009 Session 2: Analyzing Complex Real-Time and Embedded Systems
- Florian Kantz, Thomas Ruschival, Philipp Nenninger, Detlef Streitferdt

:
Testing with Large Parameter Sets for the Development of Embedded Systems in the Automation Domain. 504-509 - Yue Lu, Antonio Cicchetti

, Stefan Bygde, Johan Kraft, Christer Norström:
Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring. 510-515
IEESD 2009 Session 1
- Tibor Farkas, Carsten Neumann, Andreas Hinnerichs:

An Integrative Approach for Embedded Software Design with UML and Simulink. 516-521 - Jayakanth Srinivasan, Radu Dobrin, Kristina Lundqvist:

'State of the Art' in Using Agile Methods for Embedded Systems Development. 522-527 - Thomas Ruschival, Philipp Nenninger, Florian Kantz, Detlef Streitferdt

:
Test Case Mutation in Hybrid State Space for Reduction of No-Fault-Found Test Results in the Industrial Automation Domain. 528-533
STA 2009 Session 1: Test Automation I
- Eun Ha Kim, Jong Chae Na, Seok Moon Ryoo:

Implementing an Effective Test Automation Framework. 534-538 - Tugkan Tuglular

, Can Arda Muftuoglu, Özgür Kaya, Fevzi Belli, Michael Linschulte:
GUI-Based Testing of Boundary Overflow Vulnerability. 539-544
STA 2009 Session 2: Test Automation II
- Rajesh Subramanyan, Christof J. Budnik:

Test Selection Prioritization Strategy. 545-549 - Hossain Shahriar

, Mohammad Zulkernine:
Automatic Testing of Program Security Vulnerabilities. 550-555 - Changbin Ji, Zhenyu Chen, Baowen Xu

, Ziyuan Wang:
A New Mutation Analysis Method for Testing Java Exception Handling. 556-561

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














