1833 search results - page 40 / 367 » Mechanized Verification with Sharing |
GECCO
2008
Springer
14 years 1 days ago
2008
Springer
Maintaining diversity is important for the performance of evolutionary algorithms. Diversity mechanisms can enhance global exploration of the search space and enable crossover to ...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
This paper brings forward a two-phase semantic service discovery mechanism which supports both the operation matchmaking and operation-composition matchmaking. A serial of experim...
IEEEARES
2008
IEEE
14 years 5 months ago
2008
IEEE
A secure logging mechanism named haplog is proposed. In essence, haplog uses only one-way hash functions to achieve the security and functional requirements of logging. This makes...
WIOPT
2006
IEEE
14 years 5 months ago
2006
IEEE
— We investigate the problem of efficient resource control for elastic traffic over the EDCA (Enhanced Distributed Channel Access) and HCCA (Hybrid Coordination Function HCF - ...
INFOCOM
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract— Different wireless systems sharing the same frequency band and operating in the same environment are likely to interfere with each other and experience a severe decreas...