Blar i Studentoppgaver (TN-IDE) på emneord "temporal logic"
Viser treff 1-1 av 1
-
Framework of evidence collection with temporal logic and first-order logic for providing accountability in Cloud Service
(Masteroppgave/UIS-TN-IDE/2014;, Master thesis, 2014-06-12)With the introduction of cloud computing, many types of services have been introduced within the umbrella of this technology. With these services, some of the computations are brought into network, cloud of service machines. ...