277 search results - page 24 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
179
click to vote
FASE
2010
Springer
15 years 4 months ago
2010
Springer
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
140
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
148
click to vote
PTS
1998
15 years 7 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
147
click to vote
APSEC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...
147
click to vote
COMPIMAGE
2010
Springer
15 years 11 months ago
2010
Springer
We study how the quality of an image reconstructed by a binary tomographic algorithm depends on the direction of the observed object in the scanner, if only a few projections are a...