Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Java (język programowania)" wg kryterium: Wszystkie pola


Wyświetlanie 1-7 z 7
Tytuł:
Model checking of java programs using networks of fadds
Autorzy:
Woźna, B.
Zbrzezny, A.
Tematy:
język programowania Java
programowanie komputerowe
Pathfinder
języki programowania
Java programming language
computer programming
PathFinder code
programming languages
Pokaż więcej
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Powiązania:
https://bibliotekanauki.pl/articles/121764.pdf  Link otwiera się w nowym oknie
Opis:
In the paper we present the current theoretical base of the J2FADD tool, which translates a Java program to a network of finite automata with discrite data (FADDs).The reason for building the tool is that to model check a concurrent program writ-ten in Java by means of the tools like Uppaal or VerICS (the module VerICS ), an automata model of the Java program must be build first. This is because these tools verify only systems modeled as networks of automata, in particular, systems modeled as networks of FADDs. We also make an attempt to evaluate the J2FADD tool by comparison of it with the two well known Java verification tools: Bandera and Java PathFinder.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A qualitative approach in terms of fuzzy logic related to the excellence achieving within managerial process of personnel selection
Podejście jakościowe w warunkach logiki rozmytej w relacji do osiągnięcia doskonałości w kierowniczym procesie wyboru personelu
Autorzy:
Sirb, L
Dragolea, L.
Tematy:
fuzzy logic
decisional process
personnel
Java programming language
Java
logika rozmyta
proces decyzyjny
personel
język programowania Java
Pokaż więcej
Wydawca:
Politechnika Częstochowska
Powiązania:
https://bibliotekanauki.pl/articles/405251.pdf  Link otwiera się w nowym oknie
Opis:
The present article aims to design and develop a qualitative methodology using fuzzy logic in order to be a real tool for the managerial decisional factor in solving the multicriteria decisional problems related to the proper selection of the personnel and to the achievement of excellence in this field within a company. In our days, the economical environment characterized by globalization and by a continuous change, offers many times to the decisional factors some situations which are surrounded by uncertainty and ambiguity, fact that in its turn leads to a subjectivism of their reasoning, which is in fact a feature of the abstract thinking of human being itself. This aspects are manifesting also in the field of personnel selection, where the evaluations related to this process are often subjectives, materialized through qualitative linguistic values. In this context, using the proposed fuzzy methodology, embedded in a fuzzy software tool developed in the Java programming language, can offer significantly opportunities and chances to achieve the excellence in this field of research, because the future and performance of any organization depend by the human resources that are working within it.
Celem niniejszego artykułu jest zaprojektowanie i opracowanie metodologii, wykorzystującej logikę rozmytą, w celu utworzenia prawdziwego narzędzia czynnika decyzyjnego w rozwiązywaniu wielokryterialnych problemów decyzyjnych związanych z właściwym wyborem personelu. W dzisiejszych czasach, środowisko rynkowe charakteryzuje się globalizacją i ciągłymi zmianami, powodując bardzo często konieczność podejmowania decyzji w sytuacjach niepewnych i wieloznacznych, co z kolei prowadzi do zjawiska subiektywności przy ich podejmowaniu, co w rzeczywistości jest cechą abstrakcyjnego rozumowania u człowieka. Te aspekty bardzo często występują w zakresie doboru personelu, gdzie oceny związane z tym procesem, bardzo często mają charakter subiektywny, uwidacznianie przez jakościowe wartości językowe. W tym kontekście, stosując rozmytą metodologię, istniejące narzędzia, opracowane w języku programowania Java, oferują znaczące korzyści i szanse na osiągnięcie doskonałości w tej dziedzinie badań, ponieważ przyszłość i efektywność każdej organizacji uzależniona jest od zasobów ludzkich które w niej pracują.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Template engine for creating dynamic mailing campaigns based on Java technology
Silnik do tworzenia dynamicznych kampaniimailingowych w oparciu o język programowania Java
Autorzy:
Ciuruś, Bartłomiej
Opis:
Praca ta podejmuje problematykę mnogości specyfikacji silników przetwarzających kod HTML (HyperText Markup Language) wykorzystywanych w klientach mailingowych. Zakres analizy obejmuje zarówno programy klienckie działające jako aplikacje webowe jak i samodzielne oprogramowanie działające na popularnych systemach oraz te uruchamiane na smartfonach. Praca w większej jej części opiera się na przemyśleniach oraz doświadczeniu w pracy z tworzeniem kampanii mailingowych, a także na zebranych statystykach. Ponadto, dokument ten przedstawia propozycję rozwiązania największych problemów związanych z tym tematem proponując zastosowanie silnika interpretującego własny język opisujący strukturę dokumentu do kodu HTML w oparciu o technologię Pug. Nazwa robocza projektu to Emalion. Kod źródłowy przedstawia zarys architektury silnika oparty na stworzonej dokumentacji.
Thesis describes issue with multiplicity of engines specifications which are responsible for processing HTML code (HyperText Markup Language) used in email clients. Scope of the analysis includes clients programs implemented as web applications, but also stand-alone software working on popular operating systems and smartphones. Thesis in greater part is based on thoughts and experience in working with implementing dynamic mail campaigns, but also on collected statistics. Besides, document presents proposition of solution for biggest problems connected with this subject and shows example usage of engine which describes his own language responsible for model of HTML document structure basing on Pug technology. Working title of this project is Emalion. Source code presents architecture draft of engine based on created documentation.
Dostawca treści:
Repozytorium Uniwersytetu Jagiellońskiego
Inne
    Wyświetlanie 1-7 z 7

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies