9405 search results - page 264 / 1881 » Computing a Model of Set Theory |
127
click to vote
ICMI
2003
Springer
15 years 9 months ago
2003
Springer
We present methods for inferring the cost of interrupting users based on multiple streams of events including information generated by interactions with computing devices, visual ...
123
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
We propose a natural generalisation of asynchronous bounded delay (ABD) network models. The commonly used ABD models assume a known bound on message delay. This assumption is ofte...
139
click to vote
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
Successful implementation of information technology (IT)-enabled strategy rests on the performance of IT professionals. Consequently, the development and retention of this "I...
163
click to vote
ICS
2005
Tsinghua U.
15 years 10 months ago
2005
Tsinghua U.
Supercomputer architects strive to maximize the performance of scientific applications. Unfortunately, the large, unwieldy nature of most scientific applications has lead to the...
137
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...