11436 search results - page 1869 / 2288 » Modeling Real Reasoning |
133
click to vote
ACMDIS
2000
ACM
15 years 9 months ago
2000
ACM
Field research methods are useful in the many aspects of HumanComputer Interaction research, including gathering user requirements, understanding and developing user models, and n...
155
click to vote
SC
2000
ACM
15 years 9 months ago
2000
ACM
This paper investigates the performance implications of data placement in OpenMP programs running on modern ccNUMA multiprocessors. Data locality and minimization of the rate of r...
152
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
159
click to vote
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
146
click to vote
SIGMETRICS
1999
ACM
15 years 9 months ago
1999
ACM
This paper examines NFS sensitivity to performance characteristics of emerging networks. We adopt an unusual method of inserting controlled delays into live systems to measure sen...