605 search results - page 30 / 121 » A strategy for efficiently verifying requirements |
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
Text documents often embed data that is structured in nature. This structured data is increasingly exposed using information extraction systems, which generate structured relation...
MOBIHOC
2010
ACM
13 years 7 months ago
2010
ACM
Dynamic spectrum auction is an effective solution to provide spectrum on-demand to many small wireless networks. As the number of participants grows, bidder collusion becomes a se...
PPOPP
2010
ACM
14 years 6 months ago
2010
ACM
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
EUROMICRO
2004
IEEE
14 years 22 days ago
2004
IEEE
A primary goal in the design of wireless sensor networks is lifetime maximization, constrained by the energy capacity of batteries. One well known method to reduce energy consumpt...
CACM
2010
13 years 7 months ago
2010
As it becomes increasingly viable to capture, store, and share large amounts of image and video data, automatic image analysis is crucial to managing visual information. Many prob...