3483 search results - page 303 / 697 » Using Subject-Oriented Modeling to Develop Jini Applications |
169
click to vote
ENTCS
2011
15 years 1 months ago
2011
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation of our title, ‘Computational Complexity in Non-Turing Models of Computationâ...
184
Voted
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
177
click to vote
WAIM
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we propose a generic model to generate basic multi-partite graphs obtained by associations found in arbitrary data. The interest of such a model is to be the formal ...
168
click to vote
RECOMB
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Metagenomics is the study of microbial communities sampled directly from their natural environment, without prior culturing. Among the computational tools recently develo...
195
click to vote
TPHOL
2009
IEEE
16 years 23 days ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...