1054 search results - page 154 / 211 » From a Verified Kernel towards Verified Systems |
163
click to vote
MOBIDE
2010
ACM
15 years 6 months ago
2010
ACM
Traditional location-based services recommend nearest objects to the user by considering their spatial proximity. However, an object not only has its distance but also has its dir...
191
click to vote
GRID
2007
Springer
15 years 6 months ago
2007
Springer
In e-Science experiments, it is vital to record the experimental process for later use such as in interpreting results, verifying that the correct process took place or tracing whe...
190
click to vote
ASE
2005
15 years 6 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
160
click to vote
TWC
2008
15 years 6 months ago
2008
Space-time block codes (STBCs) from coordinate interleaved orthogonal designs (CIODs) have attracted considerable attention lately due to their full-diversity and single-symbol dec...
168
click to vote
RAID
2010
Springer
15 years 4 months ago
2010
Springer
We introduce BotSwindler, a bait injection system designed to delude and detect crimeware by forcing it to reveal during the exploitation of monitored information. The implementati...