1139 search results - page 91 / 228 » Design and Implementation of a TCG-based Integrity Measureme... |
186
click to vote
XIMEP
2005
ACM
15 years 11 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...
156
Voted
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
165
click to vote
HICSS
2007
IEEE
16 years 15 days ago
2007
IEEE
With the recent advances in mobile technologies and infrastructures, citizens start to demand for not just mobile but also ubiquitous access to e-government services. Further with...
164
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
176
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
With 90nm CMOS in production and 65nm testing in progress, power has been pushed to the forefront of design metrics. This paper will outline practical techniques that are used to ...