Sciweavers

8495 search results - page 1402 / 1699
» IT Support for Healthcare Processes
Sort
View
DGO
2009
89views Education» more  DGO 2009»
15 years 8 months ago
Top-level decisions through public deliberation on the internet: evidence from the evolution of Java governance
This study found internet-enabled public deliberation having a direct impact on top-level decisions and it identified institutional mechanisms by which this occurs. Most governmen...
Michael Kaschesky, Reinhard Riedl
HPDC
2010
IEEE
15 years 8 months ago
LogGOPSim: simulating large-scale applications in the LogGOPS model
We introduce LogGOPSim--a fast simulation framework for parallel algorithms at large-scale. LogGOPSim utilizes a slightly extended version of the well-known LogGPS model in combin...
Torsten Hoefler, Timo Schneider, Andrew Lumsdaine
FSTTCS
2008
Springer
15 years 8 months ago
Runtime Monitoring of Metric First-order Temporal Properties
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
David A. Basin, Felix Klaedtke, Samuel Müller...
ICFP
2010
ACM
15 years 7 months ago
Experience report: growing programming languages for beginning students
A student learning how to program learns best when the programming language and programming environment cater to her specific needs. These needs are different from the requirement...
Marcus Crestani, Michael Sperber
AVI
2010
15 years 7 months ago
Designing a cross-channel information management tool for workers in enterprise task forces
This paper presents a research project on the design of a cross-channel information management tool for knowledge workers: we focus on IT services professionals in a large enterpr...
Gregorio Convertino, Sanjay Kairam, Lichan Hong, B...
« Prev « First page 1402 / 1699 Last » Next »