3639 search results - page 386 / 728 » Provenance as Dependency Analysis |
182
click to vote
EIT
2008
IEEE
16 years 1 months ago
2008
IEEE
—The rapid growth and pervasive use of embedded systems makes it easier for an adversary to gain physical access to these devices to launch attacks and reverse engineer of the sy...
218
click to vote
LCTRTS
2007
Springer
16 years 27 days ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
164
click to vote
LOPSTR
2007
Springer
16 years 27 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
240
click to vote
OOPSLA
2007
Springer
16 years 27 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
154
click to vote
WABI
2007
Springer
16 years 26 days ago
2007
Springer
Although snake venom proteins have been proven instrumental in the design of blood clotting and cytostatic breast cancer drugs, the main method in use to sequence these unknown pr...