12183 search results - page 2122 / 2437 » Computers under Attacks! |
209
Voted
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
149
click to vote
MIDDLEWARE
2007
Springer
16 years 25 days ago
2007
Springer
Snowbird is a middleware system based on virtual machine (VM) technology that simplifies the development and deployment of bimodal applications. Such applications alternate betwee...
199
click to vote
OTM
2007
Springer
16 years 25 days ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
183
click to vote
TLCA
2007
Springer
16 years 24 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
142
Voted
ACSC
2006
IEEE
16 years 23 days ago
2006
IEEE
Modern computer networks contain an amalgamation of devices and technologies, with the performance exhibited by each central to digital communications. Varieties of methods exist ...