4469 search results - page 157 / 894 » A Language for Role Specifications |
133
click to vote
PTS
1993
15 years 6 months ago
1993
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
167
click to vote
IJNSEC
2010
14 years 11 months ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
127
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
123
click to vote
MSV
2007
15 years 6 months ago
2007
In this paper we introduce PRIMA: A PRecise vIsual language for Modeling with Agents, in a physical environment. Our objective is to design an expressive Domain Specific Visual La...
139
click to vote
COMSIS
2010
15 years 2 months ago
2010
Abstract. Grammar metrics have been introduced to measure the quality and the complexity of the formal grammars. The aim of this paper is to explore the meaning of these notions an...