3557 search results - page 39 / 712 » Authoring Presentation for OpenMath |
ACMDIS
2000
ACM
14 years 3 months ago
2000
ACM
We may view documents, not only as “containers” for information, but also as active participants in organizing and sustaining communities. This paper discusses our experiences...
JSW
2007
13 years 10 months ago
2007
Abstract— In highly open systems like the Internet, attributebased access control (ABAC) has proven its appropriateness. This is reflected in the utilization of ABAC in authenti...
ESOP
2010
Springer
14 years 8 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
ESAW
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Multi-agent systems considered in the paper consist of a finite number of agents, positions of which can be changed by system actions, and of an evaluation function whic...
MSE
2000
IEEE
14 years 3 months ago
2000
IEEE
With continuous acceptance of World Wide Web (WWW) as a de facto standard for human-computer interaction and human-human communication, it is desirable to develop net-centric, mul...