2687 search results - page 488 / 538 » Formal Analysis of PKCS |
188
click to vote
PVLDB
2008
15 years 5 months 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...
146
click to vote
SAC
2008
ACM
15 years 5 months 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...
192
click to vote
CIKM
2010
Springer
15 years 4 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...
166
click to vote
ER
2010
Springer
15 years 4 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...
152
click to vote
FSS
2010
15 years 4 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...