10159 search results - page 1765 / 2032 » System Design Validation Using Formal Models |
191
click to vote
CODES
2006
IEEE
16 years 22 days ago
2006
IEEE
Modern embedded systems for image processing involve increasingly complex levels of functionality under real-time and resourcerelated constraints. As this complexity increases, th...
183
click to vote
SAC
2006
ACM
16 years 18 days ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
163
click to vote
ACMSE
2004
ACM
16 years 2 days ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
163
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
With the growing amount of information being digitized, users find it difficult to obtain the most relevant information that is hidden in the deluge of information returned to the...
162
click to vote
SACMAT
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...