1636 search results - page 166 / 328 » Reasoning About Quantum Systems |
176
click to vote
ACSD
2008
IEEE
16 years 27 days ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
133
click to vote
ER
2007
Springer
16 years 17 days ago
2007
Springer
Representation and reasoning about information system (IS) requirements is facilitated with the use of goal models to describe the desired and undesired IS behaviors. One difficul...
196
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
144
click to vote
FC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
153
click to vote
WCRE
1999
IEEE
15 years 10 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...