277 search results - page 53 / 56 » Precise reasoning for programs using containers |
SACMAT
2003
ACM
13 years 11 months ago
2003
ACM
Authorization policy infrastructures are evolving with the complex environments that they support. However, the requirements and technologies supporting context are not yet well u...
IPL
2010
13 years 4 months ago
2010
In numerous modern stream ciphers, the internal state consists of a large array of pseudo-random words, and the output key-stream is a relatively simple function of the state. In ...
AOSD
2010
ACM
14 years 27 days ago
2010
ACM
An important element of understanding a software code base is to identify the repetitive patterns of code it contains and how these evolve over time. Some patterns are useful to t...
IPSN
2007
Springer
14 years 5 days ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
BMCBI
2006
13 years 6 months ago
2006
Background: One-dimensional protein structures such as secondary structures or contact numbers are useful for three-dimensional structure prediction and helpful for intuitive unde...