7112 search results - page 1222 / 1423 » Power in normative systems |
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
Architecture description languages are widely used to perform architecture exploration for application-driven designs, whereas the RT-level is the commonly accepted level for hard...
DSN
2004
IEEE
14 years 1 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
CCS
2006
ACM
14 years 1 months ago
2006
ACM
Most of the recent work on Web security focuses on preventing attacks that directly harm the browser's host machine and user. In this paper we attempt to quantify the threat ...
DAMON
2006
Springer
14 years 1 months ago
2006
Springer
Secure coprocessors have traditionally been used as a keystone of a security subsystem, eliminating the need to protect the rest of the subsystem with physical security measures. ...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...