2705 search results - page 323 / 541 » Formal Ontology for Subject |
90
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
With the rise of XML as a standard for representing business data, XML data warehouses appear as suitable solutions for Web-based decision-support applications. In this context, i...
104
Voted
DEBU
2010
15 years 25 days ago
2010
The prevalence of free text search in web search engines has inspired recent interest in keyword search on relational databases. Whereas relational queries formally specify matchi...
119
Voted
SAC
2006
ACM
15 years 20 days ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
86
Voted
CCR
2000
15 years 17 days ago
2000
Non-repudiation protocols aim at preventing parties in a communication from falsely denying having taken part in that communication; for example, a non-repudiation protocol for di...
103
Voted
ITA
2000
15 years 16 days ago
2000
We consider the multiparty communication model de ned in 4] using the formalism from 8]. First, we correct an inaccuracy in the proof of the fundamental result of 6] providing a lo...