1635 search results - page 264 / 327 » DIPC: A System Software Solution for Distributed Programming |
113
click to vote
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
116
click to vote
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...
106
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
The media industry is challenged to find new lines of business as technology redefines content, distribution and customer expectations. This is a case study of Oxygen Media where ...
131
click to vote
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
105
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Current search mechanisms of DHT-based P2P systems can well handle a single keyword search problem. Other than single keyword search, multi-keyword search is quite popular and use...