Search

English
- Persian
- English
Login

Ferdowsi University of Mashhad
|
Information Center and Central Library

- Persian
- English

Home
Source Types
- Journal Paper
- Ebook
- Conference Paper
- Standard
- Protocol
- Thesis
Use Help

FUM Digital Library
Search

FUM Digital Library
Search

All Fields
Title
Author
Year
Publisher
Subject
Publication Title
ISSN
DOI
ISBN

Advanced Search

JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced Filters Hide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-5 of 5

Relevance
Title Asc
Title Desc
Year Asc
Year Desc

5
10
20
40
60
80
100

CSV
RIS

Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100

Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B

Type: Conference Paper

Author : Abbassi, I.; Kmimech, M.; Ben Hadj Alouane, N.; Gaaloul, W.

Publisher: IEEE

Year: 2014

An On-the-Fly Approach for the Verification of Opacity in Critical Systems

Type: Conference Paper

Author : Klai, K.; Hamdi, N.; Ben Hadj-Alouane, N.

Publisher: IEEE

Year: 2014

Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach

Type: Conference Paper

Author : Abbassi, I.; Graiet, M.; Ben Hadj Alouane, N.

Publisher: IEEE

Year: 2014

A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions

Type: Conference Paper

Author : Abbassi, I.; Graiet, M.; Gaaloul, W.; Ben Hadj Alouane, N.

Publisher: IEEE

Year: 2014

A Behavior-Aware Systematic Approach for Merging Business Process Fragments

Type: Conference Paper

Author : Zemni, M.A.; Mammar, A.; Ben Hadj Alouane, N.

Publisher: IEEE

Year: 2014

Author

Ben Hadj Alouane, N. (4)

Abbassi, I. (3)

Gaaloul, W. (2)

Graiet, M. (2)

Ben Hadj-Alouane, N. (1)

Hamdi, N. (1)

Klai, K. (1)

Kmimech, M. (1)

Mammar, A. (1)

Zemni, M.A. (1)

Publisher

IEEE (5)

Year

2014 (5)

Keywords

Adjuvant immunotherapy (1)

alliance structure effect (1)

Amplitude Shift Keying(ASK) (1)

Antennas (1)

balanced modulators (1)

Band-pass filters (1)

Bidi (1)

bidirectional information sharing (1)

Binary phase shift keying (1)

Binary Phase Shift Keying(BPSK) (1)

Type

Conference Paper (5)

Language (ISO)

English (5)

Content Type

Metadata Only (5)

Publication Title

ETICE Conference (WETICE), 2014 IEEE 23rd International (3)

ervices Computing (SCC), 2014 IEEE International Conference on (1)

ngineering of Complex Computer Systems (ICECCS), 2014 19th International Conference on (1)

About Us

نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش

DSpace software copyright © 2019-2022 DuraSpace