2687 search results - page 238 / 538 » Formal Analysis of PKCS |
177
Voted
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
179
click to vote
REX
1991
15 years 10 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
150
click to vote
IJSWIS
2008
15 years 6 months ago
2008
One of the main strengths of the web is that it allows any party of its global community to share information with any other party. This goal has been achieved by making use of a u...
160
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
189
click to vote
RSEISP
2007
Springer
16 years 23 days ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...