An official website of the United States government
Here’s how you know
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Siham Khoussi, N. Alan Heckert, Saddek Bensalem, Abdella Battou
Statistical model checking (SMC) is a formal verification method that combines simulations with statistical techniques to provide quantitative answers on
Siham Khoussi, Lotfi Benmohamed, Abdella Battou, Junxiao Shi, James J. Filliben, Saddek Bensalem, Ayoub Nouri
Named Data Networking (NDN) is an emerging technology for a future Internet architecture that addresses weaknesses of the Internet Protocol (IP). Since Internet
Currently, the electricity demand is exponentially increasing due to the population growth. Therefore, the demand side management (DSM) is becoming unavoidable
Siham Khoussi, N. Alan Heckert, Abdella Battou, Saddek Bensalem
Probability distribution fitting of an unknown stochastic process is an important preliminary step for any further analysis in science or engineering. However
In this paper we propose NDN-Trace, a path tracing utility to determine the characteristics of the available paths to reach a given name prefix in NDN-based