Formal Analysis of OWL-S Process Model by FDR (Englisch)
- Neue Suche nach: Ping Gong,
- Neue Suche nach: Jianmin Jiang,
- Neue Suche nach: Shi Zhang,
- Neue Suche nach: Ping Gong,
- Neue Suche nach: Jianmin Jiang,
- Neue Suche nach: Shi Zhang,
In:
2011 IEEE Asia-Pacific Services Computing Conference
;
215-222
;
2011
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:Formal Analysis of OWL-S Process Model by FDR
-
Beteiligte:
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE
-
Erscheinungsdatum:01.12.2011
-
Format / Umfang:334896 byte
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Flexible Organization Structure-Based Access Control Model and ApplicationMinghui Jing, / Hongming Cai, / Fenglin Bu, et al. | 2011
- 9
-
Applying Scrum Framework in the IT Service Support DomainShalaby, M. / El-Kassas, S. et al. | 2011
- 16
-
Global-Time-Offsets Based Checkpoint Selection for Dynamic Verification of Fixed-Time Constraints in Grid WorkflowsHongda Wang, / Wei Song, / Jianchun Xing, / Qiliang Yang, et al. | 2011
- 24
-
On Trust Management for Multimedia P2P Applications in Autonomic NetworkingIltaf, N. / Ghafoor, A. / Hussain, M. et al. | 2011
- 29
-
An Executional Framework for BPMN Using OrcGoel, N. / Shyamasundar, R. K. et al. | 2011
- 37
-
Impact of Embedded Software in IT on Economic PerformanceKure Chel Lee, et al. | 2011
- 41
-
The Impacts of Information Technology Enabled Services on Service Innovations: A Case Study in a Publishing CompanyYao Chin Lin, / Ping Heng Tsai, / Nhu Hang Ha, et al. | 2011
- 48
-
Analysis of the File System and Block IO Scheduler for SSD in Performance and Energy ConsumptionSun Hui, / Zeng Rui, / Cheng Jin, / Liu Lei, / Wu Fei, / Xie Chang Sheng, et al. | 2011
- 56
-
A Study on the Influential Factors for Continual Usage of Mobile English Learning ApplicationsSeongwon Park, / Taisiya Kim, / Bong Gyou Lee, et al. | 2011
- 62
-
A Distributed Mobile Database ArchitectureAmja, A. M. / Obaid, A. / Seguin, N. et al. | 2011
- 70
-
RescueMe: An Indoor Mobile Augmented-Reality Evacuation System by Personalized PedometryJunho Ahn, / Han, R. et al. | 2011
- 78
-
Testing of Web Services: Tools and ExperimentsTien-Dung Cao, / Castanet, R. / Felix, P. / Morales, G. et al. | 2011
- 86
-
FSM4WSR: A Formal Model for Verifiable Web Service RuntimeZhuqing Li, / Dianfu Ma, / Yongwang Zhao, / Jing Li, / Qing Yang, et al. | 2011
- 94
-
Fast Development Platforms and Methods for Cloud ApplicationsHosono, S. / Jiafu He, / Xuemei Liu, / Lin Li, / He Huang, / Yoshino, S. et al. | 2011
- 102
-
A Mechanism Generating Semi-Structured RDF Metadata from Web DocumentsHsiang-Yuan Hsueh, / Chun-Nan Chen, / Kun-Fu Huang, et al. | 2011
- 110
-
A Strong User Authentication Framework for Cloud ComputingChoudhury, A. J. / Kumar, P. / Sain, M. / Hyotaek Lim, / Hoon Jae-Lee, et al. | 2011
- 116
-
A Cloud Architecture Using Smart NodesSodhi, B. / Prabhakar, T. V. et al. | 2011
- 124
-
A Hybrid Approach to Placement of Tenants for Service-Based Multi-tenant SaaS ApplicationEnfeng Yang, / Yong Zhang, / Lei Wu, / Yulong Liu, / Shijun Liu, et al. | 2011
- 131
-
Exploiting Dynamic Distributed Load Balance by Neighbor-Matching on P2P GridsPo-Jung Huang, / You-Fu Yu, / Kuan-Chou Lai, / Ching-Hsien Hsu, / Kuan-Ching Li, et al. | 2011
- 139
-
Towards Data Isolation & Collaboration in Storage CloudQingni Shen, / Xin Yang, / Xi Yu, / Pengfei Sun, / Yahui Yang, / Zhonghai Wu, et al. | 2011
- 147
-
Research on Adaptive QoS-Aware Resource Reservation Management in Cloud Service EnvironmentsXiaoying Wang, / Yuanyuan Xue, / Lihua Fan, / Rui Wang, / Zhihui Du, et al. | 2011
- 153
-
Exchanging Data Agreements in the DaaS ModelHong-Linh Truong, / Dustdar, S. / Gotze, J. / Fleuren, T. / Muller, P. / Tbahriti, Salah-Eddine / Mrissa, M. / Ghedira, C. et al. | 2011
- 161
-
Domain Concept Extraction Model Based on FolksonomyWeisen Pan, / Shizhan Chen, / Zhiyong Feng, et al. | 2011
- 166
-
Enabling the Benefits of Cloud Computing in a Military ContextZaerens, K. et al. | 2011
- 174
-
On Analyzing and Developing Data Contracts in Cloud-Based Data MarketplacesHong-Linh Truong, / Gangadharan, G. R. / Comerio, M. / Dustdar, S. / De Paoli, F. et al. | 2011
- 182
-
Hybrid Genetic Algorithm for Cloud Computing ApplicationsKai Zhu, / Huaguang Song, / Lijing Liu, / Jinzhu Gao, / Guojian Cheng, et al. | 2011
- 188
-
A Three-Step Service Experience Approach with Feedback for Service ProviderZhi Yang, / Budan Wu, / Nan Yu, / Gang Yu, / Junliang Chen, et al. | 2011
- 195
-
R2A: Realtime Resolution Adapter for Asymmetric Computer Screen RecordingShin-Hung Chang, / Kuei-Hsiung Chang, / Wei-Ting Chen, et al. | 2011
- 203
-
Enhancing QoS and Energy Efficiency of Realtime Network Application on Smartphone Using Cloud ComputingJung, I. Y. / Insoon Jo, / Youngjin Yu, / Hyeonsang Eom, / Yeom, H. Y. et al. | 2011
- 208
-
Model of Variable Granularity Service Composition Based on Event StreamPengfei Fan, / Fenglin Bu, / Hongming Cai, et al. | 2011
- 215
-
Formal Analysis of OWL-S Process Model by FDRPing Gong, / Jianmin Jiang, / Shi Zhang, et al. | 2011
- 223
-
Adaptable Discovery and Ranking of Context-Dependent ServicesIbrahim, N. / Mohammad, M. / Alagar, V. et al. | 2011
- 231
-
Adaptive Failure Detection via Heartbeat under HadoopHao Zhu, / Haopeng Chen, et al. | 2011
- 239
-
A Content Aggregation Scheme through an Ontological CategorizationGyubaek Kim, et al. | 2011
- 243
-
Measuring and Analyzing CPU Overhead of Virtualization SystemGuan Tong, / Hai Jin, / Xia Xie, / Wenzhi Cao, / Pingpeng Yuan, et al. | 2011
- 251
-
Mismatch Detection of Asynchronous Web Services with Timed ConstraintsZhang Guang-quan, / Shi Hui-juan, / Rong Mei, et al. | 2011
- 259
-
A Formal Specification-Based Testing Approach to Accurate Web Service SelectionWeikai Miao, / Shaoying Liu, et al. | 2011
- 267
-
User-centric and QoS-Based Service SessionSoulimani, H. A. / Coude, P. / Simoni, N. et al. | 2011
- 275
-
Generating Quantitative Test Cases for Probabilistic Timed Web Service CompositionHonghao Gao, / Ying Li, et al. | 2011
- 284
-
A Tabu Search Approach for Dynamic Service Substitution in SOA ApplicationsCan Zhang, / Haopeng Chen, / Jinbo Du, et al. | 2011
- 290
-
Generating Scenarios from Web Service ChoreographyZhang Ke, / Qiu Zongyan, / Yang Hongli, et al. | 2011
- 298
-
A Distributed Cache Based Reliable Service Execution and Recovery Approach in MANETsXi Zhou, / Yifan Ge, / Xuxu Chen, / Yinan Jing, / Weiwei Sun, et al. | 2011
- 310
-
Context-Aware Service Overlay Network: Concept and Case StudySeung-Ik Lee, / Jong-Hwa Yi, / Shin-Gak Kang, et al. | 2011
- 316
-
ROB/CN: An Efficient Reliable 1-Hop Broadcast Using CSMA/CN in Mobile Ad Hoc NetworksSeungjin Park, / Seong-Moo Yoo, et al. | 2011
- 321
-
Analyses of a Novel IPTV Framework for Cable TV OperatorsXiaodong Yang, et al. | 2011
- 327
-
Interoperable Telepresence Services: Beyond HD-Videoconferences and Towards TelepresenceWook Hyun, / ShinGak Kang, et al. | 2011
- 330
-
STEP-a: An Algorithmic Approach towards Trust Based Security in Pervasive Computing EnvironmentIltaf, N. / Ghafoor, A. / Hussain, M. et al. | 2011
- 337
-
An Intelligent System for Wheelchair Users Using Data Mining and Sensor Networking TechnologiesYing-Hong Wu, / Cheng-Chi Wang, / Tzung-Shi Chen, / Chih-Yu Li, et al. | 2011
- 345
-
MSOA: Mobility-Aware Service Oriented ArchitectureSerhani, M. A. / Benharref, A. et al. | 2011
- 353
-
A Sampling-Based Data Filtering Scheme for Reducing Energy Consumption in Wireless Sensor NetworksSeung Tae Hong, / Byeong-Seok Oh, / Jae Woo Chang, et al. | 2011
- 360
-
Design and Analysis of a MST-Based Topology Control Scheme with PSO for Wireless Sensor NetworksWenzhong Guo, / Jong Hyuk Park, / Yang, L. T. / Vasilakos, A. V. / Naixue Xiong, / Guolong Chen, et al. | 2011
- 368
-
An Analytical Model for Interactive VANET ServicesTai-Chi Wang, / Shih Yu Chang, et al. | 2011
- 373
-
ADSR: Angle-Based Multi-hop Routing Strategy for Mobile Wireless Sensor NetworksKwangcheol Shin, / Kyungjun Kim, / Soontae Kim, et al. | 2011
- 377
-
Coverage Enhancing Algorithms in Directional Sensor Networks with Rotatable SensorsChiu-Kuo Liang, / Chih-Hung Tsai, / Ting-Hao Chu, et al. | 2011
- 384
-
An Energy-Efficient Dynamic Duty-Cycle and Dynamic Schedule Assignment Scheme for WSNsHsin-Hung Cho, / Jian-Ming Chang, / Chi-Yuan Chen, / Shin-Yun Huang, / Han-Chieh Chao, / Jiann-Liang Chen, et al. | 2011
- 389
-
Bigraphical Model of Context-Aware in Ubiquitous Computing EnvironmentsDe-Zhen Xu, / Dong Xu, / Zhou Lei, et al. | 2011
- 395
-
64 Channel Digital Hearing Aid Emdedded FirmwareSoon-Suck Jarng, / Samuel, M. / Je-Hyung Lee, et al. | 2011
- 402
-
A Study on the Human Identification Technique for Privacy Protection in Intelligent Video Surveillance SystemMin-Gu Kim, / Hae-Min Moon, / Chulho Won, / Yongwha Chung, / Sung Bum Pan, et al. | 2011
- 406
-
Refined Algorithm for Prime Number Generation in Embedded Security SystemsYoung-Sik Kim, / Shrestha, S. R. / Ji-Woong Jang, et al. | 2011
- 410
-
Monte Carlo Localization of Underwater Robot Using Internal and External InformationNak Yong Ko, / Tae Gyun Kim, / Sung Woo Noh, et al. | 2011
- 416
-
Elastic High Performance Applications -- A Composition FrameworkTran Vu Pham, / Hong-Linh Truong, / Dustdar, S. et al. | 2011
- 424
-
Unifiable Preference Expressions for Pervasive Service CompositionChun-Feng Liao, / Hsueh-Hung Cheng, / Li-Chen Fu, et al. | 2011
- 432
-
A Design and Implementation of u-Service FrameworkJung-Sik Sung, / Jongmoo Sohn, / Young-Sik Chung, et al. | 2011
- 436
-
A Real-Time Electroencephalogram (EEG) Based Individual Identification Interface for Mobile Security in Ubiquitous EnvironmentBin Hu, / Quanying Liu, / Qinglin Zhao, / Yanbing Qi, / Hong Peng, et al. | 2011
- 442
-
Message Dependency-Based Adaptation of ServicesJian-min Jiang, / Shi Zhang, / Ping Gong, / Zhong Hong, et al. | 2011
- 450
-
Bringing Socialized Semantics into Web Services Based on User-centric Collaborative Tagging and Usage ExperienceChukmol, U. / Benharkat, A-n / Amghar, Y. et al. | 2011
- 456
-
An Approach to Modeling and Analyzing Security Requirements of Service CompositionGuisheng Fan, / Huiqun Yu, / Liqiong Chen, / Dongmei Liu, et al. | 2011
- 464
-
A Survey of Service Identification StrategiesSimin Cai, / Yan Liu, / Xiaoping Wang, et al. | 2011
- 471
-
Enabling Interoperability across Heterogeneous Semantic Web Services with OWL-S Based MediationLe Duy Ngan, / Rho, S. / Yuzhang Feng, / Kanagasabai, Rajaraman et al. | 2011
- 477
-
Automatic Service Composition via Model CheckingYuzhang Feng, / Veeramani, A. / Kanagasabai, R. / Seungmin Rho, et al. | 2011
- 483
-
A Plan-Based Service Composition for Work Process Agent in Ubiquitous ComputingSeheon Song, / Minkoo Kim, et al. | 2011
- 488
-
BDI Agent-Based Mobile Assistant Service on Android Using JAMHyo-eun Eom, / Seheon Song, / Minkoo Kim, et al. | 2011
- 493
-
Integrating Business Processes and Business RulesYujing Zhao, / Dianfu Ma, / Yongwang Zhao, / Zhuqing Li, et al. | 2011
- 498
-
A Framework for Context-Aware P2P ServiceChangKyu Lee, / SungHei Kim, / ShinGak Kang, et al. | 2011
- 503
-
A Solution for Grouping Vietnamese Synonym Feature Words in Product ReviewsHuyen-Trang Pham, / Tien-Thanh Vu, / Mai-Vu Tran, / Quang-Thuy Ha, et al. | 2011
- 509
-
Author index| 2011
- 514
-
[Publishers information]| 2011
- C1
-
[Front cover]| 2011
- i
-
[Title page i]| 2011
- iii
-
[Title page iii]| 2011
- iv
-
[Copyright notice]| 2011
- v
-
Table of contents| 2011
- xii
-
Message from the APSCC 2011 General Conference Chairs| 2011
- xiii
-
Message from the APSCC 2011 Program Committee Chairs| 2011
- xiv
-
APSCC 2011 Organizing Committee| 2011
- xix
-
Semantics, Services and Applications Reviewers (SSA 2011)| 2011
- xv
-
APSCC 2011 Program Committee| 2011
- xvii
-
Welcome Message from the Semantics, Services and Applications Workshop Chairs (SSA 2011)| 2011
- xviii
-
Semantics, Services and Applications Workshop Committee (SSA 2011)| 2011