Search results
From MaRDI portal
Did you mean: mobile java codes
- 2016-01-08 Paper Principal typings for Java-like languages 2015-11-11 Paper A parametric calculus for mobile open code 2013-12-06 Paper A calculus for reconfiguration...10 bytes (14 words) - 03:14, 11 April 2026
- Publication Date of Publication Type Proving the correctness of mobile Java code 2011-02-22 Paper...10 bytes (13 words) - 02:32, 25 September 2023
- Publication Date of Publication Type Proving the correctness of mobile Java code 2011-02-22 Paper...10 bytes (15 words) - 02:32, 25 September 2023
- Address standardization 2012-07-12 Paper Proving the correctness of mobile Java code 2011-02-22 Paper Commanding a robot in a safe way 2009-12-29 Paper...10 bytes (13 words) - 12:51, 7 October 2023
- multiparty sessions 2024-02-23 Paper A Java-like calculus with heterogeneous coeffects 2023-08-18 Paper Intersection types in Java: back to the future 2023-08-02...10 bytes (13 words) - 19:32, 10 April 2026
- Typed Mobile Processes 2008-08-19 Paper Timed, Distributed, Probabilistic, Typed Processes 2008-05-15 Paper Formalising Java RMI with explicit code mobility...10 bytes (13 words) - 18:41, 10 April 2026
- Specialization of Prolog Programs 2009-01-15 Paper Abstraction-carrying code: a model for mobile code safety 2008-10-20 Paper An Overview of the Ciao Multiparadigm...10 bytes (16 words) - 03:54, 13 April 2026
- 2001-05-07 Paper An efficient heuristic for code partitioning 2000-06-04 Paper Analysis of a heuristic for code partitioning 1999-01-11 Paper Incorporating...10 bytes (17 words) - 18:31, 10 April 2026
- mardi4nfdi.de/entity/Q3105096 2012-01-05 Paper Proving the correctness of mobile Java code 2011-02-22 Paper Static rules of variable scoping in Erlang 2010-01-25...10 bytes (13 words) - 08:21, 7 October 2023
- Paper A calculus of mobile agents 2023-06-28 Paper Implicit typing à la ML for the join-calculus 2023-05-17 Paper State separation for code-based game-playing...10 bytes (13 words) - 18:19, 10 April 2026
- DQN algorithms for reinforcement learning 2025-01-08 Paper Generating Java code pairing with ChatGPT 2024-11-18 Paper A dynamic parameter adaptive path...10 bytes (13 words) - 18:59, 10 April 2026
- for three-dimensional inhomogeneous elliptic problems: theory and MATLAB code 2020-01-03 Paper Improved differential evolutionary algorithm for nonlinear...10 bytes (14 words) - 18:46, 10 April 2026
- computational fields 2016-01-07 Paper On flexible dynamic trait replacement for Java-like languages 2014-04-02 Paper Compositional type checking of delta-oriented...10 bytes (15 words) - 19:32, 10 April 2026
- categorization of Java Maven libraries along Python PyPI Topics (dataset) 2024-01-10 Dataset [DEPRECATED] A manually-curated categorisation of Java Maven libraries...10 bytes (15 words) - 01:21, 12 April 2026
- frame properties in JML 2003-02-20 Paper How Java's language design reflects the requirements of mobile code 2002-04-28 Paper https://portal.mardi4nfdi.de/entity/Q2729071...10 bytes (15 words) - 04:23, 13 April 2026
- Paper Using abstract interpretation to add type checking for interfaces in Java bytecode verification 2010-05-27 Paper Instruction-level security analysis...10 bytes (15 words) - 22:39, 11 April 2026
- flowfields 2009-12-21 Paper A toolkit for efficient numerical applications in Java 2009-12-21 Paper The development and application of CFD models for water...10 bytes (12 words) - 13:00, 12 April 2026
- de/entity/Q5491125 2006-10-10 Paper Consistency of cooperative caching in mobile peer-to-peer systems over MANET 2006-04-19 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 13:33, 7 October 2023
- Publication Date of Publication Type Integrating native code into a Java application for controlling a mobile robot via a PC's serial port 2003-02-20 Paper...10 bytes (13 words) - 20:50, 24 September 2023
- Publication Date of Publication Type Integrating native code into a Java application for controlling a mobile robot via a PC's serial port 2003-02-20 Paper...10 bytes (13 words) - 20:50, 24 September 2023
