Вы здесь

Главная

java

Связанные издания:

A Bytecode Translator for Distributed Execution of "Legacy" Java Software
A Case Study on a Component-Based System and Its Configuration
Achieving Robust, Scalable Cluster I/O in Java
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for JavaTM
A Comparison of Two Persistent Storage Tools for Implementing a Search Engine
A Compositional Operational Semantics for JavaMT
A Comprehensive Approach to Array Bounds Check Elimination for Java
A Constructivist Framework for Integrating the Java Paradigm into the Undergraduate Curriculum
A Constructivist Learning Environment Implemented in Java
Active Visual J++
A Customizable Implementation of RMI for High Performance Computing
Adapting JavaRMI for grid computing
Adaptive Constraint Handling with CHR in Java
Adaptive Migration Strategy for Mobile Agents on Internet
Adding Real-Time Capabilities to Java
Adding Type Parameterization to the Java Language
Advanced Collaboration Techniques between Java Objects Distributed on Clusters
Advanced Network Management Functionalities through the Use of Mobile Software Agents
Advanced Thread Synchronization in Java Using Interaction Expressions
Advanced Transactions in Enterprise JavaBeans
A Dynamic JAVA-Based Intelligent Interface for Online Image Database Searches
A Dynamic Proxy Based Architecture to Support Distributed Java Objects in a Mobile Environment
A Formal Executable Semantics of the JavaCard Platform
A Formal Framework for Java Separate Compilation
A Formal Framework for the Java Bytecode Language and Verifier
A Formalisation of Java s Exception Mechanism
A Formal Specification of JavaTM Virtual Machine Instructions for Objects, Methods and Subroutines
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
A Framework for Object-Oriented Metacomputing
A Framework for Optimizing Java Using Attributes
A Framework for Persistence-Enabled Optimization of Java Object Stores
Agent System for Load Monitoring of the Heterogeneous Computer Network
Aglets: Programming Mobile Agents in Java
A Hardest Attacker for Leaking References
A Haskell to Java Virtual Machine Code Compiler
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
A Java-Based, Distributed Process Management System for Collaborative Design and Manufacturing
A Java-Based Framework for Processing Distributed Objects
A Java-based Implementation of Collaborative Active Textbooks
A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context
A Java Middleware for Gauranteeing Privacy of Distributed Tuple Spaces
A Language Framework for Expressing Checkable Properties of Dynamic Software
A Language Implementation Framework in Java
"Alfonse, Your Java Is Ready!"
Aliasing in Object-Oriented Programming: Types, Analysis, and Verification
A Logic for the Java Modeling Language JML
Altering Java Semantics via Bytecode Manipulation
A methoddology for the design of calloborative services
A Middleware Framework for the Persistence and Querying of Java Objects
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages