4285 search results - page 177 / 857 » Differential Behavioral Analysis |
173
click to vote
HCI
2009
15 years 4 months ago
2009
In this paper we present an accessibility analysis framework for the specification of Web accessibility evaluation scenarios that differentiates the requirements of users with disa...
168
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchronize the...
173
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
A new token-passing algorithm called AR-TP for avoiding the non-determinism of some networking technologies is presented. This protocol allows the schedulability analysis of the n...
158
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
146
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...