Thèses sur le sujet « JavaMe »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleures thèses pour votre recherche sur le sujet « JavaMe ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.
Svoboda, Pavel. « Komunikační klient v JavaMe ». Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2009. http://www.nusl.cz/ntk/nusl-218191.
Texte intégralJaneček, Aleš. « Vývoj SIP klienta v JavaME ». Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217494.
Texte intégralObdržálek, Petr. « Video na vyžádání v JavaME ». Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2009. http://www.nusl.cz/ntk/nusl-218196.
Texte intégralKubina, Tomáš. « Rozhraní pro skupinové odesílání SMS v JavaME ». Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217718.
Texte intégralRůčka, Lukáš. « Příjem a posílání SMS zpráv pomocí aplikace určené pro platformu JavaME ». Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217265.
Texte intégralLingė, Tadas. « Mobilių įrenginių programavimo priemonių galimybių analizė ». Master's thesis, Lithuanian Academic Libraries Network (LABT), 2010. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2009~D_20101125_190751-25936.
Texte intégralThe goals of this master’s work are analyzes tools for mobile devices programming and universal interface for different models creation opportunities. Also the paper analyzes Java ME, Visual Studio .NET, Python for S60, NetBeans IDE and BREW programming tools. Describe the features of the functioning of the programming tools, to set the programming options, listed the advantages and disadvantages. The best in this analyze was NetBeans IDE. There are created IS conceptual model of driving school and project of mobile software. According to the programming tools analyzes results and IS project was created new application. It is dedicated to improve driving school processes and make scientific research. Application was tested in different mobile platforms. The test shown application functions which works wrong. Most important functions fixed, but some of them can’t be fixed, such as displaying full table of content. This bug can be fixed only displaying table horizontally. This experimental work shows some methods of universal application creation. Also there is suggested how we can create universal application by using UML diagrams.
Tschantz, Matthew S. « Javari : adding reference immutability to Java ». Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/42117.
Texte intégralIncludes bibliographical references (leaves 129-133).
This paper describes a programming language, Javari, that is capable of expressing and enforcing immutability constraints. The specific constraint expressed is that the abstract state of the object to which an immutable reference refers cannot be modified using that reference. The abstract state is (part of) the transitively reachable state: that is, the state of the object and all state reachable from it by following references. The type system permits explicitly excluding fields from the abstract state of an object. For a statically type-safe language, the type system guarantees reference immutability. The type system is distinguishes the notions of assignability and mutability; integrates with Java's generic types and with multi-dimensional arrays; provides a mutability polymorphism approach to avoiding code duplication; and has type-safe support for reflection and serialization. This paper describes a core calculus including formal type rules for the language. Additionally, this paper describes a type inference algorithm that can be used convert existing Java programs to Javari. Experimental results from a prototype implementation of the algorithm are presented.
by Matthew S. Tschantz.
M.Eng.
Daunys, Einaras. « Gedimų registracijos sistema delniniams kompiuteriams ». Master's thesis, Lithuanian Academic Libraries Network (LABT), 2009. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2009~D_20090828_134408-96741.
Texte intégralThe paper analyzes the handheld computer operating systems and their characteristics, selected the optimum application development platform. The software product is tested in several operating systems. Test results confirmed the proposed system of mobility benefits. Examines the opportunities to develop and implement the practice of computer networks fault recording software products handheld computers. This work was analyzed and designed opportunities, as much as possible to adapt computer systems failure recording software products, and handheld computers all of which adapt everyday work. The study analyzed the handheld computer operating systems and their characteristics, application development tools, database options.
Martins, Duarte João Figueira. « JavaCO – uma variante do Java com um sistema de tipos baseado em covariância ». Master's thesis, Faculdade de Ciências e Tecnologia, 2010. http://hdl.handle.net/10362/4590.
Texte intégralQuando se compara a linguagem Eiffel com a linguagem Java, a diferença com mais impacto no estilo de programação é o facto de a primeira permitir métodos com argumentos covariantes, isto é, permitir a especialização do tipo dos argumentos à medida que se desce na hierarquia. Esta possibilidade é uma vantagem porque permite modelar determinados aspectos do mundo real de forma mais directa e intuitiva. Mas também há uma desvantagem que justifica a raridade desta opção na generalidade das linguagens modernas: o facto de criar complicações ao nível da tipificação estática dos programas. O objectivo deste trabalho é criar uma variante do Java, chamada JavaCO, cujo sistema de tipos será baseado em covariância, à imagem do sistema de tipos da linguagem Eiffel. A introdução de um novo tipo genérico “This”, servirá para aumentar a utilidade prática do mecanismo de covariância. Espera-se assim proporcionar uma experiência de programação similar à da linguagem Eiffel, mas num ambiente de programação Java, usando as ferramentas e bibliotecas do Java. A nova linguagem será implementada através da tradução para Java puro. A implementação seguirá as linhas da definição semântica e consistirá num tradutor escrito usando a ferramenta SableCC. O tradutor fará alguma análise estática dos programas de entrada; contudo, os aspectos mais essenciais da nova linguagem serão implementados por recurso a tipificação dinâmica (na mesma linha do Eiffel “clássico”).
Nilsson, Michael. « Konfigurationsverktyg för SIA ». Thesis, Örebro universitet, Institutionen för naturvetenskap och teknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-51597.
Texte intégralThis report describes the development of an application used to configure integrations used by Sigma Integration Architecture (SIA). The application is aimed towards Sigma personnel unfamiliar with the integration architecture, as it provides the user with various help elements in an effort to ease the configuration process and lower the entry barrier for creating and editing integrations. Using Java's reflection API in combination with dynamic proxies, the application is able to perform validation and simulation of integration pipelines before they are used for production. We also include a cache mechanism to speed up the process, and provide experimental verification of caching performance. The application is developed as two separate parts, consisting of a back end written in Java, and a web-based front end created with AngularJS.
Beckwith, Robaire Stephen. « The ecology and behaviour of the Javan black langur, in lower montane rain forest, West Java ». Thesis, University of Cambridge, 1995. https://www.repository.cam.ac.uk/handle/1810/252001.
Texte intégralFransson, Lina. « Fine scale habitat and movement patterns of javan slow loris (Nycticebus javanicus) in Cipaganti, West Java, Indonesia ». Thesis, Uppsala universitet, Institutionen för biologisk grundutbildning, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-348817.
Texte intégralKhodabandehloo, Elmira. « JavaFX Scene Graph Object Serialization ». Thesis, KTH, Radio Systems Laboratory (RS Lab), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-131221.
Texte intégralDatavisualisering används för att analysera och uppfatta mönster i data. Ett användningsfall för visualisering är att grafiskt representera och jämföra simuleringsresultat. På Ericsson Research har en visualiseringplattform för att visualisera simuleringsresultat utvecklats som baserats på JavaFX 2. Tre konfigurationsfiler krävs för att skapa en applikation baserad på denna visualiseringsplattform: XML, FXML och CSS. Det nuvarande problemet är att för att utveckla en ny applikation så måste de tre konfigurationsfilerna skrivas för hand vilket är kräver mycket utvecklingstid. Syftet med denna studie är att minska mängden arbete som krävs för att konstruera en visualiseringapplikation genom att tillhandahålla en serialiseringsfunktion som gör det möjligt att spara applikationens layout till en FXML-fil medan programmet exekverar enbart genom att extrahera information ur det grafiska gränsnittets scengraf. I detta examensarbete har ett antal mjukvarubibliotek eller API: er som kan underlätta utvecklandet av en generisk FXML serialiseringsfunktion analyserats och de mest lovande alternativen enligt ett antal utvärderingsmetriker har identifierats. Med hjälp av en iterativ, design-orienterad forskningsmetod har en algoritm designats som är kapabel till att serialisera generiska Java-objekt, eller Java-bönor till FXML. Den föreslagna algoritmen har sedan utvärderats genom automatiserade mjukvarutester. Utvärderingen består av: analys av serialiseringsresultat, design av testfall, samt jämförelse av förväntade resultat och de faktiska resultaten med hjälp av enhetstest och uppmätt kodtäckning. Utvärderingen visar att serialiseringsalgoritmen ger resultat som motsvarar de ursprungliga FXML-filerna som utformats för att verifiera olika delar av FXML standarden. Därmed anses den föreslagna serialiseringsalgoritmen uppfylla de delar av FXML-specifikationen som kravställts och beaktats i detta examensarbete.
Fratta, Luca. « La Piattaforma JavaFX ». Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amslaurea.unibo.it/1179/.
Texte intégralGessi, Luca. « Sviluppo di una piattaforma software per acquisizione dati da un sistema di misura di impedenze ». Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8997/.
Texte intégralAnders, Jörg. « JAVA3D am Beispiel eines Getriebemodells ». Universitätsbibliothek Chemnitz, 2001. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200100340.
Texte intégralPiras, Stefania. « JavaFX e le applicazioni Web ». Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amslaurea.unibo.it/2406/.
Texte intégralFlatscher, Rony G. « Anatomy of a GUI (Graphical User Interface) Application for Rexx Programmers ». Rexx Language Association, 2018. http://epub.wu.ac.at/6875/2/201803%2DAnatomyOfGUI%2DArticle.pdf.
Texte intégralNešpor, Zdeněk. « Sledování objektu ve videosekvenci ». Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2013. http://www.nusl.cz/ntk/nusl-220323.
Texte intégralCasadio, Elisa. « Train your mind - Software per il training cognitivo nell'invecchiamento sano e patologico ». Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/18439/.
Texte intégralCasadio, Elisa. « Revisione e refactoring dell'interfaccia utente del simulatore Alchemist ». Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/12310/.
Texte intégralFrancisco, Pedro Filipe do Amaral Goucha. « Contract-Java - design by contract in Java - Contract-Java ». Master's thesis, Universidade de Aveiro, 2012. http://hdl.handle.net/10773/11035.
Texte intégralA programação por contrato é uma metodologia de programação que implementa mecanismos de correcção de forma bem adaptada à programação orientada por objectos, facilitando a construção de software correto e robusto, permitindo também a sua documentação e especificação e a construção de programas tolerantes a falhas. No entanto, ao contrário da programação orientada por objectos, a programação por contrato tem uma difusão bastante reduzida. Uma das razões para tal facto é a quase completa ausência de suporte para a metodologia na grande maioria das linguagens de programação usadas actualmente, nas quais se inclui a linguagem Java. Apesar de existirem algumas ferramentas para tentar suprir essa omissão da linguagem Java, são aproximações incompletas que não permitem usufruir de todas as vantagens e capacidades da programação por contrato. Neste trabalho pretende-se definir quais as características necessárias numa linguagem de modo a permitir a implementação completa da metodologia, avaliando as falhas que as ferramentas existentes possuem e, de seguida, definir e construir uma nova linguagem, “Contract-Java”, definida como uma extensão da linguagem Java, que permita usar a programação por contrato na sua totalidade.
Design by Contract is a programming methodology which implements correction mechanisms well adapted to object-oriented programming, easing the construction of correct and robust software, as well as allowing its documentation and specification and the construction of fault-tolerance programs. However, unlike object-oriented programming, Design by Contract has a very low distribution. One of the reasons for such is the lack of support for it on most programming languages currently in use, in which Java is included. Although a few tools attempt to workaround such lack of support, they all present incomplete approaches which do not support all the advantages and capabilities of Design by Contract. In this work, we intend to define which characteristics are necessary in order to fully implement the methodology, evaluating the faults of existing tools and, afterwards, defining and constructing a new language, “Contract-Java”, defined as an extension of the Java language, which allows to use Design by Contract in its entirety.
Silva, Bernardo Natividade Vargas da, et 97-99160-3713. « Territorialidade Korubo no Vale do Javari – AM ». Universidade Federal do Amazonas, 2017. http://tede.ufam.edu.br/handle/tede/6132.
Texte intégralApproved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-02-02T18:31:54Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_ Bernardo Vargas da Silva.pdf: 4544482 bytes, checksum: 1d3f3ba4191d581c16f302158171252c (MD5)
Made available in DSpace on 2018-02-02T18:31:55Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_ Bernardo Vargas da Silva.pdf: 4544482 bytes, checksum: 1d3f3ba4191d581c16f302158171252c (MD5) Previous issue date: 2017-11-17
CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
This dissertation is the result of an interdisciplinary study of the territorial configuration and territoriality expressed by the indigenous people Korubo in the last 50 years. The indigenous people named by us Korubo are speakers of a language of the Pano family and live in the Indigenous Territory Vale do Javari, in the far west of the Brazilian state of Amazonas. They are currently local groups that present different levels of interaction with the national society, from situations of isolation to relationships of permanent contact. Over the last decades, the Korubo have acted with deep resilience and resistance, mainly in reaction to the onslaught of developmentist fronts over their territory. During a part of the second half of the twentieth century, these people occupied a territorial unit based on the interfluvial rivers Ituí and Itaquaí, this last tributary of the Javari river, and explicitly showed the intention of not establishing permanent contact with the surrounding society. It is estimated that from the late 1980s processes of dispersion of local Korubo groups have been developed. This caused a geographic isolation between some of them, interrupting flows of contact due to new social and territorial arrangements. The contact consolidation events between the National Indian Foundation (FUNAI) and some of these local groups in the last 21 years revealed, among other things, the close kinship relations between individuals of the newly contacted groups and still important aspects that served to understand the aspects of their splits and dispersions. The methodology of this research is based on the cross-referencing of the information collected by the bibliographic and documentary investigation, the Korubo narratives and the work that I performed as a field indigenist by the Vale do Javari Ethno-Environmental Protection Front (FPEVJ), a unit of FUNAI that investigates and protects the territory and the culture of the isolated indigenous peoples and recently contacted of the Indigenous Territory Vale do Javari. As a result of this investigation, I present the forms that the Korubo appropriates their territory and the dilemmas that the indigenous of this ethnic group have been facing in the contemporary context.
Este trabalho é o resultado de um estudo interdisciplinar sobre a configuração territorial e a territorialidade expressada pelos índios Korubo nos últimos 50 anos. O povo indígena denominado por nós de Korubo são falantes de uma língua da família Pano e vivem na Terra Indígena Vale do Javari, no extremo ocidente do estado do Amazonas. Constituem atualmente grupos locais que apresentam diferentes níveis de interação com a sociedade nacional, desde situações de isolamento até relações de contato permanente. Ao longo das últimas décadas, os Korubo atuaram com profunda resiliência e resistência, principalmente na reação às investidas das frentes desenvolvimentistas sobre seu território. Durante uma parte da segunda metade do século XX, estes indígenas ocupavam uma unidade territorial baseada no interflúvio dos rios Ituí e Itaquaí, este último afluente do rio Javari, e explicitamente demonstravam a intenção de não estabelecer contato permanente com a sociedade envolvente. Estima-se que a partir do final da década de 1980 desenvolvem-se processos de dispersão de grupos locais Korubo, o que ocasionou um isolamento geográfico entre alguns deles, interrompendo fluxos de contato devido a novos arranjos sociais e territoriais. Os eventos de consolidação de contato entre a Fundação Nacional do Índio (FUNAI) e alguns destes grupos locais nos últimos 21 anos, revelou entre outras coisas, as estreitas relações de parentesco entre sujeitos dos grupos recém-contatados e ainda importantes aspectos que serviram para entender a forma que as cisões e dispersões entre os grupos locais ocorreram. A metodologia desta investigação baseia-se no cruzamento das informações levantadas pela pesquisa bibliográfica e documental, com as narrativas dos Korubo contatados e pelo trabalho que executei como indigenista de campo pela Frente de Proteção Etnoambiental Vale do Javari (FPEVJ), unidade da FUNAI que investiga, promove e protege o território e a cultura dos povos indígenas isolados e de recente contato da Terra Indígena Vale do Javari. Como resultado deste estudo, apresento as formas que os Korubo se apropriam de seu território e os dilemas que os indígenas desta etnia vêm enfrentando no contexto contemporâneo.
Alkhars, Abeer, et Wasan Mahmoud. « Cross-Platform Desktop Development (JavaFX vs. Electron) ». Thesis, Linnéuniversitetet, Institutionen för datavetenskap (DV), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-61313.
Texte intégralMaltoni, Niccolò. « Progettazione object-oriented di un'interfaccia grafica JavaFX per il simulatore Alchemist ». Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/14682/.
Texte intégralDrejhammar, Frej. « Flow Java : declarative concurrency for Java ». Licentiate thesis, KTH, Microelectronics and Information Technology, IMIT, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-287.
Texte intégralThis thesis presents the design, implementation, and evaluation of Flow Java, a programming language for the implementation of concurrent programs. Flow Java adds powerful programming abstractions for automatic synchronization of concurrent programs to Java. The abstractions added are single assignment variables (logic variables) and futures (read-only views of logic variables).
The added abstractions conservatively extend Java with respect to types, parameter passing, and concurrency. Futures support secure concurrent abstractions and are essential for seamless integration of single assignment variables into Java. These abstractions allow for simple and concise implementation of high-level concurrent programming abstractions.
Flow Java is implemented as a moderate extension to the GNU GCJ/libjava Java compiler and runtime environment. The extension is not speci c to a particular implementation, it could easily be incorporated into other Java implementations.
The thesis presents three implementation strategies for single assignment variables. One strategy uses forwarding and dereferencing while the two others are variants of Taylor's scheme. Taylor's scheme represents logic variables as a circular list. The thesis presents a new adaptation of Taylor's scheme to a concurrent language using operating system threads.
The Flow Java system is evaluated using standard Java benchmarks. Evaluation shows that in most cases the overhead incurred by the extensions is between 10% and 50%. For some pathological cases the runtime increases by up to 150%. Concurrent programs making use of Flow Java's automatic synchronization, generally perform as good as corresponding Java programs. In some cases Flow Java programs outperform Java programs by as much as 33%.
Drejhammar, Frej. « Flow Java : declarative concurrency for Java / ». Licentiate thesis, Stockholm : Department of Microelectronics and Information Technology, Royal Institute of Technology, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-287.
Texte intégralRoque, Vitor Manuel Gomes. « Arquitecturas distribuídas cliente/servidor : CORBA, DCOM e JavaRMI ». Master's thesis, Universidade de Aveiro, 1999. http://hdl.handle.net/10773/13036.
Texte intégralNa era das comunicações e da multimédia, as Arquitecturas Distribuídas Cliente/Servidor têm vindo a ganhar cada vez mais representatividade no panorama actual do desenvolvimento de aplicações. Verbas avultadas têm sido investidas pelas empresas desenvolventes deste tipo de tecnologia de forma a melhorar o mais possível e no menor espaço de tempo as suas plataformas com o intuito de ganhar a maior representatividade possível na área da computação distribuída. A presente dissertação centra-se precisamente na análise de três das mais importantes arquitecturas distribuídas cliente/servidor disponíveis actualmente no mercado, nomeadamente as arquitecturas CORBA, DCOM e JavaRMI. A escolha destas arquitecturas não foi aleatória e teve como base a sua importância no mercado actual. A primeira - a CORBA - por ser fomentada pelo OMG, organização internacional formada por mais de 800 membros, a segunda - o DCOM - pela importância da empresa que a desenvolve, a Microsoft, devido ao peso desta no mundo da informática e a terceira - a JavaRMI - pela crescente popularidade da linguagem Java. Nesta análise são focados os pontos mais importantes de cada uma das arquitecturas e como é que estes pontos podem ser factores decisivos na escolha das plataformas por parte das organizações. Neste sentido, o segundo capítulo desta dissertação faz uma retrospectiva de tecnologias até se atingir o estado actual, as arquitecturas distribuídas cliente/servidor. Nos terceiro, quarto e quinto capítulos são abordados de forma sucinta as três arquitecturas CORBA, DCOM e JavaRMI respectivamente. No sexto capítulo é apresentada uma comparação das funcionalidades das três arquitecturas no que respeita a: Interoperabilidade. Fiabilidade. Maturidade da Plataforma. Finalmente no sétimo capítulo são apresentadas algumas das conclusões retiradas ao longo desta dissertação.
In the communication and multimedia era, Distributed Client/Server Architectures has come to have more and more representation in the current panorama of application development. Large amounts have been invested by companies that develop this kind of technology in order to improve their platforms as quickly and as much as possible with the objective of gaining as much representation as possible in the area of distributed computation. This dissertation is focussed precisely on the analysis of three of the largest distributed client/server architectures currently available on the market, namely CORBA, DCOM, and JavaRMI. The choice of these architectures was not random but, rather, based on their significance on the current market: the first, CORBA, for being supported by the OMG, an international organization of more than 800 members; the second, DCOM, for the significance of the company that is developing it, Microsoft, due to its weight in the computer world; and the third, JavaRMI, for the increasing popularity of Java language. In this analysis, the most important points of each of the architectures are focussed on, exploring how each of these points can be decisive factors in the choice of platforms on the part of organizations. Accordingly, the second chapter of this dissertation gives a retrospective view of technology up to the current state, distributed client/server architectures. In the third, fourth, and fifth chapters, the three architectures, CORBA, DCOM and JavaRMI, respectively, are dealt with succinctly. In the sixth chapter, a comparison of the functionality of the three architectures is presented with respect to: Interoperability. Reliability. Platform Maturity. Finally, in the seventh chapter, some of the conclusions drawn throughout the dissertation are presented.
Bwogi, Andrew, et Tuncay Dagdelen. « Configuring Java Pathfinder for concurrent Java programs ». Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-208369.
Texte intégralProgramverifikation är ett datalogiskt fält som säkerställer att pro- gram fungerar enligt en formaliserad specifikation. Modellkontroll är ett delområde i programverifikation som testar alla möjliga tillstånd i ett program för att se om de uppfyller en mängd formaliserade egen- skaper. Java Pathfinder (JPF) är ett verktyg som automatiskt kontrolle- rar bytekod i Java. Syftet med den här rapporten är att undersöka vil- ka generella konfigurationsmönster som finns för särskilda program- typer som leder till att JPF antingen terminerar utan fel eller med ett funnet samverkningsfel. Programtyperna som undersöks är lösningar till producer/consumer-problem, barber shop-problem, reader/wri- ter-problem och program som faller under typen server/klient-pro- gram. Metoden består i huvudsak först av sökning efter program i molnbaserade versionshanteringssystem. Sedan följer programkontroll med hjälp av JPF-dokumentation, artiklar om ämnet och diskussions- grupper online. Resultatet är ett antal konfigurationer som leder till inga fel, fel på grund av samtidig trådkörning och fel på grund av di- rekt körbar kod, beroende på det verifierade programmet. En viktig begränsning med rapporten är frånvaron av stora program som tes- tar JPFs hantering av stora tillståndsrymder. De funna generella kon- figurationerna är tillämpbara på små program som inte använder di- rekt körbar kod. En generell konfiguration hittades även för program som använder direkt körbar kod, men här måste användaren eventu- ellt skriva om en modellklass i JPF.
Torres, Rojas Daniel Ricardo. « Implementación de Nueva Plataforma Tecnológica en el Servicio de Impuestos Internos ». Tesis, Universidad de Chile, 2008. http://repositorio.uchile.cl/handle/2250/103118.
Texte intégralPaes, Filho Jose C. « JAVAMIX : a tactical decision to evaluate minefield clearance plans ». Thesis, Monterey, California. Naval Postgraduate School, 2001. http://hdl.handle.net/10945/2496.
Texte intégralBrazilian Navy author
Örnberg, Dennis. « Comparison and implementation of graph visualization algorithms using JavaFX ». Thesis, Linköpings universitet, Databas och informationsteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-133071.
Texte intégralDoyon, Stéphane. « On the security of Java, the Java bytecode verifier ». Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0004/MQ41890.pdf.
Texte intégralRomio, Giovanni. « Backport di una applicazione da Java 8 a Java 7 ». Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/10481/.
Texte intégralNurvianto, Sandy [Verfasser], Sven [Akademischer Betreuer] Herzog, Imron Muhammad Akademischer Betreuer] Ali et Mechthild [Gutachter] [Roth. « The Ecology of Javan Asiatic Wild Dog (Cuon alpinus javanicus, Pallas 1811) in Baluran National Park, East Java, Indonesia / Sandy Nurvianto ; Gutachter : Mechthild Roth ; Sven Herzog, Muhammad Ali Imron ». Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2018. http://d-nb.info/1226811426/34.
Texte intégralGoh, Okehee. « Scheduling garbage collection of JavaVM on embedded real-time systems ». [Florida] : State University System of Florida, 2001. http://etd.fcla.edu/etd/uf/2001/ank7111/thesis3.pdf.
Texte intégralTitle from first page of PDF file. Document formatted into pages; contains xi, 75 p.; also contains graphics. Vita. Includes bibliographical references (p. 72-74).
Gupta, Pankaj. « The Design and Implementation of a Prolog Parser Using Javacc ». Thesis, University of North Texas, 2002. https://digital.library.unt.edu/ark:/67531/metadc3251/.
Texte intégralKwon, Jagun. « Ravenscar-Java : Java Technology for High-Integrity Real-Time Systems ». Thesis, University of York, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.485101.
Texte intégralAnders, Jörg. « Java MPEG1-Player ». Universitätsbibliothek Chemnitz, 2003. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200300738.
Texte intégralBatchelder, Michael Robert. « Java bytecode obfuscation ». Thesis, McGill University, 2007. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=18300.
Texte intégralLes programmes écrits pour l'exécution d'ordinateur seront toujours susceptibles au vol d'information. Cette information peut inclure des algorithmes de marque de commerce, des données incluses dans le programme, ou même des données concernant les accès de programme. Suivant les avancées technologiques, les informaticiens construisent des outils de plus en plus puissants pour l'ingénierie inverse telle que le décompilateur. Le langage de programmation de Java est particulièrement ouvert aux attaques de l'ingénierie inverse en raison de son format binaire bien défini, ouvert, et portatif. Nous recherches portent sur un domaine permettant de mieux sécuriser fixer la propriété intellectuelle des programmes en Java; obscurcissement. L'obscurcissement d'un programme implique de transformer le code du programme en une représentation plus complexe mais sémantiquement équivalente. Ceci peut inclure l'addition de l'écoulement embrouillant de commande, de la supression de certaines informations incluses dans les programmes dont l'exécution n'est pas spécifiquement exigée, ou de la dissimulation des données. Excepté les techniques cryptologique s, l'obscurcissement est l'une des seules techniques disponibles. Même si beaucoup de stratégies de l'obscurissment sont finalement réversibles, il gêne sérieusement ceux qui essayent de voler l'information en augmentant la durée de calcul et la puissance exigées par les logicels d'ingénierie inverse et augmente considérablement la complexité de n'importe quel code source récupere par cette technique. Dans cette thèse nous présentons un certain nombre de transformations d'obscurcissement mises en application dans un outil automatique que nous appelons le Java Bytecode Obfuscator (JBCO). Nous présentons des mesures empiriques des coûts d'exécution de ces transformations en termes de vitesse d'exécution et taille de programme. Des mesures de complexité qui mesurent l'efficacité des obscurc
Bezděk, Pavel. « Gramatická evoluce – Java ». Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2009. http://www.nusl.cz/ntk/nusl-228412.
Texte intégralSantos, António Pedro de Avelar Gonçalves. « Critérios para a gestão racional do javali : Sus scrofa Linneaus, 1758, em ecosistemas mediterrânicos ». Doctoral thesis, Universidade de Évora, 2002. http://hdl.handle.net/10174/11241.
Texte intégralJavadi, Motaghi Narjes [Verfasser], et Gunnar [Akademischer Betreuer] Bali. « Pion structure form lattice QCD / Narjes Javadi Motaghi. Betreuer : Gunnar Bali ». Regensburg : Universitätsbibliothek Regensburg, 2015. http://d-nb.info/107229379X/34.
Texte intégralReginato, Gabriela de Souza. « Características morfológicas estruturais e ultraestruturais da língua do javali (Sus scrofa) ». Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/10/10132/tde-15032016-161014/.
Texte intégralThe boar of the species Sus scrofa are omnivorous, non-ruminant mammal of the order Artiodactyla and family Suidae. The language has a highly differentiated system of taste, which feature large variations with direct influence of species. The objective of the present study is to describe the structural and ultrastructural morphological characteristics of lingual tissue of wild boar (Sus scrofa). The techniques used were light microscopy, scanning electron microscopy and transmission electron microscopy, enabling the acquisition of quantitative and qualitative data. Four types of papillae were found on the dorsal surface of the tongue: fungiform, filiform, foliate and vallate, the filiform papillae were distributed over the entire surface rostral of the tongue, which after removing the epithelial surface revealed conical connective tissue core. The fungiform papillae were found in the middle and latero-medial region, as well as the foliate papillae which have three or four irregular grooves. After removing the epithelial surface, the connective tissue core of the fungiform papillae and foliate papillae presented linear projections on their surface. The vallate papillae were found in the caudal region of the dorsal surface of the tongue, have an oval shape and are surrounded by a full groove and after removing the epithelial tissue it was possible to observe some ducts in the walls of the groove. The ultrastructural components of dorsal epithelium of the tongue are: keratinized epithelial layers, containing cornea, granular, and basal cells, as well as a large amount of collagen found in the lamina propria, and various desmosomes and gap junctions and keratohyaline beads on granular layer. We conclude that the morphological characteristics of the Boar lingual papillae are similar to that of other mammals
Freitas, Sérgio Fernandes. « Dinâmica de espécies na agricultura indígena do Vale do Javari - AM ». Florianópolis, SC, 2004. http://repositorio.ufsc.br/xmlui/handle/123456789/87478.
Texte intégralMade available in DSpace on 2012-10-21T20:42:57Z (GMT). No. of bitstreams: 1 211592.pdf: 1674987 bytes, checksum: 7de813d104b9e48b5ffbe380f47aae39 (MD5)
A visão depreciativa em relação à população rural aprofundou o descaso com muitos sistemas de conhecimento nativo, cujo conteúdo era expresso de forma discursiva e simbólica. Poucos trabalhos foram realizados e ainda pouco se conhece sobre os sistemas tradicionais de produção. Os estudos realizados têm demonstrado a diversidade e complexidade dos padrões de cultivo, dos sistemas de manejo e conservação de solos, usos da água, reciclagem de nutrientes, controle da sucessão e proteção das culturas, além da incorporação de grande número de cultivares, importantes para o desenvolvimento de programas de melhoramento genético. A agricultura itinerante constitui a forma tradicional de uso da terra mais praticada na América Latina. Alternando-se períodos de cultivo e regeneração da floresta, é possível manejar a fertilidade do solo e controlar pragas e doenças, estabelecendo policultivos e sistemas agroflorestais com alto grau de sustentabilidade. Nos sistemas tradicionais indígenas da Amazônia, os produtos de maior importância são o milho, a mandioca e a banana, representando as fontes básicas de carboidratos. Com a conquista européia da Amazônia, os cacicados indígenas estabelecidos na várzea e que mantinham forte o cultivo de milho, foram destruídos e os grupos indígenas restantes tiveram que retornar ao cultivo de mandioca, que se mantém como alimento principal para a maior parte das populações nativas até os dias atuais. Em diversos grupos indígenas, no entanto, a banana vem se tornando o cultivo mais importante. É o que vem acontecendo com os índios Matis e Marubo, grupos Pano do Vale do Javari, no Amazonas. Esses grupos praticam uma agricultura de derrubada e queima, conformando sistemas agroflorestais. Constitui o objetivo deste trabalho estudar as razões e conseqüências da substituição de espécies no repertório dos cultivos Matis e Marubo, no contexto atual, cujo fato mais marcante está nas substituições da mandioca e milho pela banana. Utilizando-se metodologias qualitativas em um longo período de convívio com os grupos pesquisados, estudou-se os seus sistemas agrícolas e as mudanças ocorridas, onde a substituição de espécies foi o fator mais relevante. Resultados do trabalho indicaram que a introdução e a adaptação da banana contribuiu para a melhoria do agroecossistema e permitiu aos indígenas se adaptarem melhor à nova realidade pós-contato com a sociedade nacional, além dos ganhos na dieta e no rendimento do trabalho na roça. O conhecimento indígena sobre o seu agroecossistema pode ser visto como um processo co-evolutivo, na medida em que sociedade e sistema agrícola evoluem, mantendo-se as características básicas de interação ecológica.
Li, Zhang. « Service Improvements for a VoIP Provider ». Thesis, KTH, Kommunikationssystem, CoS, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-91493.
Texte intégralDetta examensarbete behandlar förbättringar i serversidan av OptiCall ABs “Dial over Data” (DoD) lösning som tillhandahålls för tjänsteleverantörer av VoIP. VoIP blir mer och mer populärt. Människor använder VoIP för att ringa till sin familj och vänner varje dag. Det är billigt, särskilt när användaren är utomlands, eftersom de inte behöver betala någon roamingavgift. Många företag vill också att deras anställda skall använda IP-telefoni, inte bara därför att kostnaden för att ringa oftast är lägre, utan för att bolaget kan ersätta sin traditionella företagsväxel (PBX) med en kraftfull dator som har PBX programvara för att även ansluta alla anställda till deras VoIP leverantör. VoIP leverantören kan erbjuda billiga samtal till alla användare som också är anslutna via Internet. Användarna kan hantera VoIP samtal med en VoIP user agent, men hur kan de ringa ett VoIP-samtal från en mobil enhet eller andra enheter utan VoIP user agent? Användare vill kunna ringa billiga VoIP-samtal överallt. VoIP-leverantörer vill erbjuda en flexibel lösning för att locka och behålla användare. Även VoIP user agent finns utvecklade till många enheter som en programvara som körs på en dator, en hårdvara VoIP-telefon, och även i vissa mobila enheter. Men det finns vissa praktiska problem med att ringa ett VoIP-samtal från alla platser. Det första problemet är att inte varje enhet kan ha en VoIP user agent. Det andra problemet är att den måste ansluta till ett nätverk (troligen Internet) för att signalera att den vill ringa ett samtal. Om din enhet ansluter till ett mobilnät, kan du skicka signalerar att upprätta ett VoIP-samtal via General Packet Radio Service (GPRS). Dock är bandbredden och fördröjningen i GPRS-nät i vissa operatörers nät inte lämpliga för överföring av tal, dessutom tar vissa mobiloperatörer ut höga avgifter för att använda GPRS. Alla dessa problem gör det svårt att hantera VoIP-samtal via en mobil enhet. Men om din mobila enhet har en VoIP user agent och du har lämplig nätanslutning så kan du enkelt använda VoIP från din mobiltelefon[.] För att erbjuda en flexibel VoIP lösning överallt - även på enheter som inte kan ha en VoIP user agent har OptiCall AB utformad “Dial over Data” (DoD). Genom att använda denna lösning kan du initiera ett VoIP-samtal från din mobiltelefon eller fast telefon - utan att kräva att den enhet som du använder har en VoIP user agent. Denna lösning inkluderar också en central Internet Protocol-Private Branch Exchange (IP-PBX) som kan koppla samtal till och från Session Initiation Protocol (SIP) telefoner. Både privatpersoner och företag kan använda denna lösning för att minska samtalskostnader. Max Weltz vidareutvecklade den befintliga DoD lösning i ett tidigare examensarbete. Denna avhandling [1] ger en god beskrivning av den befintliga DoD lösning. Som ett resultat av fortsatt testning samt synpunkter från användarna har OptiCall AB insett att deras DoD lösning måste förbättras på flera områden. Detta examensarbete har i första hand identifierat några områden där förbättringar behövdes, förklarat varför dessa förbättringar är nödvändiga, och slutligen utvecklat och utvärderat dessa förändringar. Ett viktigt resultat av detta examensarbete visades av en tydlig demonstration av förbättrad utformning av lösningen. Gränssnittet fick bla en bättre presentation av samtalshistorik, mer korrekt nummerpresentation. Dessa förbättringar bör göra denna lösning mer attraktivt för de personer som skall använda och underhålla lösningen.
Švercl, Jan. « Zpracování předpisů CSS v jazyce Java ». Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235434.
Texte intégralFuhrmann, Klaus. « Formen der javanischen Pilgerschaft zu Heiligenschreinen ». [S.l. : s.n.], 2000. http://deposit.ddb.de/cgi-bin/dokserv?idn=963866273.
Texte intégralShabani, Shahpar. « Pure Java interface to a DSMS : Pure Java interface to a DSMS ». Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-423975.
Texte intégralOliveira, João Cesar Dias. « Sistematização das artérias da base do encéfalo, rede admirável epidural rostral e caudal e suas fontes de suprimento em javali (Sus scrofa scrofa) ». reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2004. http://hdl.handle.net/10183/6755.
Texte intégral