3690 search results - page 305 / 738 » Computation with classical sequents |
160
click to vote
AINA
2010
IEEE
15 years 9 months ago
2010
IEEE
—Web-based systems commonly face unique set of vulnerabilities and security threats due to their high exposure, access by browsers, and integration with databases. In this paper ...
162
click to vote
ANTSW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. They appeared in our life some years ago with the awakening of the PC and now the are everywhere : computers have become ubiquitous and, almost, irreplaceable. Classical ...
129
click to vote
CLUSTER
2004
IEEE
15 years 9 months ago
2004
IEEE
We describe the use of component architecture in an area to which this approach has not been classically applied, the area of cluster system software. By "cluster system soft...
154
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
169
click to vote
DSOM
2006
Springer
15 years 9 months ago
2006
Springer
Load sharing in the data centre is an essential strategy for meeting service levels in high volume and high availability services. We investigate the accuracy with which simple, cl...