Sciweavers

2838 search results - page 352 / 568
» Verifying Controlled Components
Sort
View
151
Voted
JOT
2007
123views more  JOT 2007»
15 years 2 months 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
113
Voted
TWC
2008
87views more  TWC 2008»
15 years 2 months 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
118
Voted
CERA
2004
89views more  CERA 2004»
15 years 2 months 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
157
Voted
CSI
2004
186views more  CSI 2004»
15 years 2 months 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...
AROBOTS
2000
137views more  AROBOTS 2000»
15 years 2 months 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