1770 search results - page 66 / 354 » Writing requirements in computer security |
IJISEC
2007
13 years 9 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
OOPSLA
2001
Springer
14 years 1 months ago
2001
Springer
We present Jiazzi, a system that enables the construction of largescale binary components in Java. Jiazzi components can be thought of as generalizations of Java packages with add...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
HPCA
2011
IEEE
13 years 21 days ago
2011
IEEE
Flash memory based solid state drives (SSDs) have shown a great potential to change storage infrastructure fundamentally through their high performance and low power. Most recent ...
IJCNLP
2004
Springer
14 years 2 months ago
2004
Springer
As Chinese is not alphabetic and the input of Chinese characters into computer is still a difficult and unsolved problem, voice retrieval of information becomes apparently an imp...