Search

Your search keyword '"Kallel, Slim"' showing total 277 results
Start Over Author "Kallel, Slim"

Refine your results

more »

more »

more »

more »
277 results on '"Kallel, Slim"'

2. Towards a Secure Cross-Blockchain Smart Contract Architecture

Author

Mars, Rawya, Cheikhrouhou, Saoussen, Kallel, Slim, Sellami, Mohamed, Kacem, Ahmed Hadj, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Kallel, Slim, editor, Jmaiel, Mohamed, editor, Zulkernine, Mohammad, editor, Hadj Kacem, Ahmed, editor, Cuppens, Frédéric, editor, and Cuppens, Nora, editor

Published
2023
Full Text
View/download PDF

8. Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment

Author

Fakhfakh, Fairouz, Neji, Ahemd, Cheikhrouhou, Saoussen, Kallel, Slim, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Attiogbé, Christian, editor, Ferrarotti, Flavio, editor, and Maabout, Sofian, editor

Published
2019
Full Text
View/download PDF

9. A SAT-Based Formal Approach for Verifying Business Process Configuration

Author

Ait Wakrime, Abderrahim, Boubaker, Souha, Kallel, Slim, Gaaloul, Walid, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Yuan, Junsong, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Younas, Muhammad, editor, Awan, Irfan, editor, and Benbernou, Salima, editor

Published
2019
Full Text
View/download PDF

10. Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets

Author

Cheikhrouhou, Saoussen, Chabouh, Nesrine, Kallel, Slim, Maamar, Zakaria, Barbosa, Simone Diniz Junqueira, Series Editor, Filipe, Joaquim, Series Editor, Kotenko, Igor, Series Editor, Sivalingam, Krishna M., Series Editor, Washio, Takashi, Series Editor, Yuan, Junsong, Series Editor, Zhou, Lizhu, Series Editor, Ghosh, Ashish, Series Editor, Abdelwahed, El Hassan, editor, Bellatreche, Ladjel, editor, Benslimane, Djamal, editor, Golfarelli, Matteo, editor, Jean, Stéphane, editor, Mery, Dominique, editor, Nakamatsu, Kazumi, editor, and Ordonez, Carlos, editor

Published
2018
Full Text
View/download PDF

11. Verification of the Consistency of Time-Aware Cyber-Physical Processes

Author

Graja, Imen, Kallel, Slim, Guermouche, Nawal, Kacem, Ahmed Hadj, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Braubach, Lars, editor, Murillo, Juan M., editor, Kaviani, Nima, editor, Lama, Manuel, editor, Burgueño, Loli, editor, Moha, Naouel, editor, and Oriol, Marc, editor

Published
2018
Full Text
View/download PDF

12. Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation

Author

Halima, Rania Ben, Kallel, Slim, Gaaloul, Walid, Jmaiel, Mohamed, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Panetto, Hervé, editor, Debruyne, Christophe, editor, Proper, Henderik A., editor, Ardagna, Claudio Agostino, editor, Roman, Dumitru, editor, and Meersman, Robert, editor

Published
2018
Full Text
View/download PDF

14. The Impact of Digital Technologies on Public Health in Developed and Developing Countries

Author

Jmaiel, Mohamed, Mokhtari, Mounir, Abdulrazak, Bessam, Aloulou, Hamdi, and Kallel, Slim

Subjects
Computer Communication Networks, Artificial Intelligence, Information Systems Applications (incl. Internet), Special Purpose and Application-Based Systems, Computer System Implementation, User Interfaces and Human Computer Interaction, Computer and Information Systems Applications, open access, artificial intelligence, communication systems, computer vision, databases, hci, human-computer interaction, image processing, Internet of Things, IoT, machine learning, network protocols, sensors, signal processing, software architecture, software design, telecommunication networks, telecommunication systems, user interfaces, wireless telecommunication systems, Network hardware, Artificial intelligence, Information retrieval, Internet searching, Expert systems / knowledge-based systems, Systems analysis & design, User interface design & usability, bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence, bic Book Industry Communication::U Computing & information technology::UN Databases::UNH Information retrieval, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZG User interface design & usability
Abstract

This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.

Published
2020
Full Text
View/download PDF

16. Formal Verification of Time-Aware Cloud Resource Allocation in Business Process

Author

Ben Halima, Rania, Kallel, Slim, Klai, Kais, Gaaloul, Walid, Jmaiel, Mohamed, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Debruyne, Christophe, editor, Panetto, Hervé, editor, Meersman, Robert, editor, Dillon, Tharam, editor, Kühn, eva, editor, O'Sullivan, Declan, editor, and Ardagna, Claudio Agostino, editor

Published
2016
Full Text
View/download PDF

17. A Smart Contract-Based Access Control Framework For Smart Healthcare Systems.

Author

Abid, Amal, Cheikhrouhou, Saoussen, Kallel, Slim, Tari, Zahir, and Jmaiel, Mohamed

Subjects
ACCESS control, ELECTRONIC paper, BLOCKCHAINS, COST control, INTERNET of things
Abstract

Security faces huge challenges in Internet of Things (IoT) environments. In particular, conventional access control standards and models tend to be less tailored for IoT due to the constrained nature of smart objects. Usually, a powerful third party is used to handle the access control logic. However, this third party is lacking in transparency and could harm user privacy. Therefore, providing a distributed access control solution, while considering transparency and privacy-preserving awareness in IoT smart systems, is of paramount importance. The described issue can be addressed using the emergent Blockchain technology that provides a promising choice to build a new generation of decentralized and transparent access control solutions. This paper proposes a smart contract-based access control framework for IoT smart healthcare systems, which is based on smart contracts to provide a distributed and trustworthy access control, combined with the GTRBAC model to express fine-grained access control policies while considering temporal authorization constraints. To prove the feasibility and validity of the proposed framework, this paper also provides a detailed technical description and an initial implementation and execution. An experimental evaluation shows that security properties' analyses on smart contracts achieved the best possible evaluation with no vulnerabilities found, and the cost of access control operations increases linearly as the number of policy constraints increases. Besides, a comparative analysis reveals that the proposed approach can achieve good results with low gas costs and latency. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

18. On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes

Author

Cheikhrouhou, Saoussen, Kallel, Slim, Guermouche, Nawal, Jmaiel, Mohamed, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Franch, Xavier, editor, Ghose, Aditya K., editor, Lewis, Grace A., editor, and Bhiri, Sami, editor

Published
2014
Full Text
View/download PDF

19. Monitoring of Quality of Service in Dynamically Adaptive Systems

Author

Loukil, Sihem, Kallel, Slim, Rodriguez, Ismael Bouassida, Jmaiel, Mohamed, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, Series editor, Tanaka, Yuzuru, Series editor, Wahlster, Wolfgang, Series editor, Siekmann, Jörg, Series editor, and Bouchachia, Abdelhamid, editor

Published
2014
Full Text
View/download PDF

20. An Approach for Security Patterns Application in Component Based Models

Author

Bouaziz, Rahma, Kallel, Slim, Coulette, Bernard, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Murgante, Beniamino, editor, Misra, Sanjay, editor, Rocha, Ana Maria A. C., editor, Torre, Carmelo, editor, Rocha, Jorge Gustavo, editor, Falcão, Maria Irene, editor, Taniar, David, editor, Apduhan, Bernady O., editor, and Gervasi, Osvaldo, editor

Published
2014
Full Text
View/download PDF

21. Middleware for Dynamically Adaptive Systems

Author

Loukil, Sihem, Kallel, Slim, Jmaiel, Mohamed, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Maehle, Erik, editor, Römer, Kay, editor, Karl, Wolfgang, editor, and Tovar, Eduardo, editor

Published
2014
Full Text
View/download PDF

22. Runtime Adaptation of Component Based Systems

Author

Loukil, Sihem, Kallel, Slim, Jmaiel, Mohamed, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gramoli, Vincent, editor, and Guerraoui, Rachid, editor

Published
2013
Full Text
View/download PDF

23. MDA-Based Approach for Implementing Secure Mobile Agent Systems

Author

Kallel, Slim, Loulou, Monia, Rekik, Molka, Kacem, Ahmed Hadj, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Müller, Jörg P., editor, and Cossentino, Massimo, editor

Published
2013
Full Text
View/download PDF

24. An Aspect-Oriented Approach to Enforce Security Properties in Business Processes

Author

Yahya, Inaya, Turki, Sameh Hbaieb, Charfi, Anis, Kallel, Slim, Bouaziz, Rafik, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ghose, Aditya, editor, Zhu, Huibiao, editor, Yu, Qi, editor, Delis, Alex, editor, Sheng, Quang Z., editor, Perrin, Olivier, editor, Wang, Jianmin, editor, and Wang, Yan, editor

Published
2013
Full Text
View/download PDF

25. Modeling Secure Mobile Agent Systems

Author

Rekik, Molka, Kallel, Slim, Loulou, Monia, Kacem, Ahmed Hadj, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Jezic, Gordan, editor, Kusek, Mario, editor, Nguyen, Ngoc-Thanh, editor, Howlett, Robert J., editor, and Jain, Lakhmi C., editor

Published
2012
Full Text
View/download PDF

27. Toward an Aspect Oriented ADL for Embedded Systems

Author

Loukil, Sihem, Kallel, Slim, Zalila, Bechir, Jmaiel, Mohamed, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Babar, Muhammad Ali, editor, and Gorton, Ian, editor

Published
2010
Full Text
View/download PDF

28. RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems

Author

Aloulou, Houssem, Loulou, Monia, Kallel, Slim, Hadj Kacem, Ahmed, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Garcia-Alfaro, Joaquin, editor, Navarro-Arribas, Guillermo, editor, Cuppens-Boulahia, Nora, editor, and Roudier, Yves, editor

Published
2010
Full Text
View/download PDF

29. From Formal Access Control Policies to Runtime Enforcement Aspects

Author

Kallel, Slim, Charfi, Anis, Mezini, Mira, Jmaiel, Mohamed, Klose, Karl, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Massacci, Fabio, editor, Redwine, Samuel T., Jr., editor, and Zannone, Nicola, editor

Published
2009
Full Text
View/download PDF

31. Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants

Author

Kallel, Slim, Charfi, Anis, Mezini, Mira, Jmaiel, Mohamed, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Murphy, Amy L., editor, and Vitek, Jan, editor

Published
2007
Full Text
View/download PDF

35. Extending the Exposure Score of Web Browsers by Incorporating CVSS

Author

Mohsen, Fadi, Shtayyeh, Adel, Naser, Riham, Mohammad, Lena, Struijk, Marten, Luo, Bo, Mosbah, Mohamed, Cuppens, Frédéric, Ben Othmane, Lotfi, Cuppens, Nora, Kallel, Slim, and Information Systems

Abstract

When browsing the Internet, HTTP headers enable both clients and servers send extra data in their requests or responses such as the User-Agent string. This string contains information related to the sender’s device, browser, and operating system. Yet its content differs from one browser to another. Despite the privacy and security risks of User-Agent strings, very few works have tackled this problem. Our previous work proposed giving Internet browsers exposure relative scores to aid users to choose less intrusive ones. Thus, the objective of this work is to extend our previous work through: first, conducting a user study to identify its limitations. Second, extending the exposure score via incorporating data from the NVD. Third, providing a full implementation, instead of a limited prototype. The proposed system: assigns scores to users’ browsers upon visiting our website. It also suggests alternative safe browsers, and finally it allows updating the back-end database with a click of a button. We applied our method to a data set of more than 52 thousand unique browsers. Our performance and validation analysis show that our solution is accurate and efficient. The source code and data set are publicly available here [4].

Published
2022

40. From Process View Generation to Temporal Consistency Analysis of Inter-Organizational Business Processes

Author

Kallel, Slim, Cheikhrouhou, Saoussen, Maamar, Zakaria, Guermouche, Nawal, Jmaiel, Mohamed, Unité de Recherche en développement et contrôle d'applications distribuées (REDCAD), École Nationale d'Ingénieurs de Sfax | National School of Engineers of Sfax (ENIS), Zayed University, Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), and Université de Toulouse (UT)

Subjects
Collaborative processes, View generation, [INFO]Computer Science [cs], Business process Collaborative processes View generation Temporal consistency, Business process, Temporal consistency
Abstract

International audience; Globalization pressure on organizations calls for new approaches to survive and remain competitive. An approach is to promote Inter-Oganizational Business Processes (IOBP) collaboration in which each partner exposes its public know-how without putting at-risk its private know-how nor impeding this collaboration from happening. Public versus private processes are the result of running views over organization's processes. To ensure a successful collaborative BPs, constraints with focus on temporal in this paper need to be satisfied. Organizations could operate in different time zones and have different time requirements. This paper presents an approach for generating process views along with satisfying the combined temporal constraints. Moreover, the paper includes a consistency analysis approach, which provides temporal solutions to some conflicts that could hind collaboration. A system implementing the approach is also discussed in the paper.

Published
2021

Catalog

Books, media, physical & digital resources
See catalog results