Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
For the random arrival tasks, maximum of the social welfare by allocating the VMs in private cloud is concerned in this work. The model of VMs allocation online mechanism is built, which is single-valued, non-parallel, and preemptive. A preemptive online mechanism is proposed, the truthfulness is proved, and the competitive ratio is given in a simple situation. Many simulations are implemented using...
Bisimilarity is one of the most studied relations between behavioral equivalences proposed in the concurrency theory. Algorithms for checking bisimulation in finite state system are very useful for both theoretical aspects and practical applications. In order to give a detailed comparison on different implementation techniques for bisimilarity of LTS, this paper studies and implements two different...
We propose a service's reputation model in service-oriented environments. The model is built on the base of raters' behavior showing on current rated service and other similar services. Both a rater's credibility and sensitivity are considered in our model at the same time. Furthermore, the latter is first put forward distinguishing among the services to give constructive suggestions for new users...
Controller automata, extending timed automata, are a formal theory to model and analyze real-time systems with mutex components. Given a strict partial order over states, an ordered controller automaton can be faithfully translated into a timed automaton. We present a tool named Emerald to translate ordered controller automata into timed automata and perform the transformation between their specifications...
Exchange protocols are an important theoretic basis to make secure electronic commerce and electronic business transactions possible, in which the fairness is a crucial property. To ensure and verify the property, a specific model is proposed, based on the extensive game with imperfect information. Fairness is built in the protocol game and the corresponding game tree. To verify the property, a tree...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.