1150 search results - page 62 / 230 » Specifying Information-Flow Controls |
181
click to vote
ECOOP
1999
Springer
15 years 7 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...
121
Voted
KBSE
1999
IEEE
15 years 6 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...
136
Voted
SIGGRAPH
1990
ACM
15 years 6 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...
118
Voted
IWAN
2000
Springer
15 years 6 months 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...
119
Voted
DBSEC
2010
15 years 4 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...