11129 search results - page 67 / 2226 » Modeling Search Computing Applications |
GCC
2005
Springer
15 years 3 months ago
2005
Springer
Spatial Information Grid (SIG) is a project of applying grid technology to share and integrate spatial data resources, information processing resources, equipment resources, and kn...
HPDC
2007
IEEE
15 years 4 months ago
2007
IEEE
COMJ
2010
14 years 7 months ago
2010
102
click to vote
CONCURRENCY
2002
14 years 9 months ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...
SP
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...