3836 search results - page 652 / 768 » Semantics of Database Transformations |
101
click to vote
SIGOPS
2008
15 years 2 months ago
2008
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...
108
click to vote
SPE
2008
15 years 2 months ago
2008
This paper presents a variation of the visitor pattern which allows programmers to write visitor-like code in a concise way. The Runabout is a library extension that adds a limited...
148
click to vote
SP
2002
IEEE
15 years 2 months ago
2002
IEEE
When Java was first introduced, there was a perception that its many benefits came at a significant performance cost. In the particularly performance-sensitive field of numerical ...
121
click to vote
ML
2010
ACM
15 years 27 days ago
2010
ACM
Current trends demonstrate an increasing use of polymorphism by attackers to disguise their exploits. The ability for malicious code to be easily, and automatically, transformed in...
125
click to vote
UTP
2010
15 years 25 days ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...