800 search results - page 82 / 160 » Towards a formalization of budgets |
91
Voted
FDL
2007
IEEE
15 years 2 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
119
Voted
DILS
2006
Springer
15 years 2 months ago
2006
Springer
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...
100
Voted
DRM
2006
Springer
15 years 2 months ago
2006
Springer
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...
90
Voted
EKAW
2006
Springer
15 years 2 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
92
Voted
CSFW
2010
IEEE
15 years 2 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...