3557 search results - page 24 / 712 » Authoring Presentation for OpenMath |
ICMCS
1996
IEEE
13 years 11 months ago
1996
IEEE
The MATILDA multimedia authoring system has been developedto addressissuesrelated to authoringprocessand information management and representation. This paper presents our initial...
WETICE
2006
IEEE
14 years 23 days ago
2006
IEEE
This paper presents the results of a survey of requirements for attribute aggregation in authorisation systems, gathered from an international community of security professionals....
CCS
2010
ACM
14 years 1 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
AIIDE
2008
13 years 9 months ago
2008
Behavior authoring for computer games involves writing behaviors in a programming language and then iteratively refining them by detecting issues with them. The main bottlenecks a...
CSFW
2008
IEEE
14 years 1 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...