Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
4,451
Realization in the Browser/Java Environment
, 1997
"... This paper presents a simple and intuitive hypermedia synchronization model – the Media Relation Graph (MRG), and an alternative implementation of the Hypermedia Presentation and Authoring System (HPAS), which is the testbed for MRG. Our model combines the power of both interval-based and point-base ..."
Abstract
- Add to MetaCart
-based synchronization mechanisms. The new implementation exploits many rich features of commercial web browsers and reuses existing browser components, such as plugins and Java applets. (An overview of HPAS and its original Unix/C implementation can be found elsewhere [18].) 1
Optimizing the Java Environment
"... This publication may refer to products that are not currently available in your country. IBM makes no commitment to make available any products referred to herein. ..."
Abstract
- Add to MetaCart
This publication may refer to products that are not currently available in your country. IBM makes no commitment to make available any products referred to herein.
Performance Tools for Parallel Java Environments
- Proc.of the Second Annual Workshop on Java for High-Performance Computing, ICS00. St. Fe
, 2000
"... Parallel Java environments present challenging problems for performance tools because of Java’s rich language system and its multi-level execution platform combined with the integration of native-code application libraries and parallel runtime software. In addition to the desire to provide robust pe ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
Parallel Java environments present challenging problems for performance tools because of Java’s rich language system and its multi-level execution platform combined with the integration of native-code application libraries and parallel runtime software. In addition to the desire to provide robust
Model Checking Programs
, 2003
"... The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers. In this pape ..."
Abstract
-
Cited by 592 (63 self)
- Add to MetaCart
environment for Java, called Java PathFinder (JPF), which integrates model checking, program analysis and testing. Part of this work has consisted of building a new Java Virtual Machine that interprets Java bytecode. JPF uses state compression to handle big states, and partial order and symmetry reduction
BiNGO: a Cytoscape plugin to assess overrepresentation of gene ontology categories in biological networks
- Bioinformatics
, 2005
"... Summary: The Biological Networks Gene Ontology tool (BiNGO) is an open-source Java tool to determine which Gene Ontology (GO) terms are significantly overrepresented in a set of genes. BiNGO can be used either on a list of genes, pasted as text, or interactively on subgraphs of biological networks v ..."
Abstract
-
Cited by 535 (4 self)
- Add to MetaCart
Summary: The Biological Networks Gene Ontology tool (BiNGO) is an open-source Java tool to determine which Gene Ontology (GO) terms are significantly overrepresented in a set of genes. BiNGO can be used either on a list of genes, pasted as text, or interactively on subgraphs of biological networks
A Selective Protection Scheme for the Java Environment
, 1996
"... This paper describes a protection scheme for the Java environment. This scheme allows a programmer to specify the protection rights assigned to a class loaded from a remote site with respect to the local files. Protection is expressed in a high-level notation that extends the interface definition of ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
This paper describes a protection scheme for the Java environment. This scheme allows a programmer to specify the protection rights assigned to a class loaded from a remote site with respect to the local files. Protection is expressed in a high-level notation that extends the interface definition
The design and implementation of an intentional naming system
- 17TH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '99) PUBLISHED AS OPERATING SYSTEMS REVIEW, 34(5):186--201, DEC. 1999
, 1999
"... This paper presents the design and implementation of the Intentional Naming System (INS), a resource discovery and service location system for dynamic and mobile networks of devices and computers. Such environments require a naming system that is (i) expressive, to describe and make requests based o ..."
Abstract
-
Cited by 518 (14 self)
- Add to MetaCart
This paper presents the design and implementation of the Intentional Naming System (INS), a resource discovery and service location system for dynamic and mobile networks of devices and computers. Such environments require a naming system that is (i) expressive, to describe and make requests based
Identifying Reference Objects by Hierarchical Clustering in Java Environment
"... Recently Java programming environment has become so popular. Java programming language is a language that is designed to be portable enough to be executed in wide range of computers ranging from cell phones to supercomputers. Computer programs written in Java are compiled into Java Byte code instruc ..."
Abstract
- Add to MetaCart
Recently Java programming environment has become so popular. Java programming language is a language that is designed to be portable enough to be executed in wide range of computers ranging from cell phones to supercomputers. Computer programs written in Java are compiled into Java Byte code
VALIDATION OF XML BIBLIOGRAPHIC RECORDS IN JAVA ENVIRONMENT
"... Abstract. One of the main library network function is so–called shared cataloguing, i.e. the exchange of bibliographic records on national and international level. In this paper we present a system for creating valid bibliographic records based on XML technology, as a basis for exchange of these rec ..."
Abstract
- Add to MetaCart
for recording the bibliographic data in machinereadable cataloguing format – UNIMARC. The system for creating valid XML bibliographic records will be implemented in Java environment.
Network Management Agents Supported By A Java Environment
- Accepted in ISINM'97, SanDiego, CA
, 1996
"... A network management architecture based on an intelligent agent using Java is investigated. The manager browser and the intelligent agent are Java application programs and the communication between them is carried out by Java classes. Adapting the Java environment with its bytecode and object orient ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
A network management architecture based on an intelligent agent using Java is investigated. The manager browser and the intelligent agent are Java application programs and the communication between them is carried out by Java classes. Adapting the Java environment with its bytecode and object
Results 1 - 10
of
4,451
