4445 search results - page 303 / 889 » Reflective Authorization Systems |
171
click to vote
REFLECTION
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Using mobile agent systems, cooperative distributed applications that run over the Internet can be constructed flexibly. However, there are some problems: it is difficul...
175
Voted
SIGGRAPH
1998
ACM
15 years 9 months ago
1998
ACM
We introduce ideas, proposed technologies, and initial results for an office of the future that is based on a unified application of computer vision and computer graphics in a sys...
144
click to vote
FC
2006
Springer
15 years 10 months ago
2006
Springer
In many content distribution systems it is important both to restrict access to content to authorized users and to protect the identities of these users. We discover that current s...
199
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
144
click to vote
CATA
2010
15 years 7 months ago
2010
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...