4592 search results - page 126 / 919 » Framework for Studying Substitution |
MPC
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present a description technique for the correct construction of programs that allows us to de ne terms like re nement, modelchecking, and synthesis as special operatio...
ISW
1997
Springer
14 years 2 months ago
1997
Springer
Information security is based on access control models and cryptographic techniques. These are well established areas of research in computer security, but are not capable of supp...
PST
2004
13 years 11 months ago
2004
All information systems can be represented by a conceptual and abstracted systems diagram. Therefore all attacks against information systems can also be ted. By studying the securi...
ICTAI
2010
IEEE
13 years 8 months ago
2010
IEEE
The aim of this paper is to study how preferences, which are used to model intrinsic strengths of arguments, can be used in argumentation. We show that they play two roles: i) to r...
CEC
2011
IEEE
12 years 10 months ago
2011
IEEE
—Stochastic relaxation aims at finding the minimum of a fitness function by identifying a proper sequence of distributions, in a given model, that minimize the expected value o...