1700 search results - page 297 / 340 » Specifying and implementing refactorings |
WWW
2005
ACM
16 years 14 days ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
WWW
2004
ACM
16 years 14 days ago
2004
ACM
This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message co...
WWW
2003
ACM
16 years 14 days ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...
102
click to vote
WWW
2003
ACM
16 years 14 days ago
2003
ACM
The Semantic Web envisions a World Wide Web in which data is described with rich semantics and applications can pose complex queries. To this point, researchers have defined new l...
182
click to vote
ICFP
2009
ACM
16 years 13 days ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...