1356 search results - page 52 / 272 » A variable-free dynamic semantics |
JCS
2007
14 years 9 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
ICIW
2007
IEEE
15 years 1 months ago
2007
IEEE
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
CLIMA
2007
14 years 11 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
ISM
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a top-down statistical modeling approach to explore the semantic structure in the American football video. First, a semantic space is defined where the video semantic ...
EKAW
2008
Springer
14 years 11 months ago
2008
Springer
Semantic Web applications tests show that their usability is seriously compromised. This motivates the exploration of alternative interaction paradigms, different from the "tr...