2268 search results - page 70 / 454 » The Essence of Form Abstraction |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. This paper presents Privilege Calculus (PC) as a new approach of knowledge representation for Separation of Duty (SD) in the view of process and intents to improve the re...
CLEIEJ
2006
13 years 8 months ago
2006
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...
INFORMATICALT
2008
13 years 8 months ago
2008
Abstract. In this paper, a new multi-criteria decision-making procedure is presented, which captures preferential information in the form of the threshold model. It is based on the...
MST
2008
13 years 8 months ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
MOC
2000
13 years 7 months ago
2000
Abstract. This paper provides a framework for developing computationally efficient multilevel preconditioners and representations for Sobolev norms. Specifically, given a Hilbert s...