389 search results - page 65 / 78 » The Notion of Role in Conceptual Modeling |
LPKR
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
HLPPP
1991
15 years 3 months ago
1991
Gamma was originally proposed in 1986 as a formalism for the de nition of programs without arti cial sequentiality. The basic idea underlying the formalism is to describe computati...
111
click to vote
MODELLIERUNG
2001
15 years 1 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
109
click to vote
FDL
2007
IEEE
15 years 3 months ago
2007
IEEE
Transaction-level modelling (TLM) is a poorlyterm, promising a level of abstraction like RTL (register transfer level), where the key feature is a `transaction'. But unlike r...
105
click to vote
WS
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...