805 search results - page 149 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
142
click to vote
SP
2008
IEEE
15 years 1 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
115
Voted
ESORICS
2005
Springer
15 years 8 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
123
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
125
click to vote
ICSM
2007
IEEE
15 years 9 months ago
2007
IEEE
Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
118
click to vote
CHIMIT
2009
ACM
15 years 9 months ago
2009
ACM
End users are often frustrated by unexpected problems while using networked software, leading to frustrated calls to the help desk seeking solutions. However, trying to locate the...