7596 search results - page 131 / 1520 » Challenges in forensic computing |
106
Voted
AICCSA
2005
IEEE
15 years 9 months ago
2005
IEEE
The most challenging issues in Nomadic Computing environments arise from the combination of heterogeneity, dynamism, context-awareness, and mobility. Driven by these issues, this ...
118
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...
124
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
132
Voted
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The Computational Grid has promised a great deal in support of innovative applications, particularly in science and engineering. However, developing applications for this...
108
Voted
AHS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper reviews the current state of the art in highperformance reconfigurable computing (HPRC) from the perspective of EPCC, the high-performance computing centre at the Unive...