8555 search results - page 1593 / 1711 » Property Based Coordination |
157
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
Time-based, media-centric Web presentations can be described declaratively in the XML world through the development of languages such as SMIL. It is difficult, however, to fully i...
154
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
The Semantic Web promises to open innumerable opportunities for automation and information retrieval by standardizing the protocols for metadata exchange. However, just as the succ...
283
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
297
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
The wide availability of commodity graphics processors has made real-time graphics an intrinsic component of the human/computer interface. These graphics cores accelerate the z-bu...
153
click to vote
EUROCRYPT
2009
Springer
16 years 6 months ago
2009
Springer
A group key agreement (GKA) protocol allows a set of users to establish a common secret via open networks. Observing that a major goal of GKAs for most applications is to establish...