4418 search results - page 445 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
174
click to vote
STEP
2005
IEEE
16 years 14 days ago
2005
IEEE
Maintenance costs make up the bulk of the total life cycle costs of a software system. Besides organizational issues such as knowledge management and turnover, the longterm mainte...
190
click to vote
FMSD
2010
15 years 5 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
287
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Peer-to-peer (P2P) storage is a promising technology to provide users with cheap and online persistence. However, due the instability of these infrastructures, P2P storage systems...
197
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
183
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...