3931 search results - page 606 / 787 » Separation logic and abstraction |
211
click to vote
LSSC
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. Quasi-Monte Carlo methods are based on the idea that random Monte Carlo techniques can often be improved by replacing the underlying source of random numbers with a more ...
184
click to vote
COOPIS
2000
IEEE
15 years 12 months ago
2000
IEEE
Abstract. A main problem for electronic commerce, particularly for businessto-business applications, lies in the need for the involved information systems to meaningfully exchange ...
228
click to vote
ICC
2000
IEEE
15 years 12 months ago
2000
IEEE
Abstract—We describe two classes of simple, effective techniques for reducing the average optical power requirement in intensity-modulated optical systems using multiple BPSK or ...
186
click to vote
LCN
2000
IEEE
15 years 12 months ago
2000
IEEE
Abstract—This paper presents results from performance measurements carried out in a Differentiated Services WAN connecting three major cities in Southern Finland. The target of t...
234
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...