1413 search results - page 245 / 283 » Bisimilarity of Open Terms |
200
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
173
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
209
click to vote
CSCW
2004
ACM
15 years 11 months ago
2004
ACM
Researchers seeking alternatives to traditional desktop computers have begun exploring the potential collaborative benefits of digital tabletop displays. However, there are still ...
170
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
This paper reviews the main innovations of XML and considers their impact on the editing techniques for structured documents. Namespaces open the way to compound documents; well-f...
163
click to vote
SC
2004
ACM
15 years 11 months ago
2004
ACM
: Legend says that Archimedes remarked, on the discovery of the lever, “Give me a place to stand, and I can move the world.” Today, computing pervades all aspects of science an...