1077 search results - page 137 / 216 » Management of Evolving Specifications using Category Theory |
PODS
2008
ACM
14 years 8 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
WSDM
2010
ACM
14 years 5 months ago
2010
ACM
We describe an approach for multi-modal characterization of social media by combining text features (e.g. tags as a prominent example of short, unstructured text labels) with spat...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
We study online social networks in which relationships can be either positive (indicating relations such as friendship) or negative (indicating relations such as opposition or ant...
IPSN
2009
Springer
14 years 2 months ago
2009
Springer
As the diversity of sensornet use cases increases, the combinations of environments and applications that will coexist will make custom engineering increasingly impractical. We in...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...