io-port.net

io-port 06056090 Haggar, Mahamat Saleh Daoussa; Nkounkou, Hilaire; Karim, Mohamed Taki Abdoul; Langa, Franck Davhys Reval; Ntanganda, Jean Marie; Mampassi, Benjamin

Asymptotic states of the cardiovascular and respiratory system during physical activity. (English)

Far East J. Appl. Math. 59, No. 2, 123-147 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05982012 Yahya, Mohamed; Theobald, Martin

D2R2: disk-oriented deductive reasoning in a RISC-style RDF engine. (English)

Olken, Frank (ed.) et al., Rule-based modeling and computing on the semantic web. 5th international symposium, RuleML 2011 ‒ America, Ft. Lauderdale, FL, Florida, USA, November 3‒5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24907-5/pbk). Lecture Notes in Computer Science 7018, 81-96 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05976022 Hamel, Lazhar; Graiet, Mohamed; Kmimech, Mourad; Bhiri, Mohamed Tahar; Gaaloul, Walid

Verifying composite service transactional behavior with EVENT-B. (English)

Crnkovic, Ivica (ed.) et al., Software architecture. 5th European conference, ECSA 2011, Essen, Germany, September 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23797-3/pbk). Lecture Notes in Computer Science 6903, 67-74 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05973914 Benabbas, Farouk; Khadir, Mohamed Tarek

Fuzzy C-means clustering and kohonen maps for the identification of regional electricity load day types. (English)

Int. J. Hybrid Intell. Syst. 8, No. 2, 81-92 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05933233 Walha, Lassâad; Driss, Yassine; Khabou, Mohamed Taoufik; Fakhfakh, Tahar; Haddar, Mohamed

Effects of eccentricity defect on the nonlinear dynamic behavior of the mechanism clutch-helical two stage gear. (English)

Mech. Mach. Theory 46, No. 7, 986-997 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05915260 Méry, Dominique; Mosbah, Mohamed; Tounsi, Mohamed

Refinement-based verification of local synchronization algorithms. (English)

Butler, Michael (ed.) et al., FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21436-3/pbk). Lecture Notes in Computer Science 6664, 338-352 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50041760 Abdullah, Rusli; Shah, Zainab Mohamed; Talib, Amir Mohamed

A framework of tools for managing software architecture knowledge (English)

Computer and Information Science 4, No. 2, 2-16 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70064952 Hamel, Lazhar; Graiet, Mohamed; Kmimech, Mourad; Bhiri, Mohamed Tahar; Gaaloul, Walid

Verifying composite service transactional behavior with EVENT-B (English)

ECSA, 67-74 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70200609 Bhiri, Mohamed Tahar; Kmimech, Mourad; Graiet, Mohamed; Aniorté, Philippe

UML/OCL and refinement (English)

ECBS, 149-158 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70338959 Mohamed, Thahir; Jr., Estevam R. Hruschka; Mitchell, Tom M.

Discovering relations between noun categories (English)

EMNLP, 1447-1455 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70339931 Lazli, Lilia; Chebira, Abdennasser; Laskri, Mohamed Tayeb; Madani, Kurosh

Hybrid HMM/ANN system using fuzzy clustering for speech and medical pattern recognition (English)

DICTAP (2), 557-570 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70612000 Méry, Dominique; Mosbah, Mohamed; Tounsi, Mohamed

Refinement-based verification of local synchronization algorithms (English)

FM, 338-352 (2011).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70675254 Bourkache, Ghenima; Mezghiche, Mohamed; Tamine, Karim

A distributed intrusion detection model based on a society of intelligent mobile agents for ad hoc network (English)

ARES, 569-572 (2011).

13

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70693087 Yahya, Mohamed; Theobald, Martin

D2R2: disk-oriented deductive reasoning in a RISC-style RDF engine (English)

RuleML America, 81-96 (2011).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70717717 Brendel, William; Amer, Mohamed; Todorovic, Sinisa

Multiobject tracking as maximum weight independent set (English)

CVPR, 1273-1280 (2011).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70877702 Hamel, Lazhar; Graiet, Mohamed; Kmimech, Mourad; Bhiri, Mohamed Tahar; Gaaloul, Walid

Verifying composite service transactional behavior with EVENT-B (English)

SKG, 99-106 (2011).

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70877703 Mhamdi, Amel; Maraoui, Raoudha; Graiet, Mohamed; Kmimech, Mourad; Bhiri, Mohamed Tahar; Cariou, Eric

Towards an IDM approach of transforming web services into ACME providing quality of service (English)

SKG, 187-190 (2011).

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70877761 Louhichi, Soumaya; Graiet, Mohamed; Kmimech, Mourad; Bhiri, Mohamed Tahar; Gaaloul, Walid; Cariou, Eric

ATL transformation for the generation of SCA model (English)

SKG, 164-167 (2011).

18

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70877853 Ben Abid, Wided; Graiet, Mohamed; Kmimech, Mourad; Bhiri, Mohamed Tahar; Gaaloul, Walid; Cariou, Eric

Profile UML2.0 for specification of the SCA architectures (English)

SKG, 191-194 (2011).

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 71021984 Killian, Cedric; Tanougast, Camel; Dandache, Abbas; Frihi, Mohamed; Toumi, Salah

A dependable and dynamic network on chip suitable for FPGA-based reconfigurable systems (English)

ReCoSoC, 1-6 (2011).

20

PDF XML AMS-TeX TEXT BIBTeX DOI