1995 search results - page 268 / 399 » interfaces 2008 |
129
click to vote
JCC
2008
15 years 4 months ago
2008
: An explicit ion, implicit water solvent model for molecular dynamics was developed and tested with DNA and RNA simulations. The implicit water model uses the finite difference Po...
148
click to vote
JCM
2008
15 years 4 months ago
2008
Abstract--Mobile Agents is a new paradigm for distributed computing where security is very essential to the acceptance of this paradigm in a large scale distributed environment. In...
122
click to vote
JDCTA
2008
15 years 4 months ago
2008
For interoperation of heterogeneous management systems and integration of existing legacy applications in telecommunication network management systems, a translation from GDMO/ASN...
129
click to vote
JIIS
2008
15 years 4 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
164
click to vote
DAM
2007
15 years 4 months ago
2007
Primitive words, or strings over a finite alphabet that cannot be written as a power of another string, play an important role in numerous research areas including formal language...