1925 search results - page 288 / 385 » Theory research at Google |
184
click to vote
ENTCS
2002
15 years 6 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
163
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...
160
click to vote
QUESTA
1998
15 years 6 months ago
1998
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...
129
click to vote
TEC
2002
15 years 6 months ago
2002
Abstract--This paper contains a modern vision of the parallelization techniques used for evolutionary algorithms (EAs). The work is motivated by two fundamental facts: first, the d...
205
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...