2687 search results - page 488 / 538 » Formal Analysis of PKCS |
132
click to vote
PVLDB
2008
15 years 11 days ago
2008
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
SAC
2008
ACM
15 years 11 days ago
2008
ACM
When developing semantic applications, the construction of ontologies is a crucial part. We are developing a semiautomatic ontology construction approach, OntoCase, relying on ont...
127
click to vote
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
Enterprises provide professionally authored content about their products/services in different languages for use in web sites and customer care. For customer care, personalization...
100
click to vote
ER
2010
Springer
14 years 11 months ago
2010
Springer
: Data provenance is becoming increasingly important for biosciences with the advent of large-scale collaborative environments such as the iPlant collaborative, where scientists co...
101
click to vote
FSS
2010
14 years 11 months ago
2010
The paper investigates fuzzy relations on a finite domain in the cutworthy framework, dealing with a new property coming from the information theory. If the domain of a relation i...