1054 search results - page 44 / 211 » From a Verified Kernel towards Verified Systems |
106
Voted
CBSE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
112
click to vote
CISC
2008
Springer
15 years 4 months ago
2008
Springer
The notion of anonymous signatures has recently been formalized by [18], which captures an interesting property that a digital signature can sometimes hide the identity of the sign...
115
Voted
STTT
2008
15 years 1 months ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
ICPR
2000
IEEE
16 years 3 months ago
2000
IEEE
In this paper, a novel algorithm for creating virtual indoor environments is described. First, a panoramic mosaic is generated from a series of photos taken with a camera rotates ...
118
click to vote
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper presents a high-resolution image reconstruction method from low-resolution image sequence. It is difficult to recognize details from a low-resolution image because of s...