2969 search results - page 237 / 594 » The Case for User-Centered CASE Tools |
177
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
184
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...
183
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
183
click to vote
CSDA
2006
15 years 6 months ago
2006
The assessment of the influence of individual observations on the outcome of the analysis by perturbation has received a lot of attention for situations in which the observations ...
123
click to vote
ENTCS
2006
15 years 6 months ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...