716 search results - page 108 / 144 » Security Requirements Engineering: A Framework for Represent... |
AVI
2006
13 years 9 months ago
2006
Researchers have explored the design of ambient information systems across a wide range of physical and screen-based media. This work has yielded rich examples of design approache...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
DCC
2005
IEEE
14 years 7 months ago
2005
IEEE
Elliptic curve cryptosystems in the presence of faults were studied by Biehl, Meyer and M?uller (2000). The first fault model they consider requires that the input point P in the c...
IJHPCA
2010
13 years 6 months ago
2010
Sparse matrix operations achieve only small fractions of peak CPU speeds because of the use of specialized, indexbased matrix representations, which degrade cache utilization by i...
LREC
2008
13 years 9 months ago
2008
Pattern matching, or querying, over annotations is a general purpose paradigm for inspecting, navigating, mining, and transforming annotation repositories--the common representati...