Sciweavers

2838 search results - page 352 / 568
» Verifying Controlled Components
Sort
View
137
Voted
JOT
2007
123views more  JOT 2007»
15 years 18 days ago
Towards a Tool Supporting Integration Testing of Aspect-Oriented Programs
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
Philippe Massicotte, Linda Badri, Mourad Badri
TWC
2008
87views more  TWC 2008»
15 years 18 days ago
A token-based scheduling scheme for WLANs supporting voice/data traffic and its performance analysis
Most of the existing medium access control (MAC) protocols for wireless local area networks (WLANs) provide prioritized access by adjusting the contention window sizes or interfram...
Ping Wang, Weihua Zhuang
103
Voted
CERA
2004
89views more  CERA 2004»
15 years 17 days ago
An Electronic Cash Scheme and its Management
: A secure electronic cash scheme and its role-based access control (RBAC) management are proposed in this paper. The scheme uses electronic cash for payment transactions. In this ...
Hua Wang, Yanchun Zhang, Jinli Cao
143
Voted
CSI
2004
186views more  CSI 2004»
15 years 17 days ago
Towards a BioAPI compliant face verification system
Standards are important to the growth and acceptance of emerging industries such as the biometric industry. To promote biometric standard, the BioAPI Consortium has developed a wi...
X. Yuan, Siu Cheung Hui, Maylor K. H. Leung, Yongs...
97
Voted
AROBOTS
2000
137views more  AROBOTS 2000»
15 years 17 days ago
Acquiring Mobile Robot Behaviors by Learning Trajectory Velocities
Abstract. The development of robots that learn from experience is a relentless challenge confronting artificial intelligence today. This paper describes a robot learning method whi...
Koren Ward, Alexander Zelinsky