1150 search results - page 62 / 230 » Specifying Information-Flow Controls |
ECOOP
1999
Springer
14 years 1 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
KBSE
1999
IEEE
14 years 1 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
SIGGRAPH
1990
ACM
14 years 1 months ago
1990
ACM
We describe a fast method for creating physically based animation of non-rigid objects. Rapid simulation of nonrigid behavior is based on global deformations. Constraints are used...
IWAN
2000
Springer
14 years 27 days ago
2000
Springer
Policy-based networks can be customized by users by injecting programs called policies into the network nodes. So if general-purpose functions can be specified in a policy-based ne...
DBSEC
2010
13 years 10 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...