Sciweavers

1272 search results - page 109 / 255
» On the nature of information systems strategy development
Sort
View
IPPS
2006
IEEE
14 years 3 months ago
A dynamic firing speculation to speedup distributed symbolic state-space generation
The saturation strategy for symbolic state-space generation is very effective for globally-asynchronous locally-synchronous discrete-state systems. Its inherently sequential natu...
Ming-Ying Chung, Gianfranco Ciardo
MKM
2005
Springer
14 years 2 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis
ICMI
2004
Springer
121views Biometrics» more  ICMI 2004»
14 years 2 months ago
'SlidingMap': introducing and evaluating a new modality for map interaction
In this paper, we describe the concept of a new modality for interaction with digital maps. We propose using inclination as a means for panning maps on a mobile computing device, ...
Matthias Merdes, Jochen Häußler, Matthi...
ECOOP
1987
Springer
14 years 25 days ago
Dynamic Grouping in an Object-Oriented Virtual Memory Hierarchy
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...
Ifor Williams, Mario Wolczko, Trevor Hopkins
JAMIA
2010
115views more  JAMIA 2010»
13 years 4 months ago
The population health record: concepts, definition, design, and implementation
In 1997, the American Medical Informatics Association proposed a US information strategy that included a population health record (PopHR). Despite subsequent progress on the conce...
Daniel J. Friedman, R. Gibson Parrish II