38 search results - page 3 / 8 » Accountability: definition and relationship to verifiability |
DAC
1994
ACM
13 years 10 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
IDEAL
2010
Springer
13 years 4 months ago
2010
Springer
Many of our activities on computer need a verification step for authorized access. The goal of verification is to tell apart the true account owner from intruders. We propose a gen...
BIOTECHNO
2008
IEEE
14 years 20 days ago
2008
IEEE
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...
HICSS
2008
IEEE
14 years 19 days ago
2008
IEEE
Scrum describes a separation of roles; the product owner is accountable for achieving business objectives and the team for technical execution. A pragmatic and collegial relations...
JUCS
2007
13 years 6 months ago
2007
: The activities developed in this paper were aimed at providing an awareness of the elements that should be considered in quality learning objects instructional design for elearni...