11151 search results - page 2012 / 2231 » On the Complexity of Model Expansion |
163
click to vote
HF
2002
15 years 6 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
164
click to vote
SIGMETRICS
2000
ACM
15 years 6 months ago
2000
ACM
Motivated by experience gained during the validation of a recent Approximate Mean Value Analysis (AMVA) model of modern shared memory architectures, this paper re-examines the &qu...
165
click to vote
AIR
1998
15 years 6 months ago
1998
Abstract. Genetic algorithms play a significant role, as search techniques for handling complex spaces, in many fields such as artificial intelligence, engineering, robotic, etc...
184
click to vote
ASE
1999
15 years 6 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
174
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...