3926 search results - page 464 / 786 » Deriving Information Requirements from Responsibility Models |
196
click to vote
ISCIS
2004
Springer
16 years 25 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
227
click to vote
ISF
2007
15 years 7 months ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
237
click to vote
MASCOTS
2010
15 years 5 months ago
2010
—Flash-based Solid-State Drives (SSDs) have become a promising alternative to magnetic Hard Disk Drives (HDDs) thanks to the large improvements in performance, power consumption,...
192
Voted
DCC
2010
IEEE
16 years 2 months ago
2010
IEEE
Current video coding schemes employ motion compensation to exploit the fact that the signal forms an auto-regressive process along the motion trajectory, and remove temporal redun...
209
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...