Sciweavers

2488 search results - page 332 / 498
» An improvement in formal verification
Sort
View
MSWIM
2003
ACM
15 years 7 months ago
Adaptive range control using directional antennas in mobile ad hoc networks
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
Mineo Takai, Junlan Zhou, Rajive Bagrodia
SIGUCCS
2003
ACM
15 years 7 months ago
Enforcing model network citizenship by remote administration
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...
Prasun Gupta, Mahmoud Pegah
ICPR
2002
IEEE
15 years 6 months ago
A New Approach for Line Recognition in Large-size Images Using Hough Transform
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...
Jiqiang Song, Min Cai, Michael R. Lyu, Shijie Cai
NDSS
2002
IEEE
15 years 6 months ago
PAMINA: A Certificate Based Privilege Management System
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...
Zoltán Nochta, Peter Ebinger, Sebastian Abe...
HICSS
1998
IEEE
158views Biometrics» more  HICSS 1998»
15 years 6 months ago
Accountability Centered Approach to Business Process Reengineering
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...
Mitchell M. Tseng, Chuan-Jun Su, Ma Qinhai