7839 search results - page 203 / 1568 » What's there and what's not |
STOC
2009
ACM
16 years 2 months ago
2009
ACM
A distributed task T on n processors is an input/output relation between a collection of processors' inputs and outputs. While all tasks are solvable if no processor may ever...
109
click to vote
VL
2007
IEEE
15 years 7 months ago
2007
IEEE
We are currently investigating what types of end user personas (or homogeneous groups in the population) exist and what works for or hinders each in end-user debugging. These pers...
ECIS
2001
15 years 2 months ago
2001
The progression of implementation of an information systems strategy in a UK acute hospital is described. The case study describes the IS strategy, the conditions that led to its ...
109
click to vote
CACM
2006
15 years 1 months ago
2006
: Traditional methods of digital forensics analyze a static disk image--a bitstream copy of a disk created while the system is offline. Recent trends--including greatly increased d...
98
Voted
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
Given a family of Horn clauses, what is the minimal number of Horn clauses implying all other clauses in the family? What is the maximal number of Horn clauses from the family wit...