6047 search results - page 103 / 1210 » Modeling with Extend |
116
click to vote
SP
1998
IEEE
15 years 6 months ago
1998
IEEE
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...
115
click to vote
IBERAMIA
2004
Springer
15 years 7 months ago
2004
Springer
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...
118
click to vote
COMPSAC
2000
IEEE
15 years 6 months ago
2000
IEEE
Brewer and Nash, and immediately updated by this author, introduced Chinese Wall security policy models for commercial security. Applying Pawlak's idea of conflict analysis, ...
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them l...
QUESTA
2006
15 years 1 months ago
2006
In this paper we consider a stochastic model describing the varying number of flows in a network. This model features flows of two types, namely file transfers (with fixed volume)...