4029 search results - page 459 / 806 » Experience with Software Watermarking |
160
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
214
click to vote
TRIDENTCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
The MeshTest testbed is designed to subject wireless devices and protocols to realistic and repeatable mobile scenarios, including multi-hop and disconnected topologies. The testb...
215
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
Two groups of 8 participants experimented two enhancements of standard online help for the general public during one hour: adaptive proactive (AP) assistance and multimodal user su...
164
click to vote
CISIS
2007
IEEE
16 years 1 months ago
2007
IEEE
: The availability of enormous amounts of un-used computing power and data storage over the In-ternet makes the development of a globally distributed computing platform, called Ove...
176
Voted
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...