Academic literature on the topic 'JavaMe'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'JavaMe.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "JavaMe"

1

Rodriguez-Sanchez, Maria Cristina, Juan A. Hernandez-Tamames, and Susana Borromeo. "An embedded system course using JavaME and android." Computer Applications in Engineering Education 23, no. 2 (March 18, 2014): 294–303. http://dx.doi.org/10.1002/cae.21599.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Walia, Ekta, and Vishal Verma. "A Framework for Interactive 3D Rendering on Mobile Devices." International Journal of Computer Vision and Image Processing 4, no. 2 (July 2014): 18–31. http://dx.doi.org/10.4018/ijcvip.2014040102.

Full text
Abstract:
Although mobile devices have now become an important computing platform, however most of them still lack hardware accelerated graphics. Therefore, interactive 3D rendering on these devices is a difficult task. This paper describes different approaches for 3D rendering on mobile devices and the associated challenges. It then investigates different solutions to resolve these problems and proposes a framework that uses Image Based Rendering (IBR) technique to render interactive 3D graphics on mobile devices. Further, the performance of proposed framework is compared with Geometry Based Rendering (GBR). The experimental results show that the proposed framework performs better than the geometry-based techniques in terms of rendering time, visual quality and memory requirements. The results also show that the rendering time of the proposed framework is independent of the scene complexity. The experiments are performed in Java Platform Micro Edition (JavaME) environment with Sun JavaME Phone emulator.
APA, Harvard, Vancouver, ISO, and other styles
3

Calvo-Flores, M. Delgado, J. Medina Quero, M. D. Ruiz Lozano, and A. Vila Miranda. "Integrating multimedia streaming from heterogeneous sources to JavaME mobile devices." International Journal of Communication Systems 25, no. 6 (February 16, 2011): 763–78. http://dx.doi.org/10.1002/dac.1251.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Ren, Hong De, Tao Chen, and Shuo Wang. "Realization of a 3D Model Render on Mobile Terminal Based on X3D." Applied Mechanics and Materials 519-520 (February 2014): 377–82. http://dx.doi.org/10.4028/www.scientific.net/amm.519-520.377.

Full text
Abstract:
This paper studies the key technology of realizing the 3D model renderer on mobile terminal, design the 3D model by X3D-Edit.Then, using JDOM parsing technology to analysis the XML, we get 3D dates. Finally, taking Mobile 3D Graphic API from JST 184 criterion on the JavaME platform and reappearing the 3D Model on the renderer with 3D data on Eclipse, a 3D Model Render on mobile device that based on X3D is accomplished. Keywords: X3D, renderer, 3D Model, JDOM, M3G
APA, Harvard, Vancouver, ISO, and other styles
5

Yuan, Man, Jing Shu Yuan, Gang Huan, and Dan Dan Wang. "The Mobile Oilfield Map Based on SVG and Inforamtion Integration." Advanced Materials Research 798-799 (September 2013): 349–52. http://dx.doi.org/10.4028/www.scientific.net/amr.798-799.349.

Full text
Abstract:
A light mobile GIS framework is proposed which is based on J2ME and mobile scalable vector graphics (SVG), GIS is an important component in digital oilfield. First, it defines a general mobile GIS framework. Second, all kinds of GIS code rules are defined, how to manage map layer in SVG is defined, all kinds of GISs object can be described in SVG and DOM of XML. And finally, in distributed environment, based on SVG, JAVAME and related technologies, a light mobile GIS platform is implemented. In this case, the light mobile GIS platform can be used to not only transmit production data, but also locate the interested objects, and the platform is applied to the Daqing oil field.
APA, Harvard, Vancouver, ISO, and other styles
6

Jamieson, L. E., K. Froud, R. Edwards, and P. S. Stevens. "Establishment of Thripobius javae (semiluteus) in New Zealand." New Zealand Plant Protection 61 (August 1, 2008): 17–23. http://dx.doi.org/10.30843/nzpp.2008.61.6827.

Full text
Abstract:
The larval parasitoid Thripobius javae was imported from Italy into New Zealand in December 2000 as part of a classical biological control programme against greenhouse thrips (Heliothrips haemorrhoidalis) Thripobius javae was released from containment in Auckland in January 2001 Subsequent releases were made in 2001 at sites in Kerikeri Whangarei Bay of Plenty and Gisborne Release sites were monitored for greenhouse thrips and T javae 14 times between 2002 and 2007 Thripobius javae was recovered from 11 of the 21 release sites More intensive monitoring of a citrus orchard in Kerikeri found that 95100 of threetree plots had T javae present 1 year after release After 6 years the parasitoid was found in only 2128 of plots and had dispersed at least 200 m from this release site It has since been found in isolated areas where it was never released Using trap lemons infested with larval greenhouse thrips was not an effective method for detecting T javae Sticky traps did catch some parasitoids and may be a potential method for determining presence/absence
APA, Harvard, Vancouver, ISO, and other styles
7

Lukiswati, Intan, Anik Djuraidah, and Utami Dyah Syafitri. "ANALISIS REGRESI DATA PANEL PADA INDEKS PEMBANGUNAN GENDER (IPG) JAWA TENGAH TAHUN 2011-2015." Indonesian Journal of Statistics and Its Applications 4, no. 1 (February 28, 2020): 89–96. http://dx.doi.org/10.29244/ijsa.v4i1.331.

Full text
Abstract:
The Gender Development Index (GDI) is a measure of the level of achievement of gender-based human development in Indonesia. Central Java Province is the largest province in Java with a GDI rate which tends to increase during the period of 2011 to 2015. Central Java's GDI, when compared to other provinces on Java Island, ranks third after DKI Jakarta and DI Yogyakarta. Central Java’s GDI consists of several observations for a certain period of time so that panel data regression analysis can be used. The purpose of this study was to model the GDI of women in Central Java with panel data regression and find out which explanatory variables significantly affected women's GDI in Central Java from 2011 to 2015. The results of this study indicate that explanatory variables that significantly influence women's GDI in Central Java are life expectancy, primary school enrollment rates, high school enrollment rates, and per capita expenditure.
APA, Harvard, Vancouver, ISO, and other styles
8

Mitchell, James G. "JavaOS." ACM SIGOPS Operating Systems Review 30, SI (October 28, 1996): 1. http://dx.doi.org/10.1145/248155.238731.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wehr, Stefan, and Peter Thiemann. "JavaGI." ACM Transactions on Programming Languages and Systems 33, no. 4 (July 2011): 1–83. http://dx.doi.org/10.1145/1985342.1985343.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Tschantz, Matthew S., and Michael D. Ernst. "Javari." ACM SIGPLAN Notices 40, no. 10 (October 12, 2005): 211–30. http://dx.doi.org/10.1145/1103845.1094828.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "JavaMe"

1

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.

Full text
Abstract:
This diploma thesis deals with developing multimedia applications on Java Micro Edition platform. The aim of this work is to design and implement the application which could establish a call between two users. The first part of the work describes J2ME platform, its two configurations and profiles. Next part is focused on Session Initiation Protocol and Real-time Transport Protocol. The application design consists of choosing the suitable virtual machine JVM, SIP and RTP libraries. The main part of this work describes application structure, graphic user interface and installation packages creating. It also shows a way of customizing the media stack - Java Media Framework, version Cross Platform.
APA, Harvard, Vancouver, ISO, and other styles
2

Janeč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.

Full text
Abstract:
This thesis analyzes various alternatives of SIP protocol implementation on Java Micro Edition devices. This analysis is especially concentrated on SIP protocol, SIP API (JSR-180) and the development in contemporary mobile data networks. I design a midlet for a mobile phone SIP client on the basis of this analysis. The design is especially concentrated on communication, registration and text mesage transfer.
APA, Harvard, Vancouver, ISO, and other styles
3

Obdržá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.

Full text
Abstract:
The master’s thesis deals with creation of system that provides video on demand. Technologies which are used to creation mobile application are analyzed. There are also mentioned today's most used codecs in the mobile devices. There are described standards, norms, principles and recommendations for transfer multimedia data on network in real time. Technologies which are appropriate for functionality of system on server side are described. The output of the work is an operational sample of whole system and description of functionality of this system.
APA, Harvard, Vancouver, ISO, and other styles
4

Kubina, 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.

Full text
Abstract:
This Diploma Thesis have been describing possibilities of Wireless Messaging API, which are used for applications handling with Short Messages. It have been describing basics of programming language JavaME, basics of formating and sending SMS, detailed analysis of Wireless Messaging API, application, which is part of my diploma thesis and finally Security Politics of JavaME programming language.
APA, Harvard, Vancouver, ISO, and other styles
5

Růč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.

Full text
Abstract:
The aim of this diploma thesis is to study the potential of Java ME platform for receiving and sending of SMS and to utilize obtained information subsequently in implementation of an application for this platform. The first part of the diploma thesis aims at explaining general terms of the Java language and its basic features. The next part deals with specific properties of the Java ME platform and properties of devices that support this platform. A design of the Java ME application based on theoretical knowledge is created then. This application has to be able to receive, process, store and send SMS and communicate with the server application based on the Java SE platform. The created Java ME application serves as an automated SMS voting server, which can be used in mobile devices that support the Java ME platform and can be remote-controlled via Internet from the Java SE platform application. The final chapter presents the results and conclusions of testing of the created application on real mobile devices.
APA, Harvard, Vancouver, ISO, and other styles
6

Lingė, 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.

Full text
Abstract:
Darbe analizuojamos mobilių įrenginių programavimo priemonių ir universalios sąsajos skirtingiems modeliams sukūrimo galimybės. Išanalizuotos IntelliJ IDEA, Eclipse IDE, Python for S60 ir NetBeans IDE programavimo priemonės. Aprašyti programavimo įrankių veikimo bruožai, nustatytos programavimo priemonių galimybės, išvardinti jų privalumai ir trūkumai. Pagal gautus rezultatus pasirinktas NetBeans IDE programavimo įrankis ir juo naudojantis sukurta taikomoji aplikacija. Ji skirta vairavimo mokyklos veiklos procesų optimizavimui bei moksliniams tyrimams atlikti. Taikomoji aplikacija išbandyta skirtingose mobilių įrenginių platfromose. Eksperimentinis tyrimas parodo kurios aplikacijos funkcijos veikia neteisingai. Svarbiausios funkcijos ištaisytos, tačiau keletas neatitikimu negali būti pašalinti, tokie kaip duomenų atvaizdavimas. Nustatyta, kad šis trūkumas gali būti pašalintas tik vaizduojant duomenų lentelę horizontaliai. Eksperimentinis tyrimas parodo kelis universalios sąsajos aplikacijos kūrimo metodus. Be to darbe pateiktas pasiūlymas universalios sąsajos kūrimui naudoti UML diagramas.
The 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.
APA, Harvard, Vancouver, ISO, and other styles
7

Tschantz, Matthew S. "Javari : adding reference immutability to Java." Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/42117.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2006.
Includes 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.
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
Darbe aptariami tipinių kompiuterių tinklų registravimo sistemų technologiniai trūkumai, pateikiama gedimų registracijos sistema papildyta nešiojamais įrenginiais. Analizuojamos galimybės sukurti ir įdiegti į praktiką kompiuterių tinklų gedimų registravimo programinį produktą delniniams kompiuteriams. Darbe analizuojamos delninių kompiuterių operacinės sistemos ir jų ypatybės, parinkta optimali aplikacijos kūrimo platforma. Sukurtas programinis produktas testuotas keliose operacinėse sistemose. Testavimo rezultatai patvirtino siūlomos sistemos mobilumo privalumus. Šiame darbe buvo analizuojamos bei projektuojamos galimybės, kuo labiau adaptuoti kompiuterinių sistemų gedimų registravimo programinį produktą delniniams kompiuteriams ir visa tai pritaikyti kasdieniniame darbe. Tyrime išanalizuotos delninių kompiuterių operacinės sistemos ir jų ypatybės, programų kūrimo įrankiai, duomenų bazių panaudojimo galimybės.
The 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.
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática
Quando 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”).
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
Abstract:
Denna rapport redogör för utvecklingen av en applikation som används för att konfigurera integrationer som används av av Sigma Integration Architecture (SIA). Applikationen är riktad till Sigma-personal som inte är vana vid denna integrationsarkitektur, då den tillhandlahåller användaren med en rad olika hjälp-element för att underlätta konfigurationensprocessen och sänka tröskeln för att kunna skapa och redigera integrationer. Genom att använda Javas reflection API i kombination med dynamic proxies, kan applikationen utföra validering och simulering av integrationer innan de används i produktion. Vi innefattar även cache-metod för att snappa upp processen, och påvisar även testverifikation av cache-processen. Applikationen är utvecklad som två separata delar, bestående av en back end skriven i Java, och en webbaserad front end skapad med AngularJS.
This 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.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "JavaMe"

1

Schader, Martin, and Lars Schmidt-Thieme. JavaTM. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-642-59330-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sumro, Amanullah. Javāb dīyo. [S.l: s.n., 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Dea, Carl, Mark Heckler, Gerrit Grunwald, José Pereda, and Sean M. Phillips. JavaFX 8. Berkeley, CA: Apress, 2014. http://dx.doi.org/10.1007/978-1-4302-6461-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Steyer, Ralph. JavaFX: Dynamische und interaktive Java-Applikationen mit JavaFX. [S.l.]: Addison-Wesley Verlag, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Saʻīdurraḥmʹan, Qārī. Mullā kā javāb. Svāt, Pakistan: Ḥalqah-yi Ulāmāʼ-yi Karām, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

JavaFX in action. Greenwich, CT: Manning Pub., 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Nākhudā-yi javān. Tihrān: Intishārāt-i Payk-i Dabīrān, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kartokromo, Kadi. Javanen en politiek. Paramaribo: [s.n.], 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Nākhudā-yi javān. Tihrān: Intishārāt-i Payk-i Dabīrān, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Topley, Kim. JavaFX developer's guide. Upper Saddle River, NJ: Addison-Wesley, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "JavaMe"

1

Stärk, Robert F., Joachim Schmid, and Egon Börger. "The procedural extension JavaC of JavaI." In Java and the Java Virtual Machine, 47–69. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Stärk, Robert F., Joachim Schmid, and Egon Börger. "The concurrent extension JavaT of Javaε." In Java and the Java Virtual Machine, 95–110. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hunt, John. "Java 2 Platform: Java’s Third Age?" In Java for Practitioners, 55–62. London: Springer London, 1999. http://dx.doi.org/10.1007/978-1-4471-0843-6_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Stärk, Robert F., Joachim Schmid, and Egon Börger. "The imperative core JavaI of Java." In Java and the Java Virtual Machine, 33–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Cok, David R., and Joseph R. Kiniry. "ESC/Java2: Uniting ESC/Java and JML." In Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 108–28. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-30569-9_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Holgado-Terriza, Juan Antonio, and Jaime Viúdez-Aivar. "JavaES, a Flexible Java Framework for Embedded Systems." In Distributed, Embedded and Real-time Java Systems, 323–55. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-1-4419-8158-5_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Schordan, Markus, and Harald Kosch. "JavaSet — eine Spracherweiterung von Java um persistente Mengen." In JIT’98 Java-Informations-Tage 1998, 39–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-59984-2_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Baier, Daniel, Dirk Beyer, and Karlheinz Friedberger. "JavaSMT 3: Interacting with SMT Solvers in Java." In Computer Aided Verification, 195–208. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_9.

Full text
Abstract:
AbstractSatisfiability Modulo Theories (SMT) is an enabling technology with many applications, especially in computer-aided verification. Due to advances in research and strong demand for solvers, there are many SMT solvers available. Since different implementations have different strengths, it is often desirable to be able to substitute one solver by another. Unfortunately, the solvers have vastly different APIs and it is not easy to switch to a different solver (lock-in effect). To tackle this problem, we developed JavaSMT, which is a solver-independent framework that unifies the API for using a set of SMT solvers. This paper describes version 3 of JavaSMT, which now supports eight SMT solvers and offers a simpler build and update process. Our feature comparisons and experiments show that different SMT solvers significantly differ in terms of feature support and performance characteristics. A unifying Java API for SMT solvers is important to make the SMT technology accessible for software developers. Similar APIs exist for other programming languages.
APA, Harvard, Vancouver, ISO, and other styles
9

Juneau, Josh, Carl Dea, Freddy Guime, and John O’Conner. "Java3D." In Java 7 Recipes, 397–412. Berkeley, CA: Apress, 2012. http://dx.doi.org/10.1007/978-1-4302-4057-0_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Karpenkov, Egor George, Karlheinz Friedberger, and Dirk Beyer. "JavaSMT: A Unified Interface for SMT Solvers in Java." In Lecture Notes in Computer Science, 139–48. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48869-1_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "JavaMe"

1

Sormaz, Dusan N., and Prashant A. Borse. "Procedural Visualization of Manufacturing Processes in Distributed Environment." In ASME 2002 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2002. http://dx.doi.org/10.1115/detc2002/cie-34458.

Full text
Abstract:
Visualization provides a tool to enhance understanding and data representation for information generated from numerical simulations and measurements. Visualization of a manufacturing process provides approximate simulation of machining with alternative process parameters, tool and work piece being examined in action. This paper presents a system that provides for visualization of machining processes. The developments were being carried out with Java and Java3d APIs. The process, feature and work piece geometry data are retrieved from knowledge-based system for generating process animation in Java3d environment. The data structures from Java classes are converting the data into GeometryArray objects using Java3d utilities such as GeometryInfo, Triangulator and others. For process animation, the important classes involved are Morphing, Behavior and various interpolators. The complete process animation is guided using a single alpha timer object with supplementary geometry arrays generating realistic machining process. Prototype has been implemented so that it accepts data (tool, feature, work piece geometries) from knowledge based process planner and generates data driven animation in a distributed environment.
APA, Harvard, Vancouver, ISO, and other styles
2

Borg, A., N. Audsley, and A. Wellings. "Real-time Java for embedded devices: the Javamen project." In Perspectives in Pervasive Computing. IET, 2005. http://dx.doi.org/10.1049/ic.2005.0781.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Schorrig, Hartmut, and Thomas Henties. "Java2C - developing in Java, deployment in C." In the 8th International Workshop. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1850771.1850781.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Ogata, Kazunori, Dai Mikurube, Kiyokuni Kawachiya, Scott Trent, and Tamiya Onodera. "A study of Java's non-Java memory." In the ACM international conference. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1869459.1869477.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Buytaert, Dries, Jonas Maebe, Lieven Eeckhout, and Koen De Bosschere. "Building Java program analysis tools using Javana." In Companion to the 21st ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1176617.1176657.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Cok, David R. "Specifying java iterators with JML and Esc/Java2." In the 2006 conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1181195.1181210.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bing-Yu Chen, Shish, Tzong-Jer Yang, and Ming Ouhyoung. "JAVAGL- A 3D Graphics Library In Java For Internet Browsers." In 1998 International Conference on Consumer Electronics. IEEE, 1997. http://dx.doi.org/10.1109/icce.1997.625848.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Holm, Magnus, Mohammad Givehchi, Abdullah Mohammed, and Lihui Wang. "Web Based Monitoring and Control of Distant Robotic Operations." In ASME 2012 International Manufacturing Science and Engineering Conference collocated with the 40th North American Manufacturing Research Conference and in participation with the International Conference on Tribology Materials and Processing. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/msec2012-7296.

Full text
Abstract:
In order to improve the production efficiency while facing today’s manufacturing uncertainty, responsive and adaptive capabilities for rapid production changes are essential. This paper presents how dynamic control and real-time monitoring (embedded in a web-based Wise-ShopFloor framework) can integrate virtual models with real shop floors. Wise-ShopFloor (Web-based integrated sensor-driven e-ShopFloor) uses Java technologies (e.g., Java Servlet and Java3D) for implementing the system. It allows the operators, both remote and on-site, to monitor and control machines, devices and operations on a shop floor, based on run-time information from the connected machines, devices and their sensors. Two case studies are presented to demonstrate the approach towards web-based adaptive manufacturing. The first demonstrating how OPC-technology is used to improve the monitoring and control capabilities of the production and the second one focusing on remote control of a robot eliminating the need of motion planning and tedious robot programming.
APA, Harvard, Vancouver, ISO, and other styles
9

Dansie, Christopher, and Don R. Brown. "Visualizing Sequential Information With Perceptual Cues." In ASME 1999 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/detc99/eim-9027.

Full text
Abstract:
Abstract A new visualization technique is presented that utilizes interactive three-dimensional graphics and perceptual cues to visualize unstructured, sequential data. Upon evaluation the optimum values, trends and relationships between segments and sequences are quickly seen using the perceptual abilities of the human visual system. This research is applied to visualizing logistics information, were decisions are made based upon multivariate, and sequential information. Using this technique the user can analyze route parameters visually rather than computationally to aid in the decision making process. The visualization is accomplished through a custom software system written in Java utilizing the Java3D API to generate the three-dimensional visualization.
APA, Harvard, Vancouver, ISO, and other styles
10

Yang, Xiaodong, Weihong Cui, Peifa Wang, and Yongqi Huang. "The simulation of 3D structure of groundwater system based on Java/Java3D." In Geoinformatics 2007, edited by Jingming Chen and Yingxia Pu. SPIE, 2007. http://dx.doi.org/10.1117/12.761929.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "JavaMe"

1

Abi-Antoun, Marwan, and Jonathan Aldrich. JavaD: Bringing Ownership Domains to Mainstream Java. Fort Belvoir, VA: Defense Technical Information Center, May 2006. http://dx.doi.org/10.21236/ada456237.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Johnson, Anthony S. Java Analysis Studio. Office of Scientific and Technical Information (OSTI), October 1998. http://dx.doi.org/10.2172/9932.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Long, Fred. Software Vulnerabilities in Java. Fort Belvoir, VA: Defense Technical Information Center, October 2005. http://dx.doi.org/10.21236/ada443139.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Franco, J. Network Servers and Java,. Fort Belvoir, VA: Defense Technical Information Center, December 1996. http://dx.doi.org/10.21236/ada326051.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Varma, Ankush, and Shuvra S. Bhattacharyya. Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems. Fort Belvoir, VA: Defense Technical Information Center, February 2004. http://dx.doi.org/10.21236/ada455085.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

League, Christopher, Valery Trifonov, and Zhong Shao. Type-Preserving Compilation of Featherweight Java. Fort Belvoir, VA: Defense Technical Information Center, January 2005. http://dx.doi.org/10.21236/ada436466.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Conn, Eric S. JAVA-Based Performance Oriented Visualization System. Fort Belvoir, VA: Defense Technical Information Center, April 2003. http://dx.doi.org/10.21236/ada415539.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Friedman-Hill, E. J. Jess, the Java expert system shell. Office of Scientific and Technical Information (OSTI), November 1997. http://dx.doi.org/10.2172/565603.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Piszcz, Alan, and Kent Vidrine. Real-Time Java Commercial Product Assessment. Fort Belvoir, VA: Defense Technical Information Center, October 2000. http://dx.doi.org/10.21236/ada458007.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Joe Klein, Joe Klein. An ethnographic study of the illegal trade in Javan slow lorises. Experiment, March 2013. http://dx.doi.org/10.18258/0155.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography