3119 search results - page 209 / 624 » Abstract Requirement Analysis in Multiagent System Design |
146
Voted
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
100
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
95
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper we introduce an analysis of dependability of an elementary yet critical component of robotic systems designed to operate in environments shared with human...
151
Voted
RE
2010
Springer
14 years 10 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
118
Voted
DSD
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...