Sciweavers

1932 search results - page 146 / 387
» Molecule-oriented programming in Java
Sort
View
110
Voted
AINA
2005
IEEE
15 years 6 months ago
Implementation and Evaluation of a Java Based Computational Grid for Bioinformatics Applications
In the present study, THUBioGrid, an experimental distributed computing application for bioinformatics (BioGrid) is proposed. THUBioGrid incorporates directory services (data and ...
Chao-Tung Yang, Yi-Chun Hsiung, Heng-Chuan Kan
FASE
2001
Springer
15 years 5 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
104
Voted
PARELEC
2000
IEEE
15 years 5 months ago
Sequential and Distributed Simulations Using Java Threads
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
Mostafa Azizi, El Mostapha Aboulhamid, Sofiè...
SIGCSE
2000
ACM
120views Education» more  SIGCSE 2000»
15 years 5 months ago
Object-orientation in Java for scientific programmers
Scientific programmers have traditionally programmed in entirely sequential languages such as Fortran, C or Pascal and it could be argued that object-orientation is not a concept ...
Judith Bishop, Nigel Bishop
101
Voted
FASE
1999
Springer
15 years 5 months ago
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
Eva Coscia, Gianna Reggio