805 search results - page 29 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
157
click to vote
TDSC
2008
15 years 2 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
160
click to vote
TII
2008
15 years 2 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
133
click to vote
APCCM
2009
15 years 4 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
104
click to vote
TABLETOP
2008
IEEE
15 years 9 months ago
2008
IEEE
To better understand the potential for horizontal surfaces in day-to-day work, we conducted a field study. We collected and analyzed over a month of use data from eight participan...
134
click to vote
ASE
2005
15 years 2 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...