1150 search results - page 110 / 230 » Specifying Information-Flow Controls |
IV
1999
IEEE
14 years 17 days ago
1999
IEEE
This paper describes a new spline formulation that supports deformation of polygonal shapes into smooth spline surface models. Once a polygonal shape with underlying rectangular t...
ISW
1997
Springer
14 years 13 days 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...
SI3D
1992
ACM
14 years 10 days ago
1992
ACM
In a virtual world viewed with a head-mounted display, the user may wish to perform certain actions under the control of a manual input device. The most important of these actions...
ECOOP
2007
Springer
14 years 5 days ago
2007
Springer
Refactoring is not only useful for source code of implementations, but as well for test specifications. The open source TRex tool automates the application of refactorings and the ...
AUSAI
2006
Springer
14 years 1 days ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...