2602 search results - page 92 / 521 » Semantic Analysis of 'to' |
154
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
172
click to vote
ENTCS
2008
15 years 6 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
154
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
As of today, the amount of data on the Semantic Web has grown considerably. The services for searching and browsing entities on the Semantic Web are in demand. To provide such ser...
157
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Semantic web ontology languages, such as OWL, have been widely used for knowledge representation. Through empirical analysis of real-world ontologies we discover that, like many n...
162
click to vote
ICDE
2008
IEEE
16 years 25 days ago
2008
IEEE
We formulate three intuitive semantic properties for topk queries in probabilistic databases, and propose GlobalTopk query semantics which satisfies all of them. We provide a dyn...