1162 search results - page 147 / 233 » Monotonic Semantic Interpretation |
109
Voted
IEEEARES
2009
IEEE
15 years 7 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
104
Voted
ASWC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The increasing amount of interlinked RDF data has finally made available the necessary building blocks for the web of data. This in turns makes it possible (and interest...
105
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
The growing importance of ontology mapping on the Semantic Web has highlighted the need to manage the uncertain nature of interpreting semantic meta data represented by heterogeneo...
SAMT
2007
Springer
15 years 6 months ago
2007
Springer
—Broadcasting of media events is a real-time action demanding reliable just in time decisions based on the current content of incoming video streams and the availability of backg...
111
click to vote
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...