974 search results - page 29 / 195 » Semantic Announcement Sharing |
APLAS
2010
ACM
13 years 7 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
ESWS
2010
Springer
13 years 6 months ago
2010
Springer
DSMW is an extension to Semantic Mediawiki (SMW), it allows to create a network of SMW servers that share common semantic wiki pages. DSMW users can create communication channels b...
SIGMOD
2002
ACM
14 years 7 months ago
2002
ACM
The Grid is an emerging platform to support on-demand "virtual organisations" for coordinated resource sharing and problem solving on a global scale. The application thr...
TPLP
2002
13 years 7 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...