4502 search results - page 816 / 901 » Regular Model Checking |
76
Voted
IJHCI
2010
14 years 11 months 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...
117
Voted
JAPLL
2010
14 years 11 months 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...
119
Voted
MICAI
2010
Springer
14 years 11 months 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...
118
Voted
ACSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
Smartphone usage has been continuously increasing in recent years. Moreover, smartphones are often used for privacysensitive tasks, becoming highly valuable targets for attackers....
126
Voted
SEKE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...