23 search results - page 3 / 5 » It depends on what you mean by 'working' |
FM
2006
Springer
15 years 1 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
JOT
2007
14 years 9 months ago
2007
All modern software development processes try to help project teams conduct their work. While there are some important differences between them, the commonalities are far greater ...
ISCA
2010
IEEE
15 years 2 months ago
2010
IEEE
Chip Multiprocessors (CMPs) are now commodity hardware, but commoditization of parallel software remains elusive. In the near term, the current trend of increased coreper-socket c...
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Categorization of online videos is often treated as a tag suggestion task; tags can be generated by individuals or by machine classification. In this paper, we suggest categoriza...
ESORICS
2004
Springer
15 years 3 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...