106 search results - page 3 / 22 » A Theoretical Formulation of Object-Oriented Rough Set Model... |
ICTCS
2007
Springer
14 years 1 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
RTA
2001
Springer
13 years 12 months ago
2001
Springer
In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho Calculus. In addition to its simplicity, this formulation explicitly allows us to...
SPIN
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
TSP
2008
13 years 7 months ago
2008
The focus of this paper is on VLIW instruction scheduling that minimizes the variation of power consumed by the processor during the execution of a target program. We use rough set...
EJC
2000
13 years 9 months ago
2000
Abstract. The Unified Modeling Language (UML) is a natural candidate for user interface (UI) modelling since it is the standard notation for object oriented modelling of applicatio...