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.