21324 search results - page 401 / 4265 » Making the case for computing |
162
click to vote
JVA
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
121
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Experimental data validating some of the proposed parallel computation models on the Intel Paragon is presented. This architecture is characterized by a large bandwidth and a rela...
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
With the advent of grid computing, multiple users can make use of heterogeneous computing nodes and data nodes for collaborative research. Hence, collaboration tool is inevitably i...
141
click to vote
NC
2007
15 years 4 months ago
2007
In quantum computational logic meanings of sentences are identified with quantum information quantities: systems of qubits or, more generally, mixtures of systems of qubits. We co...
119
click to vote
IJACI
2010
15 years 3 months ago
2010
This paper explores a very simple idea: what can be achieved by using the principles and the technologies of the Web Platform1 when they are applied to Ambient Computing? To answer...