3224 search results - page 599 / 645 » On Checking Model Checkers |
130
Voted
SIMULATION
1998
15 years 1 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
132
click to vote
ICTAC
2010
Springer
15 years 11 days ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
80
Voted
IJHCI
2010
15 years 10 days ago
2010
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
125
click to vote
JAPLL
2010
15 years 10 days ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
128
Voted
MICAI
2010
Springer
15 years 9 days ago
2010
Springer
The meaning of such verb-noun combinations as take care, undertake work, pay attention can be generalized as DO what is designated by the noun. Likewise, the meaning of make a deci...