2583 search results - page 344 / 517 » Internet Messaging Frameworks |
130
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
128
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
We present DiTaBBu, Digital Talking Books Builder, a framework for automatic production of time-based hypermedia for the Web, focusing on the Digital Talking Books domain. Deliver...
141
Voted
WWW
2006
ACM
16 years 5 months ago
2006
ACM
Paper plays a crucial role in many developing world information practices. However, paper-based records are inefficient, error-prone and difficult to aggregate. Therefore we need ...
149
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that desc...
137
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Portlets (i.e. multi-step, user-facing applications to be syndicated within a portal) are currently supported by most portal frameworks. However, there is not yet a definitive ans...