3938 search results - page 151 / 788 » Interactive Protocols on the Reals |
107
click to vote
AISC
2006
Springer
15 years 8 months ago
2006
Springer
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
141
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
146
click to vote
SEAA
2008
IEEE
15 years 10 months ago
2008
IEEE
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
138
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Trust negotiation supports authentication and access control across multiple security domains by allowing parties to use non-forgeable digital credentials to establish trust. By t...
146
click to vote
CIA
2004
Springer
15 years 9 months ago
2004
Springer
We are investigating how to provide intelligent, pervasive support of group of people within so-called “smart environments”. Our current main assumption, based on literature in...