73 search results - page 15 / 15 » A Metalogic Programming Approach to Reasoning about Time in ... |
CLUSTER
2003
IEEE
13 years 11 months ago
2003
IEEE
We further increase the efficiency of Java RMI programs. Where other optimizing re-implementations of RMI use pre-processors to create stubs and skeletons and to create class spe...
IDT
2008
13 years 5 months ago
2008
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
BMCBI
2008
13 years 5 months ago
2008
Background: It has repeatedly been shown that interacting protein families tend to have similar phylogenetic trees. These similarities can be used to predicting the mapping betwee...