13489 search results - page 119 / 2698 » Self-migration of operating systems |
160
click to vote
HCI
2011
14 years 8 months ago
2011
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...
124
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
153
Voted
PRDC
2000
IEEE
15 years 8 months ago
2000
IEEE
Since the early 1970's a number of models have been proposed for estimating software reliability. However, the realism of many of the underlying assumptions and the applicabi...
161
click to vote
AOSE
2008
Springer
15 years 6 months ago
2008
Springer
The organizational view on work systems focuses on the desired outcomes of work, while the emergent view focuses on how the work actually gets done. Often a gap exists between thes...
105
click to vote
AAAI
1994
15 years 6 months ago
1994
The standard approach in AI to knowledge representation is to represent an agent's knowledge symbolically as a collection of formulas, which we can view as aknowledge base. A...