2687 search results - page 148 / 538 » Formal Analysis of PKCS |
135
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
135
click to vote
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
149
Voted
WCET
2007
15 years 5 months ago
2007
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...
152
Voted
COMCOM
2007
15 years 4 months ago
2007
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
166
click to vote
TOSEM
2010
14 years 11 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...