913 search results - page 82 / 183 » Toward Formalizing Structured Analysis |
DSN
2009
IEEE
14 years 3 months ago
2009
IEEE
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...
CIA
2004
Springer
14 years 2 months ago
2004
Springer
We are investigating how to provide intelligent, pervasive support of group of people within so-called “smart environments”. Our current main assumption, based on literature in...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
HYBRID
2000
Springer
14 years 21 days ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
TSMC
2010
13 years 3 months ago
2010
Abstract--Ear recognition, as a biometric, has several advantages. In particular, ears can be measured remotely and are also relatively static in size and structure for each indivi...