2488 search results - page 332 / 498 » An improvement in formal verification |
122
click to vote
MSWIM
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
109
click to vote
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
Higher education institutions have been striving to improve services and keep pace with new technologies. In a Higher education environment, the users utilize the available comput...
ICPR
2002
IEEE
15 years 6 months ago
2002
IEEE
The application of Hough Transform (HT) has been limited to small-size images for a long time. For large-size images, the peak detection and the line verification become much more...
131
click to vote
NDSS
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...
102
click to vote
HICSS
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper, Accountability Centered Approach (ACA) is proposed for business process engineering. The ACA approach enables the designers and users to focus on the requirements a...