Sciweavers

22864 search results - page 4420 / 4573
» An Integrated and
Sort
View
FAC
2006
122views more  FAC 2006»
15 years 1 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
FGCS
2006
111views more  FGCS 2006»
15 years 1 months ago
Collaborative data visualization for Earth Sciences with the OptIPuter
Collaborative visualization of large-scale datasets across geographically distributed sites is becoming increasingly important for Earth Sciences. Not only does it enhance our und...
Nut Taesombut, Xinran (Ryan) Wu, Andrew A. Chien, ...
IJMI
2008
97views more  IJMI 2008»
15 years 1 months ago
Positive effects of electronic patient records on three clinical activities
Purpose: To investigate the effects of a fully functional electronic patient record (EPR) system on clinicians' work during team conferences, ward rounds, and nursing handove...
Morten Hertzum, Jesper Simonsen
136
Voted
GRID
2006
Springer
15 years 1 months ago
Using Workflow for Dynamic Security Context Management in Grid-based Applications
This paper presents ongoing research and current results on the development of flexible access control infrastructures for complex resource provisioning in Grid-based collaborativ...
Yuri Demchenko, Leon Gommans, Cees de Laat, Arie T...
CE
2007
176views more  CE 2007»
15 years 1 months ago
Pedagogical approaches for technology-integrated science teaching
The two separate projects described have examined how teachers exploit computer-based technologies in supporting learning of science at secondary level. This paper examines how pe...
Sara Hennessy, Jocelyn Wishart, Denise Whitelock, ...
« Prev « First page 4420 / 4573 Last » Next »